Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-03-19 | treewide: add meta.mainProgram to packages with a single binary | stuebinm | 2 | -0/+2 |
2024-01-29 | why3: move the OCaml library to its own dev output | Vincent Laporte | 1 | -1/+2 |
2024-01-18 | easycrypt: 2023.09 -> 2024.01 | R. Ryantm | 1 | -2/+2 |
2023-11-20 | easycrypt: fix runtest command | Vincent Laporte | 1 | -1/+5 |
2023-09-29 | easycrypt: 2022.04 → 2023.09 | Vincent Laporte | 1 | -12/+3 |
2023-03-20 | why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) | Vincent Laporte | 1 | -5/+8 |
2022-09-19 | easycrypt-runtest: use other format | Martin Weinelt | 1 | -0/+1 |
2022-05-19 | why3: 1.4.1 → 1.5.0 | Vincent Laporte | 1 | -1/+7 |
2022-05-05 | easycrypt-runtest: init at 2022.04 | Vincent Laporte | 1 | -0/+24 |
2022-05-05 | easycrypt: init at 2022.04 | Vincent Laporte | 1 | -0/+50 |