Compilation error with Jasmin release 2023.06.1 and main about libjade HOT 1 CLOSED

Hi @BenSmyth! I just noticed that I still had to come here to provide an extended answer (this question was answered shortly in a different context).

According to the documentation, we need to update the release/distribution of Libjade to be compatible with the latest version of the Jasmin compiler:

1. Libjade release 2023.05-1 was compiled with the release of the Jasmin compiler available at that time, 2022.09.2
2. Since then, there has been a Jasmin minor release and a Jasmin major release (with breaking changes)
3. In the Libjade branch release/2023.05, the latest commit reverts the changes that were done for the Libjade code to be compatible with Jasmin 2022.09.2
4. The final distribution packing is still missing (create a Libjade release 2023.05-2 that contains such a fix)

Currently, it should be possible to:

1. Compile Libjade main with Jasmin main
2. Compile Libjade branch release/2023.05 with Jasmin 2023.06.1
3. Recompile Libjade distribution 2023.05-1 (assembly is included in the package) with Jasmin 2022.09.2

from libjade.