aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Make more progress on CfimOfJson	Son Ho	2021-11-17	2	-2/+56
\|
*	Start implementing by hand the json deserializers	Son Ho	2021-11-17	4	-5/+186
\|
*	Also generate to_yojson functions	Son Ho	2021-11-17	6	-42/+53
\|
*	Make minor modifications	Son Ho	2021-11-17	2	-3/+7
\|
*	Make progress on deserializing modules	Son Ho	2021-11-17	3	-28/+22
\|
*	Use [@@ëerive of_json] on all the types	Son Ho	2021-11-17	7	-25/+61
\|
*	Make minor modifications	Son Ho	2021-11-17	1	-12/+2
\|
*	Start working on json deserialization	Son Ho	2021-11-17	4	-4/+47
\|
*	Implement CfimAst.ml	Son Ho	2021-11-03	4	-2/+92
\|
*	Add Values.ml and Expressions.ml	Son Ho	2021-11-03	2	-0/+118
\|
*	Split main.ml between Identifiers.ml and Types.ml	Son Ho	2021-11-03	3	-138/+140
\|
*	Add some type definitions	Son Ho	2021-11-03	1	-2/+43
\|
*	Setup the project	Son Ho	2021-11-02	2	-0/+112