aeneas/src/dune, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/src/dune?h=isabelle 2022-10-27T10:58:47Z Reorganize a bit the project 2022-10-27T10:58:47Z Son Ho 2022-10-27T07:16:46Z urn:sha1:7e7d0d67de8285e1d6c589750191bce4f49aacb3 Start generating documentation 2022-10-26T17:45:09Z Son Ho 2022-10-26T15:31:24Z urn:sha1:e1f79b07440f35e5e6296b61819cf50e6f60f090 Reformat the project with dune 2022-09-22T16:45:25Z Son Ho 2022-09-22T16:45:25Z urn:sha1:4a8b4b1be044ffaa8de72cf847c00184b6b8ab40 Use the core_unix package instead of core 2022-05-10T12:15:34Z Son Ho 2022-05-10T12:15:34Z urn:sha1:5587701ef0015563b175c1a06517fca822e310c4 Update the code to create missing directories upon export 2022-03-03T23:02:08Z Son Ho 2022-03-03T23:02:08Z urn:sha1:f12c94e6a8665aa9a7a4572dd65ece4064007f1c Cleanup a bit more the dependencies and activate more warnings/errors 2022-01-06T10:01:44Z Son Ho 2022-01-06T10:01:44Z urn:sha1:6a3faa82e09e3fbf23014b53a2b40d420bc70c9b Parsing of command-line arguments 2021-12-15T10:10:03Z Jonathan Protzenko 2021-12-15T10:10:03Z urn:sha1:fdb35011e866a1894b9ac28ff02985c4955fa49f Add code to derive polymorphic visitors for g_typed_value and typed_value 2021-12-03T16:14:00Z Son Ho 2021-12-03T16:13:36Z urn:sha1:2a2190f6a47f2a28902941b09a9bdc02e52bbcd1 Make minor modifications 2021-12-03T13:43:29Z Son Ho 2021-12-03T13:43:29Z urn:sha1:1eb1121490f4331c36298f048c76f9f720206879 Start deriving formatters for debugging 2021-11-29T22:20:02Z Son Ho 2021-11-29T22:20:02Z urn:sha1:3952c51d7e63b754642ef2e1ea8b64d4aceccdc6