-
Notifications
You must be signed in to change notification settings - Fork 15
Issues: AeneasVerif/aeneas
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
Add a way of providing information about borrows in external types
#371
opened Nov 28, 2024 by
sonmarcho
Remove the New feature or request
- soft-warnings
option from the test traits.rs
enhancement
#370
opened Nov 27, 2024 by
sonmarcho
Add linter for specifications well-supported by progress
enhancement
New feature or request
#365
opened Nov 21, 2024 by
R1kM
Fix Something isn't working
InterpreterPaths.access_projection
bug
#355
opened Nov 12, 2024 by
sonmarcho
Bug in loop fixed-point computation
bug
Something isn't working
#351
opened Nov 10, 2024 by
sonmarcho
Unfolding an extraction can lead to a weird term with
Diverge.FixII.…
#318
opened Aug 27, 2024 by
RaitoBezarius
Give the possibility of extracting the source code as comments
#317
opened Aug 27, 2024 by
sonmarcho
Setup Loogle so that we can search for theorems inside the Lean library developed for Aeneas
#309
opened Aug 20, 2024 by
sonmarcho
Previous Next
ProTip!
Follow long discussions with comments:>50.