aeneas/tests/lean/Loops, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Modify some options and update the Makefile2023-11-09T10:43:47+00:00Son Ho2023-11-09T10:43:47+00:00c57dec640d4e12c3dc66969d626bbbca2eb733fd
Regenerate several test files for Lean2023-10-26T12:45:19+00:00Son Ho2023-10-26T12:45:19+00:00bfafe1f4d1cb69c9b921a77c7193c92b45cc21df
Make minor modifications2023-08-04T18:02:37+00:00Son Ho2023-08-04T18:02:37+00:00c656688ff4895904b4bb5e2f89037f1e75c9fa00
Make a minor formatting modification for Lean2023-08-02T22:28:10+00:00Son Ho2023-08-02T22:28:10+00:00fa682c18c8ffc5fa7224d9e9d0e0dd94250ada57
Make the `by inlit` implicit2023-07-12T13:58:38+00:00Son Ho2023-07-12T13:58:38+00:00e010c10fb9a1e2d88b52a4f6b4a0865448276013
Improve the generated comments2023-07-06T10:20:28+00:00Son Ho2023-07-06T10:20:28+00:007c95800cefc87fad894f8bf855cfc047e713b3a7
Simplify the names used in Primitives.lean2023-07-05T13:17:58+00:00Son Ho2023-07-05T13:17:58+00:005ca36bfc50083a01af2b7ae5f75993a520757ef5
Simplify the generated names for the types in Lean2023-07-05T13:09:07+00:00Son Ho2023-07-05T13:09:07+00:00c07721dedb2cfe4c726c42606e623395cdfe5b80
Start using namespaces in the Lean backend2023-07-05T12:52:23+00:00Son Ho2023-07-05T12:52:23+00:000a0445c72e005c328b4764f5fb0f8f38e7a55d60
Regenerate the Lean test files2023-07-04T16:09:36+00:00Son Ho2023-07-04T16:09:36+00:00b643bd00747e75d69b6066c55a1798b61277c4b6