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-05-24
Rename some subdirectories for consistency
Nadrieril
50
-13
/
+7
2024-05-24
Update output files
Nadrieril
26
-554
/
+554
2024-05-24
runner: Specify subdirectory in magic comments
Nadrieril
9
-15
/
+24
2024-05-24
runner: Factor out useful `BackendMap` operations
Nadrieril
1
-33
/
+26
2024-05-24
runner: Allow per-backend skipping
Nadrieril
1
-19
/
+46
2024-05-24
runner: Allow filenames with dashes
Nadrieril
2
-1
/
+2
2024-05-24
fix generated file
Nadrieril
1
-1
/
+1
2024-05-24
Update test outputs
Nadrieril
51
-1219
/
+1219
2024-05-24
runner: Pass options in special comments
Nadrieril
16
-78
/
+150
2024-05-24
runner: define an Input module
Nadrieril
1
-90
/
+92
2024-05-24
runner: Strongly typed Backend enum
Nadrieril
2
-62
/
+88
2024-05-24
Downgrade the version of dune
Son Ho
1
-1
/
+1
2024-05-24
runner: Use full path and use an enum for crate vs file
Nadrieril
1
-42
/
+54
2024-05-24
runner: Do both steps of generation at once
Nadrieril
1
-22
/
+24
2024-05-24
Auto-detect test cases
Nadrieril
2
-17
/
+23
2024-05-24
Use runner to generate llbc
Nadrieril
1
-20
/
+104
2024-05-24
Tweak a path
Nadrieril
51
-1219
/
+1219
2024-05-24
Import test suite from charon
Nadrieril
25
-1
/
+4016
2024-05-24
Remove secondary betree test
Nadrieril
9
-2100
/
+4
2024-05-24
Let the runner choose which backends to use
Nadrieril
1
-15
/
+23
2024-05-24
Cleanup test runner
Nadrieril
1
-99
/
+124
2024-05-24
Set all options in the test runner
Nadrieril
1
-0
/
+57
2024-05-24
Move the subdirectory selection to the test runner
Nadrieril
1
-3
/
+26
2024-05-24
Add simple test runner
Nadrieril
5
-0
/
+86
2024-05-23
Bump charon version
Nadrieril
15
-21
/
+21
2024-04-30
Update charon
Nadrieril
5
-4
/
+5
2024-04-26
Update the decreases clauses for the betree
Son Ho
2
-8
/
+3
2024-04-26
Update the F* clauses for the betree
Son Ho
1
-2
/
+1
2024-04-26
Update a decreases clause
Son Ho
1
-1
/
+7
2024-04-25
Regenerate and fix the tests
Son Ho
23
-51
/
+140
2024-04-25
Regenerate the Primitives files
Son Ho
13
-0
/
+975
2024-04-25
Update the tests for External
Son Ho
18
-237
/
+320
2024-04-24
Fix a couple of tests
Zyad Hassan
4
-13
/
+4
2024-04-24
Update tests
Zyad Hassan
7
-44
/
+0
2024-04-24
compiler: map `core::mem::swap` to the pure swap
Ryan Lahfa
1
-6
/
+0
2024-04-18
Address review comments
Nadrieril
17
-0
/
+17
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
[next]