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
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2024-06-05
Add some negative tests for the borrow checker
Son Ho
2
-0
/
+105
2024-06-05
Add more tests
Son Ho
5
-0
/
+79
2024-06-05
Update the test runner to allow the syntax [!lean] and [borrow-check]
Son Ho
11
-19
/
+19
2024-06-03
Add a test
Son Ho
1
-1
/
+6
2024-05-30
Remove the options from the functions synthesizing the symbolic AST
Son Ho
1
-6
/
+6
2024-05-28
Reactivate the infinite-loop.rs test
Son Ho
1
-1
/
+0
2024-05-28
tests: Rename hashmap_utils -> utils
Nadrieril
1
-4
/
+4
2024-05-28
Add some tests
Nadrieril
3
-0
/
+37
2024-05-28
runner: Store options for crate tests in a separate file
Nadrieril
1
-0
/
+4
2024-05-27
tests: Merge the hashmap test files
Nadrieril
3
-36
/
+28
2024-05-27
runner: Add `no-check-output` option for unstable outputs
Nadrieril
2
-21
/
+1
2024-05-27
runner: Support negative tests
Nadrieril
4
-0
/
+55
2024-05-24
runner: Specify subdirectory in magic comments
Nadrieril
8
-0
/
+8
2024-05-24
runner: Pass options in special comments
Nadrieril
14
-0
/
+37
2024-05-24
Import test suite from charon
Nadrieril
22
-0
/
+4011