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
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge branch 'main' into afromher/recursive_projectors
Son Ho
2024-05-24
15
-391
/
+391
|
\
|
*
Update test outputs
Nadrieril
2024-05-24
15
-391
/
+391
|
*
Tweak a path
Nadrieril
2024-05-24
15
-391
/
+391
*
|
Regenerate Lean files for betree
Aymeric Fromherz
2024-05-23
1
-0
/
+4
*
|
Regenerate Lean files for betree following extraction changes
Aymeric Fromherz
2024-05-23
2
-47
/
+46
|
/
*
Bump charon version
Nadrieril
2024-05-23
5
-7
/
+7
*
Update charon
Nadrieril
2024-04-30
2
-1
/
+2
*
Regenerate and fix the tests
Son Ho
2024-04-25
1
-9
/
+9
*
Merge branch 'main' into core-option-unwrap
Son Ho
2024-04-25
7
-82
/
+68
|
\
|
*
Update the tests for External
Son Ho
2024-04-25
6
-83
/
+66
|
*
Merge branch 'main' into option-take
Son Ho
2024-04-25
3
-161
/
+56
|
|
\
|
*
|
compiler: map `core::mem::swap` to the pure swap
Ryan Lahfa
2024-04-24
1
-6
/
+0
*
|
|
Fix a couple of tests
Zyad Hassan
2024-04-24
4
-13
/
+4
*
|
|
Update tests
Zyad Hassan
2024-04-24
2
-12
/
+0
|
|
/
|
/
|
*
|
Ensure we regenerate files properly in CI
Nadrieril
2024-04-18
2
-2
/
+0
*
|
Bump charon
Nadrieril
2024-04-17
1
-159
/
+56
|
/
*
Update a Lean file
Son Ho
2024-04-11
1
-1
/
+1
*
Update some Lean proofs
Son Ho
2024-04-11
3
-24
/
+24
*
Merge remote-tracking branch 'origin/main' into son/clean
Son Ho
2024-04-11
3
-16
/
+24
|
\
|
*
Update the lean toolchain and fix the proofs
Son Ho
2024-04-05
3
-16
/
+24
*
|
Regenerate the test files
Son Ho
2024-04-04
13
-373
/
+373
|
/
*
Regenerate the test files
Son Ho
2024-04-04
2
-12
/
+12
*
Regenerate the test files
Son Ho
2024-04-04
13
-105
/
+109
*
backend(/tests)/lean: 4.6.0-rc1 → 4.6.1
Ryan Lahfa
2024-03-25
1
-1
/
+1
*
Regenerate the code
Son Ho
2024-03-20
9
-136
/
+119
*
Regenerate the tests
Son Ho
2024-03-19
6
-73
/
+30
*
Update the demo
Son Ho
2024-03-19
2
-10
/
+53
*
Regenerate the test files
Son Ho
2024-03-18
2
-22
/
+92
*
Regenerate the constants tests and update Primitives/Base.lean
Son Ho
2024-03-18
1
-18
/
+33
*
Regenerate the test files
Son Ho
2024-03-11
3
-72
/
+67
*
Update the generated files
Son Ho
2024-03-11
5
-135
/
+135
*
Regenerate the test files
Son Ho
2024-03-09
2
-0
/
+114
*
Update the code generated for tuple projectors
Son Ho
2024-03-08
1
-1
/
+1
*
Fix tuple indexing for Lean backend
Zyad Hassan
2024-03-08
1
-1
/
+1
*
Update the generation of constant bodies for Lean
Son Ho
2024-03-08
4
-24
/
+23
*
Regenerate the test files
Son Ho
2024-03-08
5
-46
/
+46
*
Add some demo files
Son Ho
2024-02-09
4
-0
/
+218
*
Update the .gitignore files
Son Ho
2024-02-02
1
-1
/
+2
*
Rename and regenerate some files
Son Ho
2024-02-02
4
-563
/
+119
*
Make progress on fixing the tests
Son Ho
2024-02-02
1
-13
/
+13
*
Start fixing the tests
Son Ho
2024-02-02
7
-80
/
+98
*
Regenerate the files
Son Ho
2024-01-25
2
-65
/
+75
*
Regenerate the files
Son Ho
2023-12-23
9
-88
/
+47
*
Improve the micro passes to eliminate pattern `let f := fun x => g x`
Son Ho
2023-12-23
1
-17
/
+8
*
Fix a minor issue in the Lean tests
Son Ho
2023-12-23
1
-14
/
+3
*
Update the proof of the hashmap in Lean
Son Ho
2023-12-23
1
-100
/
+44
*
Regenerate the test files and add the fstar-split tests
Son Ho
2023-12-22
14
-2361
/
+1635
*
Regenerate some of the NoNestedBorrows tests
Son Ho
2023-12-22
1
-271
/
+261
*
Regenerate the test files
Son Ho
2023-12-13
1
-61
/
+71
*
Regenerate the tests
Son Ho
2023-12-07
2
-10
/
+36
[next]