aeneas/tests/coq/traits, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/coq/traits?h=isabelle 2024-06-28T06:18:47Z Update charon 2024-06-28T06:18:47Z Nadrieril 2024-06-26T14:24:27Z urn:sha1:c00d337f48cbaf56a5b81f396c2f18ae811aee5a Update charon 2024-06-24T08:37:32Z Nadrieril 2024-06-24T08:37:32Z urn:sha1:ba2111ff8f4281e0be345380775cb7a43afa22e8 Update charon 2024-06-17T09:18:38Z Nadrieril 2024-06-17T09:18:38Z urn:sha1:02b33a77cc3cba06e9abc910784a5d4d7b8b28cd Update charon 2024-06-05T07:40:53Z Nadrieril 2024-06-04T15:42:46Z urn:sha1:8a1adfb37d2cf295d8caed1dfdd4f7475bb19283 Merge branch 'main' into son/loops2 2024-06-04T11:52:44Z Son Ho 2024-06-04T11:52:44Z urn:sha1:3ad6c4712fd41efec55f29af5ccc31f68a0e12cf Regenerate tests 2024-05-31T12:25:23Z Aymeric Fromherz 2024-05-31T12:25:23Z urn:sha1:2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9 Update test outputs 2024-05-24T14:11:59Z Nadrieril 2024-05-24T13:48:27Z urn:sha1:37e8a0f5ff7d964eb9525fef765b38e44f79302b Tweak a path 2024-05-24T12:24:38Z Nadrieril 2024-05-23T12:41:00Z urn:sha1:25973ee8ef28e2d5b8a9b9ec3de4d6ff340db18b Bump charon version 2024-05-23T08:42:54Z Nadrieril 2024-05-23T08:42:54Z urn:sha1:71a1ab3e2fa9581314328b4fdb7aa2ca3caa4e20 Regenerate and fix the tests 2024-04-25T14:28:30Z Son Ho 2024-04-25T14:28:30Z urn:sha1:036756d6bddbcf9bc936489779ed36c7e4d22d14