-
Notifications
You must be signed in to change notification settings - Fork 182
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#4893 In model-checking/kani;
- Status: Open.#4891 In model-checking/kani;
- Status: Open.#4890 In model-checking/kani;
- Status: Open.
- Status: Open.
- Status: Open.
LLBC backend: constructs that still abort translation
[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.Status: Open.#4885 In model-checking/kani;LLBC: name methods with Charon's impl path elements instead of a type suffix
[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.Status: Open.#4884 In model-checking/kani;- Status: Open.
Autoharness: "no candidate type" skip message doesn't distinguish causes
[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.Status: Open.Autoharness: support non-usize const generic parameters
[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.#4874 In model-checking/kani;