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

Clear current search query, filters, and sorts
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

Not useful error message: "call expression requires function" bug Something isn't working
#301 opened Mar 10, 2022 by sarsko
2
Better error message for unloaded contract library error-messages Improve error messages
#43 opened Sep 15, 2021 by shiatsumat
Clean up why3 crate
#108 opened Oct 1, 2021 by xldenis
Forbid uninhabited types soundness Enhance soundness
#114 opened Oct 6, 2021 by xldenis
Add support for old pearlite Improve pearlite
#117 opened Oct 6, 2021 by xldenis
10
Provide derive macros for Resolve enhancement New feature or request pearlite Improve pearlite
#138 opened Oct 12, 2021 by xldenis
1
Better symbol mangling
#139 opened Oct 12, 2021 by xldenis
Creusot User's Guide
#149 opened Oct 14, 2021 by xldenis
Use proper query system enhancement New feature or request
#158 opened Oct 17, 2021 by xldenis
Could not find loop header bug Something isn't working
#164 opened Oct 20, 2021 by sarsko
@xldenis
2
Proper error handling
#171 opened Oct 22, 2021 by xldenis
Why3 error: unexpected 'variant' clause bug Something isn't working low-priority Given a low priority
#205 opened Nov 3, 2021 by sarsko
3
Improve pearlite tests
#16 opened Feb 21, 2021 by xldenis
Associated types not supported in declarations bug Something isn't working error-messages Improve error messages
#213 opened Nov 8, 2021 by claudemarche
2
Assume integer bounds with CREUSOT_UNBOUNDED enhancement New feature or request
#312 opened Mar 30, 2022 by jhjourdan
3
creusot-contracts should be tested in CI
#368 opened May 23, 2022 by xldenis
1
Further CI Improvements
#379 opened May 25, 2022 by xldenis
3 of 6 tasks
Nothing enforces that #[logic]/#[law]/#[predicate] attributes are the same in a trait declaration and in implementation.
#400 opened May 31, 2022 by jhjourdan
8
Add AddLogic and friends that can be used in pearlite.
#403 opened May 31, 2022 by jhjourdan
2
Error due to tuple-constructor functions.
#414 opened Jun 5, 2022 by xldenis
Properly hide visibility of private fields
#418 opened Jun 7, 2022 by xldenis
Ensures and requires clause order is reversed when translated into Why3
#421 opened Jun 13, 2022 by jhjourdan
Ghost code v2
#435 opened Jun 22, 2022 by xldenis
11
Bugs about ghost code.
#436 opened Jun 22, 2022 by jhjourdan
4
trouble proving derive PartialEq with v0.1 bug Something isn't working
#1023 opened Jun 14, 2024 by Emilie-Thome
8
ProTip! Add no:assignee to see everything that’s not assigned.