aeneas/rust-tests, branch isabelle

aeneas/rust-tests, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/rust-tests?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 Rename Assumed.fst to Primitives.fst and make progress on that 2022-02-03T21:49:24Z Son Ho 2022-02-03T21:49:24Z urn:sha1:f6cad578be588004b0f643083b0ea1274c389462 Start working on Assumed.fst 2022-02-03T20:54:08Z Son Ho 2022-02-03T20:54:08Z urn:sha1:f2cfba5d716986b2c26d5b7fa28236129f4c5220 Implement eval_binary_op 2021-11-24T15:43:59Z Son Ho 2021-11-24T15:43:59Z urn:sha1:3c2de3a3fe4042967f59192286763ba648df01ec Implement eval_unary_op 2021-11-24T13:20:26Z Son Ho 2021-11-24T13:20:26Z urn:sha1:ed18b966b671fdd1da60b6582a4bdd92813d5e5a Add more utilities for scalars and add range tests in CfimOfJson 2021-11-23T21:03:51Z Son Ho 2021-11-23T21:03:51Z urn:sha1:23e57801dd2d3de0e5f9780137ceb866fd2316cc Write utilities for the scalars 2021-11-23T20:35:20Z Son Ho 2021-11-23T20:35:20Z urn:sha1:e607decbe559070c7fc76e70739161e1a083dc7c