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-30
runner: make the backend map a submodule of `Backend`
Nadrieril
1
-36
/
+48
2024-05-30
tests: Add a README
Nadrieril
1
-0
/
+67
2024-05-28
Fix an issue with some names being ignored when generating unique variable names
Son Ho
2
-4
/
+4
2024-05-28
Reactivate the infinite-loop.rs test
Son Ho
4
-1
/
+76
2024-05-28
tests: Rename hashmap_utils -> utils
Nadrieril
13
-42
/
+40
2024-05-28
Add some tests
Nadrieril
8
-0
/
+178
2024-05-28
runner: Store options for crate tests in a separate file
Nadrieril
2
-30
/
+14
2024-05-28
tests: Rename betree_main -> betree
Nadrieril
30
-363
/
+359
2024-05-27
tests: Merge the hashmap test files
Nadrieril
42
-3992
/
+279
2024-05-27
runner: Add `no-check-output` option for unstable outputs
Nadrieril
3
-27
/
+31
2024-05-27
runner: Support negative tests
Nadrieril
7
-20
/
+113
2024-05-27
runner: Correctly catch command exit status
Nadrieril
2
-29
/
+40
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
Update an .opam file
Son Ho
1
-1
/
+1
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
Regenerate Lean files for betree
Aymeric Fromherz
1
-0
/
+4
2024-05-23
Regenerate Lean files for betree following extraction changes
Aymeric Fromherz
2
-47
/
+46
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
[next]