List view

Add 'float' note to limitations doc

Status: Merged (completed).

model-checking/kaninumber 2050

#2050 In model-checking/kani;

· by tedinski was closed on Jan 5, 2023

Added packages to release for ubuntu-20.04 only.

Status: Merged (completed).

model-checking/kaninumber 1595

#1595 In model-checking/kani;

· by YoshikiTakashima was closed on Aug 29, 2022

Documentation doesn't include a FAQ section

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

Status: Closed (completed).

#2160 In model-checking/kani;

· by adpaco-aws was closed on Mar 2, 2023

Documentation on stubbing is missing

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

Status: Closed (completed).

#2159 In model-checking/kani;

· by adpaco-aws was closed on Feb 22, 2023

Bad pointer deref in SizeAndAlignOfDst/main_fail.rs

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#87 In model-checking/kani;

· by markrtuttle was closed on Feb 26, 2024

Standard library function panicking::take_hook does not codegen

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#208 In model-checking/kani;

· by danielsn was closed on Jan 24, 2025

rlinkage.is_none() assertion fails locally

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

[F] CrashKani crashedKani crashed

Status: Closed (completed).

#400 In model-checking/kani;

· by adpaco-aws was closed on Jan 3, 2023

PointerCast::ClosureFnPointer is unimplemented

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

[E] Unsupported ConstructAdd support to an unsupported constructAdd support to an unsupported construct

T-High PriorityTag issues that have high priorityTag issues that have high priority

T-UserTag user issues / requestsTag user issues / requests

Status: Closed (completed).

#274 In model-checking/kani;

· by danielsn was closed on Jan 19, 2023

Kani won't install on Apple M1

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

T-High PriorityTag issues that have high priorityTag issues that have high priority

Status: Closed (completed).

#1167 In model-checking/kani;

· by markrtuttle was closed on Nov 4, 2022

Kani crashes when casting Rc<dyn Trait + Sync> to Rc<dyn Trait>.

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#1528 In model-checking/kani;

· by celinval was closed on Nov 14, 2022

Audit / refactor the cast code

[I] Refactoring / Clean UpRefactoring or cleaning up of existing codeRefactoring or cleaning up of existing code

Status: Closed (completed).

#1531 In model-checking/kani;

· by celinval was closed on Nov 14, 2022

--debug doesn't work anymore

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#1348 In model-checking/kani;

· by tedinski was closed on Sep 30, 2022

macOS Monterey version 12.4: Test Cases failing with goto-cc type 'checking main failed'

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#1402 In model-checking/kani;

· by YoshikiTakashima was closed on Jul 25, 2024

--verbose doesn't work anymore

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#1631 In model-checking/kani;

· by tedinski was closed on Sep 30, 2022

Update rust toolchain version for Kani 0.10

Z-Sync UpstreamFetch changes from rustc repository. Old RebaseFetch changes from rustc repository. Old Rebase

Status: Closed (completed).

#1614 In model-checking/kani;

· by celinval was closed on Sep 1, 2022

Update rust toolchain version for Kani 0.11

Z-Sync UpstreamFetch changes from rustc repository. Old RebaseFetch changes from rustc repository. Old Rebase

Status: Closed (completed).

#1615 In model-checking/kani;

· by celinval was closed on Oct 3, 2022

Update rust toolchain version for Kani 0.13

Status: Closed (completed).

#1746 In model-checking/kani;

· by celinval was closed on Oct 14, 2022

Integrate the current s2n-quic proofs in our regressions

Status: Closed (completed).

#1773 In model-checking/kani;

· by zhassan-aws was closed on Nov 9, 2022

Trivial kani test takes a very long time to complete

[E] PerformanceTrack performance improvement (Time / Memory / CPU)Track performance improvement (Time / Memory / CPU)

Status: Closed (completed).

#1714 In model-checking/kani;

· by toidiu was closed on Oct 12, 2022

Update rust toolchain version for Kani 0.12

Z-Sync UpstreamFetch changes from rustc repository. Old RebaseFetch changes from rustc repository. Old Rebase

Status: Not planned (skipped).

#1731 In model-checking/kani;

· by celinval was closed on Oct 6, 2022

Assertion failure in check_vtable_size

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#1593 In model-checking/kani;

· by tedinski was closed on Aug 30, 2022

Spurious ununused variable warning for variables used as panic arguments

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Closed (completed).

#1582 In model-checking/kani;

· by zhassan-aws was closed on Aug 24, 2022

Verification time increased by 7X on an s2n-quic harness

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

[E] PerformanceTrack performance improvement (Time / Memory / CPU)Track performance improvement (Time / Memory / CPU)

T-High PriorityTag issues that have high priorityTag issues that have high priority

T-UserTag user issues / requestsTag user issues / requests

Status: Closed (completed).

#1693 In model-checking/kani;

· by zhassan-aws was closed on Aug 18, 2023

Update rust toolchain version for Kani 0.16

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

Status: Closed (completed).

#1923 In model-checking/kani;

· by zhassan-aws was closed on Nov 29, 2022

Investigate why mir-linker test requires an unwind annotation

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

T-CBMCIssue related to an existing CBMC issueIssue related to an existing CBMC issue

T-High PriorityTag issues that have high priorityTag issues that have high priority

Status: Closed (completed).

#1978 In model-checking/kani;

· by zhassan-aws was closed on Mar 17, 2023