The 17.0 major release is coming on May 16, 2024! This version brings many exciting improvements to GitLab, but also removes some deprecated features. We are introducing three breaking change windows during which we expect breaking changes to be deployed to GitLab.com. You can read more about it on our blogpost. The second breaking change window begins 2024-04-29 09:00 UTC and ends 2024-05-01 22:00 UTC.
The Octez testsuite has changed quite a lot since the last copy. This MR copies the testsuite as it was in March.
Some typos have been fixed in comments or annotations.
Some tests now use SUB_MUTEZ instead of SUB. Since Mi-Cho-Coq does not yet know about this new primitive, they fail at macro expansion.
Many new tests have been added.