Commit Graph

9 Commits

Author SHA1 Message Date
Vincent Laporte
d41c2a87e3 jasmin-compiler: 2023.06.0 → 2023.06.1 2023-08-10 19:09:04 +02:00
Vincent Laporte
8f6236baec jasmin-compiler: install the OCaml libraries
And split into multiple outputs

  - the default `bin` contains the Jasmin compilers
  - the `lib` output contains the EasyCrypt support library
  - the remaining `out` contains the OCaml libraries
2023-07-12 14:42:52 +02:00
Vincent Laporte
01d3f6f7a8 jasmin-compiler: 2022.09.3 → 2023.06.0 2023-06-16 07:00:14 +02:00
Vincent Laporte
381e92a35e jasmin-compiler: 2022.09.2 → 2022.09.3 2023-06-07 12:59:19 +02:00
Vincent Laporte
bf8dc7ed76 jasmin-compiler: 2022.09.0 → 2022.09.2 2023-04-17 07:11:46 +02:00
Vincent Laporte
91d1eb9f2a jasmin-compiler: 2022.04.0 → 2022.09.0 2022-10-10 09:46:08 +02:00
Vincent Laporte
aee00ac405
jasmin-compiler: 21.0 → 2022.04.0 2022-05-13 14:08:29 +02:00
Malo Bourgon
16e15fa68f treewide: add meta.mainProgram to many packages 2022-05-04 18:08:19 -07:00
Vincent Laporte
1a4307af6d jasmin-compiler: init at 21.0 2022-04-27 10:02:32 +02:00