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
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2024-04-18
Ensure we regenerate files properly in CI
Nadrieril
25
-25
/
+0
2024-04-17
Bump charon
Nadrieril
3
-475
/
+168
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-11
Fix a Coq file
Son Ho
1
-1
/
+1
2024-04-11
Fix some F* proofs
Son Ho
1
-4
/
+4
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
55
-1577
/
+1513
2024-04-04
Regenerate the test files
Son Ho
6
-36
/
+36
2024-04-04
Regenerate the test files
Son Ho
41
-313
/
+322
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
29
-454
/
+431
2024-03-19
Regenerate the tests
Son Ho
22
-188
/
+80
2024-03-19
Update the demo
Son Ho
4
-30
/
+126
2024-03-18
Regenerate the test files
Son Ho
6
-66
/
+297
2024-03-18
Regenerate the constants tests and update Primitives/Base.lean
Son Ho
3
-54
/
+100
2024-03-11
Regenerate the test files
Son Ho
14
-244
/
+227
2024-03-11
Update the generated files
Son Ho
15
-380
/
+389
2024-03-11
Update tests/Makefile
Son Ho
1
-1
/
+1
2024-03-09
Regenerate the test files
Son Ho
10
-0
/
+420
2024-03-08
Remove the split test files for F*
Son Ho
55
-16239
/
+0
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
Remove a file which shouldn't have been added
Son Ho
1
-49
/
+0
2024-02-09
Add some missing files
Son Ho
4
-0
/
+128
2024-02-09
Add some demo files
Son Ho
11
-0
/
+3390
2024-02-03
Fix minor issues
Son Ho
2
-10
/
+10
2024-02-02
Update the .gitignore files
Son Ho
1
-1
/
+2
2024-02-02
Rename and regenerate some files
Son Ho
21
-952
/
+508
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
Update a decreases clause
Son Ho
1
-0
/
+5
2024-01-25
Regenerate the files
Son Ho
13
-314
/
+379
2023-12-23
Fix an issue in External_FunsExternal.v
Son Ho
1
-15
/
+3
2023-12-23
Fix an issue when deconstructing tuples in Coq
Son Ho
1
-2
/
+2
2023-12-23
Regenerate the files
Son Ho
35
-327
/
+183
2023-12-23
Improve the micro passes to eliminate pattern `let f := fun x => g x`
Son Ho
3
-52
/
+24
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
106
-8265
/
+15092
2023-12-22
Annotate the bound vars in the lambdas for Coq
Son Ho
2
-273
/
+231
2023-12-22
Start pushing files from the fstar-split test folder
Son Ho
6
-0
/
+1637
2023-12-22
Regenerate some of the NoNestedBorrows tests
Son Ho
3
-546
/
+474
2023-12-22
Add an option to split the fwd/back functions and fix a minor issue
Son Ho
1
-1
/
+1
2023-12-13
Regenerate the test files
Son Ho
16
-183
/
+265
2023-12-07
Regenerate the tests
Son Ho
6
-32
/
+110
2023-12-05
Update following changes in Charon
Son Ho
10
-304
/
+476
2023-11-29
Regenerate the other files
Son Ho
14
-56
/
+1570
[next]