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

106 Open 233 Closed
106 Open 233 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

syntax error on empty type bug Something isn't working enhancement New feature or request
#761 opened May 2, 2023 by bclement-ocp
3
Allow variants to be specified on loops enhancement New feature or request
#754 opened Apr 26, 2023 by jhjourdan
4
Support for bitwise operations enhancement New feature or request
#743 opened Apr 13, 2023 by marcfir
5
State of DeepModel and ShallowModel. enhancement New feature or request
#739 opened Apr 6, 2023 by xldenis
35
Investigate reporting a nicer error when failing to dynamically link rustc_driver
#671 opened Jan 9, 2023 by xldenis
Crash reported
#668 opened Dec 19, 2022 by xldenis
2
Add assume
#657 opened Nov 24, 2022 by xldenis
Rust arithmatic in specs produces invalidly typed output bug Something isn't working
#654 opened Nov 21, 2022 by jhaye
1
Check that trait laws are implemented using lemmas with the #[law] attribute
#647 opened Oct 26, 2022 by jhjourdan
Broken interaction betwene extern_spec! and trait method generics
#635 opened Oct 17, 2022 by xldenis
Provide derivations for (Partial)Ord and Hash enhancement New feature or request
#609 opened Oct 6, 2022 by jhaye
Panic on using function pointer bug Something isn't working
#595 opened Oct 4, 2022 by gmorenz
1
In pearlite, quantifiers with multiple binders are translated in the wrong order in WhyML.
#591 opened Sep 30, 2022 by jhjourdan
Check trait constraints when checking reffinements of extern specs for trait methods
#587 opened Sep 29, 2022 by jhjourdan
Type inference fails on specific reuse of a reference
#574 opened Sep 19, 2022 by jhaye
1
Clarify the status of variants/Well-founded
#561 opened Sep 15, 2022 by jhjourdan
1
Weird trait resolution issue with bounds
#542 opened Aug 31, 2022 by xldenis
Creusot errors with "unsupported type" on functions returning impl FnMut bug Something isn't working
#539 opened Aug 30, 2022 by jhaye
3
Invariant spans wrong
#521 opened Aug 5, 2022 by xldenis
1
Pearlite Improvements
#519 opened Aug 5, 2022 by xldenis
3 of 9 tasks
Closure improvements
#518 opened Aug 5, 2022 by xldenis
1 of 3 tasks
Closures shouldn't need explicit contracts enhancement New feature or request
#517 opened Aug 5, 2022 by xldenis
4
Make verified conditions available to the optimizer
#508 opened Jul 26, 2022 by LevitatingLion
8
Triggers
#496 opened Jul 25, 2022 by dewert99
1
A model for char enhancement New feature or request
#482 opened Jul 15, 2022 by suhr
5
ProTip! Mix and match filters to narrow down what you’re looking for.