aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Implement eval_binary_op	Son Ho	2021-11-24	1	-13/+1
\|
*	Implement abs_to_string	Son Ho	2021-11-22	1	-2/+3
\|
*	Implement typed_avalue_to_string_	Son Ho	2021-11-22	1	-4/+4
\|
*	Start working on printing for avalues	Son Ho	2021-11-22	1	-17/+29
\|
*	Make good progress on pretty-printing for values	Son Ho	2021-11-19	1	-2/+2
\|
*	Start working on end_borrow	Son Ho	2021-11-18	1	-18/+20
\|
*	Start working on symbolic values and abstractions	Son Ho	2021-11-18	1	-7/+83
\|
*	Start working on the values for the interpreter	Son Ho	2021-11-18	1	-0/+47
\|
*	Remove the automatic derivation of Yojson (de)serializers	Son Ho	2021-11-18	1	-3/+1
\|
*	Also generate to_yojson functions	Son Ho	2021-11-17	1	-3/+5
\|
*	Make progress on deserializing modules	Son Ho	2021-11-17	1	-2/+0
\|
*	Use [@@ëerive of_json] on all the types	Son Ho	2021-11-17	1	-12/+23
\|
*	Add Values.ml and Expressions.ml	Son Ho	2021-11-03	1	-0/+40