aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Cleanup a bit more the dependencies and activate more warnings/errors	Son Ho	2022-01-06	1	-2/+2
\|
*	Parsing of command-line arguments	Jonathan Protzenko	2021-12-15	1	-2/+2
\|
*	Add code to derive polymorphic visitors for g_typed_value and typed_value	Son Ho	2021-12-03	1	-0/+2
\|
*	Make minor modifications	Son Ho	2021-12-03	1	-1/+1
\|
*	Start deriving formatters for debugging	Son Ho	2021-11-29	1	-1/+2
\|
*	Start working logging and make progress on printing ASTs	Son Ho	2021-11-29	1	-1/+1
\|
*	Update the env definition to make the frames easier to manipulate	Son Ho	2021-11-26	1	-2/+2
\|
*	Move some definitions to Contexts.ml and reactivate the warnings	Son Ho	2021-11-23	1	-2/+2
\|
*	Activate exception backtrace	Son Ho	2021-11-23	1	-1/+15
\|
*	Remove the automatic derivation of Yojson (de)serializers	Son Ho	2021-11-18	1	-2/+1
\|
*	Use [@@ëerive of_json] on all the types	Son Ho	2021-11-17	1	-1/+1
\|
*	Start working on json deserialization	Son Ho	2021-11-17	1	-1/+3
\|
*	Setup the project	Son Ho	2021-11-02	1	-0/+2