aeneas/tests/coq/betree, branch isabelle aeneas rust verifier with a hacky Isabelle backend Bump charon 2024-06-18T10:12:05+00:00 Nadrieril 2024-06-18T10:12:05+00:00 082661f0d9d1bb1196ef8e1d57b3f2b4922b3d8e 






Regenerate the Coq and Lean betrees
2024-06-05T15:51:36+00:00

Son Ho

2024-06-05T15:51:36+00:00

a4dd9fe0598328976862868097f59207846d865c












tests: Rename betree_main -> betree
2024-05-28T09:36:31+00:00

Nadrieril

2024-05-27T11:28:28+00:00

f77e3f9cbe2ea7abeb4be815bdbf33d0c98076c2












Update charon
2024-04-30T13:37:54+00:00

Nadrieril

2024-04-29T11:37:38+00:00

5209b9976107592802327bac30e8b98fbb9c2d2f












Regenerate and fix the tests
2024-04-25T14:28:30+00:00

Son Ho

2024-04-25T14:28:30+00:00

036756d6bddbcf9bc936489779ed36c7e4d22d14












Merge branch 'main' into core-option-unwrap
2024-04-25T14:07:56+00:00

Son Ho

2024-04-25T14:07:56+00:00

078b7f59ddfcb12a7b4c69f0a51bfd57cb391ddf












Regenerate the Primitives files
2024-04-25T11:53:32+00:00

Son Ho

2024-04-25T11:53:32+00:00

e739bde5ee916af9c0c2dcf186173edba1585e4f












Update tests
2024-04-24T16:28:38+00:00

Zyad Hassan

2024-04-24T16:28:38+00:00

97a70ecd3e70d08fae544dc11cca0fb1e06e5a66












Ensure we regenerate files properly in CI
2024-04-18T09:26:35+00:00

Nadrieril

2024-04-16T11:30:03+00:00

cfda3a990cb3b24d91ce5bf8d1ddec7b265beca5

Files that weren't regenerated were marked as not
automatically-generated.





Files that weren't regenerated were marked as not
automatically-generated.







Regenerate the test files
2024-04-04T14:20:20+00:00

Son Ho

2024-04-04T14:20:20+00:00

b455f94c841b2423898f39bc9b6a4c35a3db56e3