index
:
aeneas
isabelle
aeneas rust verifier with a hacky Isabelle backend
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
lean
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2024-05-24
Update output files
Nadrieril
8
-177
/
+177
2024-05-24
Update test outputs
Nadrieril
15
-391
/
+391
2024-05-24
Tweak a path
Nadrieril
15
-391
/
+391
2024-05-23
Regenerate Lean files for betree
Aymeric Fromherz
1
-0
/
+4
2024-05-23
Regenerate Lean files for betree following extraction changes
Aymeric Fromherz
2
-47
/
+46
2024-05-23
Bump charon version
Nadrieril
5
-7
/
+7
2024-04-30
Update charon
Nadrieril
2
-1
/
+2
2024-04-25
Regenerate and fix the tests
Son Ho
1
-9
/
+9
2024-04-25
Update the tests for External
Son Ho
6
-83
/
+66
2024-04-24
Fix a couple of tests
Zyad Hassan
4
-13
/
+4
2024-04-24
Update tests
Zyad Hassan
2
-12
/
+0
2024-04-24
compiler: map `core::mem::swap` to the pure swap
Ryan Lahfa
1
-6
/
+0
2024-04-18
Ensure we regenerate files properly in CI
Nadrieril
2
-2
/
+0
2024-04-17
Bump charon
Nadrieril
1
-159
/
+56
2024-04-11
Update a Lean file
Son Ho
1
-1
/
+1
2024-04-11
Update some Lean proofs
Son Ho
3
-24
/
+24
2024-04-05
Update the lean toolchain and fix the proofs
Son Ho
3
-16
/
+24
2024-04-04
Regenerate the test files
Son Ho
13
-373
/
+373
2024-04-04
Regenerate the test files
Son Ho
2
-12
/
+12
2024-04-04
Regenerate the test files
Son Ho
13
-105
/
+109
2024-03-25
backend(/tests)/lean: 4.6.0-rc1 → 4.6.1
Ryan Lahfa
1
-1
/
+1
2024-03-20
Regenerate the code
Son Ho
9
-136
/
+119
2024-03-19
Regenerate the tests
Son Ho
6
-73
/
+30
2024-03-19
Update the demo
Son Ho
2
-10
/
+53
2024-03-18
Regenerate the test files
Son Ho
2
-22
/
+92
2024-03-18
Regenerate the constants tests and update Primitives/Base.lean
Son Ho
1
-18
/
+33
2024-03-11
Regenerate the test files
Son Ho
3
-72
/
+67
2024-03-11
Update the generated files
Son Ho
5
-135
/
+135
2024-03-09
Regenerate the test files
Son Ho
2
-0
/
+114
2024-03-08
Update the code generated for tuple projectors
Son Ho
1
-1
/
+1
2024-03-08
Fix tuple indexing for Lean backend
Zyad Hassan
1
-1
/
+1
2024-03-08
Update the generation of constant bodies for Lean
Son Ho
4
-24
/
+23
2024-03-08
Regenerate the test files
Son Ho
5
-46
/
+46
2024-02-09
Add some demo files
Son Ho
4
-0
/
+218
2024-02-02
Update the .gitignore files
Son Ho
1
-1
/
+2
2024-02-02
Rename and regenerate some files
Son Ho
4
-563
/
+119
2024-02-02
Make progress on fixing the tests
Son Ho
1
-13
/
+13
2024-02-02
Start fixing the tests
Son Ho
7
-80
/
+98
2024-01-25
Regenerate the files
Son Ho
2
-65
/
+75
2023-12-23
Regenerate the files
Son Ho
9
-88
/
+47
2023-12-23
Improve the micro passes to eliminate pattern `let f := fun x => g x`
Son Ho
1
-17
/
+8
2023-12-23
Fix a minor issue in the Lean tests
Son Ho
1
-14
/
+3
2023-12-23
Update the proof of the hashmap in Lean
Son Ho
1
-100
/
+44
2023-12-22
Regenerate the test files and add the fstar-split tests
Son Ho
14
-2361
/
+1635
2023-12-22
Regenerate some of the NoNestedBorrows tests
Son Ho
1
-271
/
+261
2023-12-13
Regenerate the test files
Son Ho
1
-61
/
+71
2023-12-07
Regenerate the tests
Son Ho
2
-10
/
+36
2023-12-05
Update following changes in Charon
Son Ho
2
-88
/
+146
2023-11-29
Generate the Bitwise test files
Son Ho
1
-0
/
+37
2023-11-29
Regenerate the tests
Son Ho
1
-29
/
+42
[next]