Doc

• add a section describing quickly the use of 'nor', '#', and n-ary xor (22687bec74ca4013a3115af3a54f406f9b3a1887)

Update

• in lurette, do not use the stdio mode when -exec is provided to lv6 (098a10d11c5b9f4c36d4841de2125cdcd0376c79)

New

• add 3 new pre-defined Lutin operators: 'nor', '#', and n-ary xor (7756e0a0dd8fcc4dfb2a4575eeea3541b9b4cd97)

Doc

• add a section for the run/in statement (21b82a820e93fe7a65ab2ffd81d92fce36c533a6)

Fix

• revert a change done in sha:ccb8b62b that breaks things (9714d85abfb64decb4aeb8f26967fca6462e09fa)

Fix

• Merge branch '2-issue-with-free-variables-constrained-in-the-type-declaration' (closes #2) (5fc14d2d86711c331202a8c464f06ccd67b7a732), closes #2
• variables contraint to a value at declaration were buggy (close #2) (ccb8b62b64afa195518929ac8eedbf5d52202301), closes #2

Test

• add an example that triggers the problem (e53b6f05e270bc2b3d5a9bca0cce666dd436f556)

Fix

• the ci was broken by untracking the lutin/src/version.ml file (b4f2666e70b32a61da1e8f2f4aa4aecc35944e2e)
• when lurette uses lv6 -2c-exec, it does not uses the embedded Lv6Run plugin anymore (f268b73c97d358fc118ffae8534a97276770bee0)

Update

• do not track the generated version.ml file (c3ff3e064c307dcbd3e49585676ffa9762970c3f)

Build

• fix the version number for opam releases (16d17278e68f2fe4eaacb8c11154f675ebef2f85)

Build

• new version number workflow based on gitlab-release (6ab045299cdd492da9a35fc50836192c8de22159)

CI

• allow the failure for the test_opam_test job (3ebd88013d4f4cb5af660e78b151ed41e3f31441)

Fix

• a LocalDeadlock was not properly catched from rdbg (2926e5a5ca785e24a9d328ae138d319d9ef54e1a)
• This time, the rdbg time traveling work! (421bcc4d11affc885867189e8c28ebd938db1f04)

New

• RdbgPlugin.t and Event.t now have now some save_state/restore_state functions. (43c4caa9cb4b34a4fd81582d0db2c26df597573f)

Update

• monadisation of Lutin, part 1. (c2eb6c7703d866b9d9927978635fd19263ffa842)
• monadisation of Lutin, part 3. (7a6ac2677d6cf54d8a89161efec1bff73487de32)
• monadisation of Lutin, part 4. (9d0c853a8454e143c339bf0f7fb594deacd53c94)
• monadisation of Lutin, part 5 + remove support for the fair mode. (3cde6aa16926254e41da1626ff1bb0d1d92f664c)
• monadisation of Lutin, part 6 (74e896bf05f2c03f63b2cf824f60a8b350325ff0)
• monadisation of Lutin, part 7 (4f5a18d565ecef8d4f76e6a8a1206e4f4b9ad7c7)
• monadisation of Lutin, part 7 (a45b468e20cd5079bc65da419f9897aa80bf4731)

Build

• rationalisation of version files handling (452e17d55955718037f5b17caa8fed6740cdad9d)

Docs

• Change the name of the License in file headers (373d7a6fdca4c8e1dacae9124616b72f4e8dd1fd)
• update the Lutin tuto (fda65e93d7650b40cfe8307f044e52b0699dee90)

New

• take advantage of options added in rdbg/RdbgWrapper cf sha bacf7677bcb7ceeffa127602204ee8277787ed19 (8c7123e7f0785ea1dc2407d2dc0a8b1ed6acd087)

Set the release number number to 2.66.0 ; from now on, those release numbers ougth to be given by gitlab automatically based on log messages