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
/
src
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Update the code of the hashmap
Son Ho
2024-06-17
1
-30
/
+31
|
*
Update the tests for tuples
Son Ho
2024-06-11
1
-1
/
+13
|
*
Update the betree
Son Ho
2024-06-05
1
-99
/
+98
|
*
Regenerate some tests
Son Ho
2024-06-05
1
-14
/
+2
|
*
Add some negative tests for the borrow checker
Son Ho
2024-06-05
2
-0
/
+105
|
*
Add more tests
Son Ho
2024-06-05
5
-0
/
+79
|
*
Update the test runner to allow the syntax [!lean] and [borrow-check]
Son Ho
2024-06-05
11
-19
/
+19
|
*
Merge branch 'main' into son/clean-synthesis
Son Ho
2024-06-05
1
-1
/
+6
|
\
|
*
Merge branch 'main' into son/loops2
Son Ho
2024-06-04
21
-28
/
+140
|
|
\
|
*
|
Add a test
Son Ho
2024-06-03
1
-1
/
+6
|
|
|
*
|
|
Remove the options from the functions synthesizing the symbolic AST
Son Ho
2024-05-30
1
-6
/
+6
|
|
/
|
/
|
*
|
Reactivate the infinite-loop.rs test
Son Ho
2024-05-28
1
-1
/
+0
|
|
*
|
tests: Rename hashmap_utils -> utils
Nadrieril
2024-05-28
1
-4
/
+4
|
|
*
|
Add some tests
Nadrieril
2024-05-28
3
-0
/
+37
|
|
*
|
runner: Store options for crate tests in a separate file
Nadrieril
2024-05-28
1
-0
/
+4
|
|
*
|
tests: Merge the hashmap test files
Nadrieril
2024-05-27
3
-36
/
+28
|
|
*
|
runner: Add `no-check-output` option for unstable outputs
Nadrieril
2024-05-27
2
-21
/
+1
|
|
*
|
runner: Support negative tests
Nadrieril
2024-05-27
4
-0
/
+55
|
|
*
|
runner: Specify subdirectory in magic comments
Nadrieril
2024-05-24
8
-0
/
+8
|
|
*
|
runner: Pass options in special comments
Nadrieril
2024-05-24
14
-0
/
+37
|
/
*
Import test suite from charon
Nadrieril
2024-05-24
22
-0
/
+4011