aeneas/src/dune, branch isabelle aeneas rust verifier with a hacky Isabelle backend Reorganize a bit the project 2022-10-27T10:58:47+00:00 Son Ho 2022-10-27T07:16:46+00:00 7e7d0d67de8285e1d6c589750191bce4f49aacb3 






Start generating documentation
2022-10-26T17:45:09+00:00

Son Ho

2022-10-26T15:31:24+00:00

e1f79b07440f35e5e6296b61819cf50e6f60f090












Reformat the project with dune
2022-09-22T16:45:25+00:00

Son Ho

2022-09-22T16:45:25+00:00

4a8b4b1be044ffaa8de72cf847c00184b6b8ab40












Use the core_unix package instead of core
2022-05-10T12:15:34+00:00

Son Ho

2022-05-10T12:15:34+00:00

5587701ef0015563b175c1a06517fca822e310c4












Update the code to create missing directories upon export
2022-03-03T23:02:08+00:00

Son Ho

2022-03-03T23:02:08+00:00

f12c94e6a8665aa9a7a4572dd65ece4064007f1c












Cleanup a bit more the dependencies and activate more warnings/errors
2022-01-06T10:01:44+00:00

Son Ho

2022-01-06T10:01:44+00:00

6a3faa82e09e3fbf23014b53a2b40d420bc70c9b












Parsing of command-line arguments
2021-12-15T10:10:03+00:00

Jonathan Protzenko

2021-12-15T10:10:03+00:00

fdb35011e866a1894b9ac28ff02985c4955fa49f












Add code to derive polymorphic visitors for g_typed_value and typed_value
2021-12-03T16:14:00+00:00

Son Ho

2021-12-03T16:13:36+00:00

2a2190f6a47f2a28902941b09a9bdc02e52bbcd1












Make minor modifications
2021-12-03T13:43:29+00:00

Son Ho

2021-12-03T13:43:29+00:00

1eb1121490f4331c36298f048c76f9f720206879












Start deriving formatters for debugging
2021-11-29T22:20:02+00:00

Son Ho

2021-11-29T22:20:02+00:00

3952c51d7e63b754642ef2e1ea8b64d4aceccdc6