aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #231 from Nadrieril/bump-hax	Guillaume Boisseau	2024-06-05	29	-291/+282
\|\
\| *	Update charon	Nadrieril	2024-06-05	29	-291/+282
\|/
*	Propagated changes to statement from Charon (#223)	Escherichia	2024-06-04	4	-5/+6
*	Merge pull request #228 from AeneasVerif/son/loops2	Son HO	2024-06-04	31	-1149/+2143
\|\
\| *	Merge branch 'main' into son/loops2	Son Ho	2024-06-04	188	-5984/+2764
\| \|\ \| \|/ \|/\|
* \|	Merge pull request #230 from W95Psp/follow-up-charon-pr-209	Guillaume Boisseau	2024-06-04	7	-6/+12
\|\ \
\| * \|	Fix the CI pin check	Nadrieril	2024-06-04	1	-0/+2
\| * \|	Update charon pin	Nadrieril	2024-06-04	2	-4/+4
\| * \|	feat: basic handling for `RValue::Len`, following AeneasVerif/charon#209	Lucas Franceschino	2024-06-03	4	-2/+6
\|/ /
* \|	Merge pull request #226 from AeneasVerif/remove-rust-scripts	Guillaume Boisseau	2024-05-30	2	-157/+0
\|\ \
\| * \|	Remove unused `rust-scripts`	Nadrieril	2024-05-30	2	-157/+0
\|/ /
* \|	Merge pull request #225 from AeneasVerif/update-charon-pin	Guillaume Boisseau	2024-05-30	2	-8/+14
\|\ \
\| * \|	Update charon pin to local commit when developing	Nadrieril	2024-05-30	2	-8/+14
\|/ /
* \|	Merge pull request #217 from AeneasVerif/document-tests	Guillaume Boisseau	2024-05-30	7	-197/+284
\|\ \
\| * \|	Improve the tests README	Nadrieril	2024-05-30	2	-14/+22
\| * \|	runner: Factor out backend-specific options	Nadrieril	2024-05-30	2	-49/+56
\| * \|	runner: Split up into multiple files	Nadrieril	2024-05-30	6	-198/+191
\| * \|	runner: make the backend map a submodule of `Backend`	Nadrieril	2024-05-30	1	-36/+48
\| * \|	tests: Add a README	Nadrieril	2024-05-30	1	-0/+67
\|/ /
* \|	Merge pull request #149 from RaitoBezarius/reexport-our-charon	Guillaume Boisseau	2024-05-29	2	-0/+20
\|\ \
\| * \|	chore: explain a Nix-powered workflow	Ryan Lahfa	2024-05-29	2	-0/+20
\|/ /
* \|	Merge pull request #218 from AeneasVerif/ci-check-pin	Guillaume Boisseau	2024-05-29	5	-2/+31
\|\ \
\| * \|	ci: Check correctness of the charon pinned commit	Nadrieril	2024-05-29	5	-2/+31
\|/ /
* \|	Merge pull request #222 from AeneasVerif/son/readme	Son HO	2024-05-29	1	-6/+7
\|\ \
\| * \|	Update the README	Son Ho	2024-05-29	1	-6/+7
\|/ /
* \|	Merge pull request #221 from AeneasVerif/son/builtins	Son HO	2024-05-29	2	-163/+124
\|\ \
\| * \	Merge branch 'main' into son/builtins	Son HO	2024-05-29	0	-0/+0
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Merge pull request #220 from AeneasVerif/son/collisions	Son HO	2024-05-29	3	-25/+23
\|\ \ \
\| * \ \	Merge branch 'main' into son/collisions	Son HO	2024-05-29	0	-0/+0
\| \|\ \ \ \| \|/ / / \|/\| \| \|
* \| \| \|	Merge pull request #219 from AeneasVerif/son/infinite	Son HO	2024-05-28	5	-5/+77
\|\ \ \ \
\| \| \| * \|	Factor out code in ExtractBuiltin.ml	Son Ho	2024-05-29	2	-163/+124
\| \| \|/ /
\| \| * /	Fix an issue with some names being ignored when generating unique variable names	Son Ho	2024-05-28	3	-25/+23
\| \|/ /
\| * \|	Reactivate the infinite-loop.rs test	Son Ho	2024-05-28	4	-1/+76
\| * \|	Fix a bug in SymbolicToPure.translate_loop	Son Ho	2024-05-28	1	-4/+1
\|/ /
* \|	Merge pull request #213 from AeneasVerif/cleanup-tests	Guillaume Boisseau	2024-05-28	84	-4396/+839
\|\ \
\| * \|	tests: Rename hashmap_utils -> utils	Nadrieril	2024-05-28	13	-42/+40
\| * \|	Add some tests	Nadrieril	2024-05-28	8	-0/+178
\| * \|	runner: Store options for crate tests in a separate file	Nadrieril	2024-05-28	2	-30/+14
\| * \|	tests: Rename betree_main -> betree	Nadrieril	2024-05-28	31	-365/+361
\| * \|	tests: Merge the hashmap test files	Nadrieril	2024-05-27	42	-3992/+279
\|/ /
* \|	Merge pull request #209 from AeneasVerif/negative-tests	Guillaume Boisseau	2024-05-27	8	-47/+159
\|\ \
\| * \|	runner: Add `no-check-output` option for unstable outputs	Nadrieril	2024-05-27	3	-27/+31
\| * \|	runner: Support negative tests	Nadrieril	2024-05-27	9	-26/+123
\| * \|	runner: Correctly catch command exit status	Nadrieril	2024-05-27	2	-29/+40
\|/ /
* \|	Merge pull request #184 from RaitoBezarius/unsigned-max	Son HO	2024-05-27	1	-0/+39
\|\ \
\| * \	Merge branch 'main' into unsigned-max	Son HO	2024-05-27	118	-1449/+1626
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Merge pull request #206 from AeneasVerif/subdir	Guillaume Boisseau	2024-05-24	85	-609/+633
\|\ \ \
\| * \| \|	Rename some subdirectories for consistency	Nadrieril	2024-05-24	50	-13/+7
\| * \| \|	Update output files	Nadrieril	2024-05-24	26	-554/+554
\| * \| \|	runner: Specify subdirectory in magic comments	Nadrieril	2024-05-24	9	-15/+24