aeneas/rust-tests/src, 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 






Rename Assumed.fst to Primitives.fst and make progress on that
2022-02-03T21:49:24+00:00

Son Ho

2022-02-03T21:49:24+00:00

f6cad578be588004b0f643083b0ea1274c389462












Start working on Assumed.fst
2022-02-03T20:54:08+00:00

Son Ho

2022-02-03T20:54:08+00:00

f2cfba5d716986b2c26d5b7fa28236129f4c5220












Implement eval_binary_op
2021-11-24T15:43:59+00:00

Son Ho

2021-11-24T15:43:59+00:00

3c2de3a3fe4042967f59192286763ba648df01ec












Implement eval_unary_op
2021-11-24T13:20:26+00:00

Son Ho

2021-11-24T13:20:26+00:00

ed18b966b671fdd1da60b6582a4bdd92813d5e5a












Add more utilities for scalars and add range tests in CfimOfJson
2021-11-23T21:03:51+00:00

Son Ho

2021-11-23T21:03:51+00:00

23e57801dd2d3de0e5f9780137ceb866fd2316cc












Write utilities for the scalars
2021-11-23T20:35:20+00:00

Son Ho

2021-11-23T20:35:20+00:00

e607decbe559070c7fc76e70739161e1a083dc7c