aeneas/src, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Reorganize a bit the project2022-10-27T10:58:47+00:00Son Ho2022-10-27T07:16:46+00:007e7d0d67de8285e1d6c589750191bce4f49aacb3
Update the code documentation to fix links and syntax issues2022-10-26T17:45:09+00:00Son Ho2022-10-26T17:42:30+00:0016560ce5d6409e0f0326a0c6046960253e444ba4
Add meta data with code locations to the various definitions2022-10-26T08:42:07+00:00Son Ho2022-10-26T08:12:03+00:007d6e7a5608327d24bf8574bda53dc031d3b91140
Measure and display the execution time2022-10-26T08:42:07+00:00Son Ho2022-10-21T09:44:35+00:007f2f06918e9326138097bc91a8cf1eb7a0af2a9d
Fix the semantics of drop2022-10-20T19:11:57+00:00Son Ho2022-10-20T19:11:57+00:00aa0b10a24b8e6b8323b0741e8573ba4fc6283409
Rename Modules to Crates2022-10-13T16:22:28+00:00Son Ho2022-10-13T16:22:28+00:0010e9c20073e1fcd3acf1194b9074a21bdccd44ca
Reformat the project with dune2022-09-22T16:45:25+00:00Son Ho2022-09-22T16:45:25+00:004a8b4b1be044ffaa8de72cf847c00184b6b8ab40
Remove a useless file2022-09-22T16:41:16+00:00Son Ho2022-09-22T16:41:16+00:00f68e3f3fd1858e638c571f140f149a1c4bee85f0
Make minor cleanup2022-09-22T16:40:08+00:00Son Ho2022-09-22T16:40:08+00:00e1b9c968752946e36aeaed1f01272f8481b1a6f1