aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Expand)	Author	Files	Lines
2023-10-24	Handle properly the builtin, non fallible functions	Son Ho	1	-1/+33
2023-10-24	Start taking into account non-fallible functions like core::mem::replace	Son Ho	1	-0/+8
2023-10-24	Fix minor issues	Son Ho	1	-4/+4
2023-10-24	Filter some type arguments for the builtin types/functions	Son Ho	1	-8/+7
2023-10-24	Add support for builtin trait implementations	Son Ho	1	-0/+34
2023-10-24	Fix various issues with the builtins	Son Ho	1	-20/+62
2023-10-23	Make progress on handling the builtins	Son Ho	1	-42/+51
2023-10-23	Remove some assumed types and add more support for builtin definitions	Son Ho	1	-0/+468