Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |