Issues: creusot-rs/creusot
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Adopt Why3Find and distribute a prebuilt why3 binary with creusot
#1002
opened May 16, 2024 by
xldenis
Creusot panic on model where
ShallowModelTy
is a tuple with a Seq
.
#991
opened Apr 7, 2024 by
sarsko
Type invariants incorrectly asserted for partially-initialized values.
#990
opened Apr 7, 2024 by
xldenis
MLCFG error when deconstructing a tuple which also is used in a {pre, post}condition
#989
opened Apr 7, 2024 by
sarsko
Closure spec causes the variable to be incorrectly captured
#962
opened Mar 4, 2024 by
arnaudgolfouse
cargo creusot why3 ide
does not launch after a successful cargo creusot
#943
opened Feb 20, 2024 by
Armael
Resolve before an assignment
bug
Something isn't working
soundness
Enhance soundness
#914
opened Dec 16, 2023 by
jhjourdan
Using field access fails termination checking, while it succeeds with destructuring assignment
bug
Something isn't working
#911
opened Nov 24, 2023 by
utaal
custom attribute panicked
on predicate using an if let
construct
bug
#909
opened Nov 13, 2023 by
adpaco-aws
Recursive definitions and invariant
bug
Something isn't working
soundness
Enhance soundness
#879
opened Oct 3, 2023 by
jhjourdan
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-19.