Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | eprover: 2.3 -> 2.4 | R. RyanTM | 2019-11-01 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | eprover: 2.2 -> 2.3 | R. RyanTM | 2019-04-30 |
* | eprover: 2.1 -> 2.2 | Gabriel Ebner | 2018-11-07 |
* | treewide: Make configureFlags lists | John Ericson | 2018-08-03 |
* | eprover: 2.0 -> 2.1 | Gabriel Ebner | 2018-07-05 |
* | treewide: http -> https sources (#42676) | Silvan Mosberger | 2018-06-28 |
* | eprover: fix build in non-GCC environments | Vincent Laporte | 2018-02-14 |
* | eprover: 1.9.1 -> 2.0 | Gabriel Ebner | 2017-09-05 |
* | eprover: 1.9 -> 1.9.1 | Gabriel Ebner | 2016-09-20 |
* | eprover: fix build on Darwin | Vincent Laporte | 2016-02-29 |
* | E prover: 1.8 -> 1.9 | Michael Raskin | 2015-08-08 |
* | E prover: switch to the new location | Michael Raskin | 2015-07-05 |
* | E prover: do not build the manual | Vincent Laporte | 2015-06-25 |
* | Updating EProver to 1.8 | Michael Raskin | 2013-10-20 |
* | Update E prover | Michael Raskin | 2013-04-21 |
* | Update E prover | Michael Raskin | 2012-12-09 |