aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	runner: Support negative tests	Nadrieril	2024-05-27	1	-19/+51
\|
*	runner: Correctly catch command exit status	Nadrieril	2024-05-27	1	-28/+39
\|
*	Rename some subdirectories for consistency	Nadrieril	2024-05-24	1	-13/+7
\|
*	runner: Specify subdirectory in magic comments	Nadrieril	2024-05-24	1	-15/+16
\|
*	runner: Factor out useful `BackendMap` operations	Nadrieril	2024-05-24	1	-33/+26
\|
*	runner: Allow per-backend skipping	Nadrieril	2024-05-24	1	-19/+46
\|
*	runner: Allow filenames with dashes	Nadrieril	2024-05-24	1	-0/+1
\|
*	runner: Pass options in special comments	Nadrieril	2024-05-24	1	-77/+112
\|
*	runner: define an Input module	Nadrieril	2024-05-24	1	-90/+92
\|
*	runner: Strongly typed Backend enum	Nadrieril	2024-05-24	1	-62/+82
\|
*	runner: Use full path and use an enum for crate vs file	Nadrieril	2024-05-24	1	-42/+54
\|
*	runner: Do both steps of generation at once	Nadrieril	2024-05-24	1	-22/+24
\|
*	Auto-detect test cases	Nadrieril	2024-05-24	1	-16/+22
\|
*	Use runner to generate llbc	Nadrieril	2024-05-24	1	-20/+104
\|
*	Import test suite from charon	Nadrieril	2024-05-24	1	-1/+1
\|
*	Remove secondary betree test	Nadrieril	2024-05-24	1	-18/+4
\| \| \| \| \|	Opened https://github.com/AeneasVerif/aeneas/issues/196 to remember to add a more adequate replacement test.
*	Let the runner choose which backends to use	Nadrieril	2024-05-24	1	-15/+23
\|
*	Cleanup test runner	Nadrieril	2024-05-24	1	-99/+124
\|
*	Set all options in the test runner	Nadrieril	2024-05-24	1	-0/+57
\|
*	Move the subdirectory selection to the test runner	Nadrieril	2024-05-24	1	-3/+26
\|
*	Add simple test runner	Nadrieril	2024-05-24	1	-0/+30