Skip to content

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.

Sign up for GitHub

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

101 Open 227 Closed
101 Open 227 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Update ui tests to ui_test crate
#996 opened Apr 30, 2024 by xldenis
Reduce the overhead of opacity annotations
#995 opened Apr 29, 2024 by xldenis
2
Creusot panic on model where ShallowModelTy is a tuple with a Seq.
#991 opened Apr 7, 2024 by sarsko
1
Type invariants incorrectly asserted for partially-initialized values.
#990 opened Apr 7, 2024 by xldenis
1
MLCFG error when deconstructing a tuple which also is used in a {pre, post}condition
#989 opened Apr 7, 2024 by sarsko
1
Transparency and opacity should not be linked.
#987 opened Apr 6, 2024 by sarsko
testsuite quirks
#979 opened Mar 28, 2024 by Armael
Upgrade testsuite to alt-ergo 2.5.3
#978 opened Mar 28, 2024 by Armael
1
ExprKind::NeverToAny => Term::Absurd => Invalid Why3
#972 opened Mar 15, 2024 by dewert99
5
Closure spec causes the variable to be incorrectly captured
#962 opened Mar 4, 2024 by arnaudgolfouse
Shadowing by temporary variable
#960 opened Mar 1, 2024 by arnaudgolfouse
1
Creusot panics when using gh! inside a closure
#953 opened Feb 22, 2024 by arnaudgolfouse
3
cargo creusot why3 ide does not launch after a successful cargo creusot
#943 opened Feb 20, 2024 by Armael
9
attempted to read from stolen value: rustc_middle::thir::Thir
#940 opened Feb 12, 2024 by Kixunil
2
Remove specialized instance for PartialEq on Option
#938 opened Feb 7, 2024 by xldenis
2
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
@xldenis
Unbound function symbol DeepModel8.deep_model
#910 opened Nov 14, 2023 by adpaco-aws
1
custom attribute panicked on predicate using an if let construct bug Something isn't working error-messages Improve error messages pearlite Improve pearlite
#909 opened Nov 13, 2023 by adpaco-aws
1
Emit an error when using a law attribute incorrectly
#904 opened Oct 28, 2023 by jhjourdan
4
calling a FnMut from a closure bug Something isn't working
#887 opened Oct 10, 2023 by boulme
1
Soundness and empty types
#881 opened Oct 4, 2023 by jhjourdan
Recursive definitions and invariant bug Something isn't working soundness Enhance soundness
#879 opened Oct 3, 2023 by jhjourdan
2
Type invariants cause unsound contracts for unspecified functions bug Something isn't working high-priority Given a high priority soundness Enhance soundness
#878 opened Sep 29, 2023 by xldenis
5
Quantification requires Sized
#877 opened Sep 29, 2023 by jhjourdan
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.