Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-29 | why3: move the OCaml library to its own dev output | Vincent Laporte | 1 | -0/+7 |
2024-01-29 | why3: make it easy to disable IDE support | Vincent Laporte | 1 | -2/+11 |
2024-01-29 | why3: 1.7.0 → 1.7.1 | Vincent Laporte | 1 | -2/+2 |
2023-11-30 | why3: 1.6.0 → 1.7.0 | Vincent Laporte | 1 | -3/+8 |
2023-03-20 | why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) | Vincent Laporte | 1 | -2/+2 |
2023-02-03 | treewide: add strictDeps = true to most packages depending on ocaml | Ulrik Strid | 1 | -1/+9 |
2023-01-22 | treewide: replace http by https when https is a permanent redirection | Ferry Jérémie | 1 | -1/+1 |
2022-10-12 | pkgs.applications: remove unused args | Markus S. Wamser | 2 | -2/+2 |
2022-09-16 | why3: 1.5.0 → 1.5.1 | Vincent Laporte | 1 | -2/+2 |
2022-09-15 | why3: use why3.version in withProvers | Bouke van der Bijl | 1 | -0/+1 |
2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -3/+4 |
2022-05-19 | why3: 1.4.1 → 1.5.0 | Vincent Laporte | 1 | -2/+2 |
2022-05-19 | why3.withProvers: fix #168644 | Vincent Laporte | 1 | -1/+1 |
2022-03-23 | treewide: rename name to pname&version | Felix Buehler | 1 | -1/+1 |
2022-02-25 | why3: 1.4.0 → 1.4.1 | Vincent Laporte | 1 | -5/+5 |
2021-12-12 | why3.withProvers: add dontUnpack | Felix Buehler | 1 | -1/+3 |
2021-11-01 | why3: remove spurious camlp5 dependency | Vincent Laporte | 1 | -1/+1 |
2021-08-16 | why3: deprecate phases | Felix Buehler | 2 | -18/+17 |
2021-06-27 | why3: use GTK3 | Vincent Laporte | 1 | -1/+1 |
2021-06-27 | why3: 1.3.3 → 1.4.0 | Vincent Laporte | 1 | -9/+6 |
2021-06-05 | ocamlPackages.menhir: 20190626 → 20210419 | Vincent Laporte | 1 | -1/+1 |
2021-02-19 | treewide: makeWrapper buildInputs to nativeBuildInputs | Ben Siraphob | 1 | -1/+2 |
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 |
2020-09-23 | why3: 1.3.1 -> 1.3.3 | Vincent Laporte | 1 | -3/+3 |
2020-07-30 | why3: 1.2.1 -> 1.3.1 | Yurii Rashkovskii | 2 | -23/+3 |
2020-06-28 | why3: compatibility with JSoO 3.6.0 | Vincent Laporte | 1 | -0/+4 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2020-03-06 | js_of_ocaml: 3.4.0 -> 3.5.2 (#75766) | Joachim Breitner | 1 | -2/+8 |
2019-11-11 | why3: 1.2.0 → 1.2.1 | Vincent Laporte | 1 | -3/+3 |
2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2019-08-03 | framac: 18 -> 19 and update why3 | Jake Waksbaum | 3 | -6/+68 |
2019-02-25 | why3: 1.1.1 -> 1.2.0 | Vincent Laporte | 1 | -3/+3 |
2018-12-29 | why3: 1.1.0 -> 1.1.1 (#52980) | Vincent Laporte | 1 | -5/+5 |
2018-10-18 | why3: 1.0.0 -> 1.1.0 | Vincent Laporte | 1 | -3/+3 |
2018-07-21 | why3: 0.88.3 -> 1.0.0 | Ricardo M. Correia | 1 | -4/+4 |
2018-01-14 | why3: 0.88.1 -> 0.88.3 | Vincent Laporte | 1 | -3/+3 |
2017-11-15 | why3: 0.87.3 -> 0.88.1 | Moritz Kiefer | 1 | -3/+3 |
2017-01-21 | why3: 0.87.1 -> 0.87.3 | Vincent Laporte | 1 | -3/+3 |
2016-06-09 | why3: 0.87.0 -> 0.87.1 | Vincent Laporte | 1 | -3/+3 |
2016-04-05 | why3: 0.86.3 -> 0.87.0 | Vincent Laporte | 1 | -3/+3 |
2016-03-04 | why3: 0.86.2 -> 0.86.3 | Vincent Laporte | 1 | -5/+10 |
2015-12-01 | why3: 0.86.1 -> 0.86.2 | Vincent Laporte | 1 | -4/+4 |
2015-06-01 | why3: update from 0.85 to 0.86.1 | Vincent Laporte | 1 | -4/+4 |
2015-01-29 | Why3: build also the Coq tactic. | Vincent Laporte | 1 | -1/+1 |
2014-10-12 | why3: update from 0.83 to 0.85 | Vincent Laporte | 1 | -8/+8 |
2014-05-01 | nixpkgs: add why3 0.83 | Austin Seipp | 1 | -0/+22 |