aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'main' into son/loops2	Son Ho	2024-06-04	21	-28/+140
\|\
\| *	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
\| \|
* \|	Add a test	Son Ho	2024-06-03	1	-1/+6
\|/
*	Import test suite from charon	Nadrieril	2024-05-24	22	-0/+4011