aeneas/tests/lean/misc/no_nested_borrows, branch isabelle aeneas rust verifier with a hacky Isabelle backend Reorganize the Lean tests and extract the Polonius tests to Lean 2023-06-04T19:44:33+00:00 Son Ho 2023-03-07T12:46:55+00:00 051e2a19f3268d272a0acd0425d2107ebea020c5 






Generate all the lakefile.lean files
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T11:31:46+00:00

839c2f0f02788825455f46516d988c9fdb8cf6a7












Make minor modifications and regenerate the Lean files
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T07:41:57+00:00

feb60683216a6d9193d6353605560c6c80a1ab41












Improve formatting further by removing useless spaces
2023-06-04T19:44:33+00:00

Son Ho

2023-02-05T21:13:05+00:00

6cc10dc67f74cb0abb3062b02c8a94bf34cc938d












Make sure let-bindings in Lean end with line breaks and improve formatting
2023-06-04T19:44:33+00:00

Son Ho

2023-02-05T21:03:41+00:00

c6913b8bf90689d8961c47f59896443e7fae164d












Make minor fixes, improve formatting for Lean and generate code for all the test suite
2023-06-04T19:44:33+00:00

Son Ho

2023-02-05T17:40:30+00:00

985abfa5406e55a8a4e091486119e18b60896911