aeneas/tests/coq/demo, branch isabelle

aeneas/tests/coq/demo, branch isabelle aeneas rust verifier with a hacky Isabelle backend Merge branch 'main' into son/loops2 2024-06-04T11:52:44+00:00 Son Ho 2024-06-04T11:52:44+00:00 3ad6c4712fd41efec55f29af5ccc31f68a0e12cf

Regenerate tests 2024-05-31T12:25:23+00:00 Aymeric Fromherz 2024-05-31T12:25:23+00:00 2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9

Regenerate test output 2024-05-31T11:09:37+00:00 Aymeric Fromherz 2024-05-31T11:09:37+00:00 092dae81f5f90281b634e229102d2dff7f5c3fd7

Implement two phases of loops join + collapse 2024-05-30T10:33:05+00:00 Aymeric Fromherz 2024-05-30T10:33:05+00:00 ce8614be6bd96c51756bf5922b5dfd4c59650dd4

Update output files 2024-05-24T15:03:28+00:00 Nadrieril 2024-05-24T14:51:03+00:00 e288482f437a5f259be5f81eb996b5b28158b300

Update test outputs 2024-05-24T14:11:59+00:00 Nadrieril 2024-05-24T13:48:27+00:00 37e8a0f5ff7d964eb9525fef765b38e44f79302b

Tweak a path 2024-05-24T12:24:38+00:00 Nadrieril 2024-05-23T12:41:00+00:00 25973ee8ef28e2d5b8a9b9ec3de4d6ff340db18b

Regenerate and fix the tests 2024-04-25T14:28:30+00:00 Son Ho 2024-04-25T14:28:30+00:00 036756d6bddbcf9bc936489779ed36c7e4d22d14

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

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