Skip to content

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.

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

44 Open 44 Closed
44 Open 44 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

Cleanup remaining tests
#208 opened May 24, 2024 by Nadrieril
@Nadrieril
Check charon pin in CI
#207 opened May 24, 2024 by Nadrieril
@Nadrieril
Add headers to the copied Primitives.{fst,v} files
#205 opened May 24, 2024 by sonmarcho
@Nadrieril
1
Add an issue template
#201 opened May 24, 2024 by sonmarcho
Test the different approaches to statefulness
#196 opened May 23, 2024 by Nadrieril
1
Add test for recursive structs projectors
#195 opened May 23, 2024 by R1kM
@Nadrieril
Add a test with matches over integers
#191 opened May 22, 2024 by sonmarcho
@Nadrieril
Add a micro-pass to simplify array updates
#188 opened May 17, 2024 by sonmarcho
Add support for nested borrows in function signatures
#181 opened May 14, 2024 by sonmarcho
Add support for mutually recursive trait declarations
#176 opened May 13, 2024 by sonmarcho
Add Negative Tests
#171 opened May 6, 2024 by R1kM
@Nadrieril
1
Do not use the Result type for functions which syntactically never fail
#161 opened Apr 26, 2024 by sonmarcho
10
Update the way spans of external definitions are printed
#160 opened Apr 25, 2024 by sonmarcho
Add a backend test for infinite loops
#153 opened Apr 22, 2024 by sonmarcho
@Nadrieril
Add a Contributing.md file
#143 opened Apr 17, 2024 by sonmarcho
Erase unneeded Copy markers
#142 opened Apr 16, 2024 by RaitoBezarius
3
Failure when extracting a loop with a shared borrow bug Something isn't working
#134 opened Apr 16, 2024 by RaitoBezarius
@sonmarcho
1
Add String to the Lean library
#117 opened Apr 8, 2024 by zhassan-aws
Make progress usable on implications
#103 opened Apr 2, 2024 by zhassan-aws
1
Crash when extracting reference to Self
#100 opened Mar 27, 2024 by sonmarcho
Register a theorem for induction over positive integers
#99 opened Mar 27, 2024 by sonmarcho
Allow types to be parameterized by traits
#98 opened Mar 26, 2024 by sonmarcho
Don't use projectors for structures extracted as tuples
#89 opened Mar 11, 2024 by sonmarcho
Add support for closures
#86 opened Mar 9, 2024 by zhassan-aws
1
Replace unused function inputs with _
#81 opened Mar 8, 2024 by sonmarcho
@EschericHya
ProTip! Mix and match filters to narrow down what you’re looking for.