AeneasVerif aeneas issues

AeneasVerif / aeneas

A verification toolchain for Rust programs

Apache License 2.0

123 stars 12 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update charon

#168 Nadrieril closed 12 hours ago
0
Update charon

#167 Nadrieril closed 13 hours ago
0
Propagate handling of (unsupported) mutually recursive trait declarations

#166 R1kM opened 1 day ago
1
Update charon

#165 Nadrieril closed 2 days ago
0
feat(backend/lean): Raw Lean literals can be parsed into scalars automatically

#164 RaitoBezarius opened 2 days ago
0
Make test in aeneas repository does not work

#163 BoltonBailey opened 3 days ago
1
`menhir` installation required/`ocamlformat` not found?

#162 BoltonBailey opened 3 days ago
1
Do not use the `Result` type for functions which syntactically never fail

#161 sonmarcho opened 6 days ago
10
Update the way spans of external definitions are printed

#160 sonmarcho opened 1 week ago
0
Use eachDefaultSystem in flake.nix, update charon in flake.lock

#159 zgrannan closed 5 days ago
3
chore(ci): move Lean CI under Nix

#158 RaitoBezarius closed 6 days ago
8
chore(*): add pre-commit hooks for formatting

#157 RaitoBezarius opened 1 week ago
2
feat(backends/lean): scalars form a linear order

#156 RaitoBezarius closed 1 week ago
0
ci: avoid running duplicate jobs

#155 Nadrieril closed 1 week ago
0
ci: check code formatting and forbid warnings

#154 Nadrieril closed 1 week ago
0
Add a test

#153 sonmarcho opened 1 week ago
0
Don't run the same CI jobs twice

#152 sonmarcho closed 1 week ago
0
Fix an issue in the loops fixed point

#151 sonmarcho closed 1 week ago
0
Check in CI that the build doesn't generate warnings

#150 sonmarcho opened 1 week ago
0
chore: explain a Nix-powered workflow

#149 RaitoBezarius opened 2 weeks ago
10
Failure when extracting a loop

#148 vovunku closed 1 week ago
1
Bump charon

#147 Nadrieril closed 2 weeks ago
0
fix(backends/lean): add a significant amount of keywords

#146 RaitoBezarius closed 1 week ago
8
feat(nix): support non-Flakes users

#145 RaitoBezarius closed 2 weeks ago
0
Easy installation recipes

#144 RaitoBezarius opened 2 weeks ago
3
Add a Contributing.md file

#143 sonmarcho opened 2 weeks ago
0
Erase unneeded `Copy` markers

#142 RaitoBezarius opened 2 weeks ago
3
compiler: map `core::mem::swap` to the pure swap

#141 RaitoBezarius closed 1 week ago
1
`Scalar.cut` does not exist

#140 RaitoBezarius closed 2 weeks ago
2
Usage of `as` in Lean can cause syntactical errors

#139 RaitoBezarius closed 1 week ago
3
`Option::is_none` is unsupported

#138 RaitoBezarius closed 1 week ago
0
`core::mem::swap` is not supported

#137 RaitoBezarius closed 1 week ago
0
compiler: map `core::option::Option::is_none` to `Option.isNone`

#136 RaitoBezarius closed 1 week ago
1
compiler: add `core::option::Option::{take, is_none}` and `core::mem::swap` support

#135 RaitoBezarius closed 1 week ago
4
Failure when extracting a loop with a shared borrow

#134 RaitoBezarius opened 2 weeks ago
1
Trait overriding from the libstd is not supported

#133 RaitoBezarius closed 2 weeks ago
1
Ensure we regenerate files properly in CI

#132 Nadrieril closed 1 week ago
0
Uncompilable Lean involving `Option::take`

#131 RaitoBezarius closed 1 week ago
0
Run sanity checks in CI only

#130 Nadrieril closed 2 weeks ago
0
Use the option `-check-inv` on the tests only in CI

#129 sonmarcho closed 2 weeks ago
0
Update the CI to check there is no diff in the generated files

#128 sonmarcho closed 1 week ago
2
Fix CI

#127 Nadrieril closed 2 weeks ago
1
lean: scalars form a preorder

#126 RaitoBezarius closed 2 weeks ago
1
Add `core::option::unwrap` builtin

#125 zhassan-aws closed 6 days ago
9
Add more definitions to the Lean library

#124 sonmarcho closed 2 weeks ago
0
Cleanup the code in preparation of the nested loops

#123 sonmarcho closed 3 weeks ago
0
Update the CI to format the code and check that there are no compilation warnings

#122 sonmarcho closed 1 week ago
0
Reformat the code

#121 sonmarcho closed 3 weeks ago
2
Cps

#120 EschericHya opened 3 weeks ago
0
Trust rustc regarding `Copy` bounds

#119 Nadrieril closed 3 weeks ago
0