| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| * | js_of_ocaml: 3.4.0 -> 3.5.2 (#75766) | Joachim Breitner | 2020-03-06 |
| * | why3: 1.2.0 → 1.2.1 | Vincent Laporte | 2019-11-11 |
| * | treewide: remove redundant rec | volth | 2019-08-28 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | framac: 18 -> 19 and update why3 | Jake Waksbaum | 2019-08-03 |
| * | why3: 1.1.1 -> 1.2.0 | Vincent Laporte | 2019-02-25 |
| * | why3: 1.1.0 -> 1.1.1 (#52980) | Vincent Laporte | 2018-12-29 |
| * | why3: 1.0.0 -> 1.1.0 | Vincent Laporte | 2018-10-18 |
| * | why3: 0.88.3 -> 1.0.0 | Ricardo M. Correia | 2018-07-21 |
| * | why3: 0.88.1 -> 0.88.3 | Vincent Laporte | 2018-01-14 |
| * | why3: 0.87.3 -> 0.88.1 | Moritz Kiefer | 2017-11-15 |
| * | why3: 0.87.1 -> 0.87.3 | Vincent Laporte | 2017-01-21 |
| * | why3: 0.87.0 -> 0.87.1 | Vincent Laporte | 2016-06-09 |
| * | why3: 0.86.3 -> 0.87.0 | Vincent Laporte | 2016-04-05 |
| * | why3: 0.86.2 -> 0.86.3 | Vincent Laporte | 2016-03-04 |
| * | why3: 0.86.1 -> 0.86.2 | Vincent Laporte | 2015-12-01 |
| * | why3: update from 0.85 to 0.86.1 | Vincent Laporte | 2015-06-01 |
| * | Why3: build also the Coq tactic. | Vincent Laporte | 2015-01-29 |
| * | why3: update from 0.83 to 0.85 | Vincent Laporte | 2014-10-12 |
| * | nixpkgs: add why3 0.83 | Austin Seipp | 2014-05-01 |