-
Notifications
You must be signed in to change notification settings - Fork 164
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#4747 In model-checking/kani;
CBMC 6.8.0 via Kani 0.67.0: deterministic SIGFPE (exit 136) during symex unwinding of core u128::pow
Status: Open.#4746 In model-checking/kani;- Status: Open.#4745 In model-checking/kani;
- Status: Open.#4737 In model-checking/kani;
tracking issue for algebraic_ float functions in kani
[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.Status: Open.- Status: Open.#4731 In model-checking/kani;
--fail-fastdiscards results for harnesses that already completed[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4729 In model-checking/kani;- Status: Open.#4720 In model-checking/kani;
Field reads through Err(Box<T>) of a Result<f64, Box<T>> function report invalid-pointer/misalignment failures and garbage values (f32 same shape verifies)
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.- Status: Open.
Reading a symbolic-length Vec back through a slice loop blows the SAT formula ~14x (heap read-back, not allocation)
[E] PerformanceTrack performance improvement (Time / Memory / CPU)Track performance improvement (Time / Memory / CPU)Status: Open.#4667 In model-checking/kani;Package kani for homebrew
[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.Status: Open.#4620 In model-checking/kani;