summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2019-02-11Version bumpAndrew O'Neill
2018-12-18Version b-b-b-bumpAndrew O'Neill
2018-10-20Version bumpAndrew O'Neill
2018-06-25Version bumpAndrew O'Neill
2018-01-16Version bumpAndrew O'Neill
2017-12-12Version bumpAndrew O'Neill
2017-11-07Version bumpAndrew O'Neill
2017-10-15Version bumpAndrew O'Neill
2017-10-10Add -j 1 to avoid make race conditionMarek Kubica
2016-02-27Update SRCINFO for new releaseMarek Kubica
2016-02-27New release of Why3Marek Kubica
2015-06-08Initial importMarek Kubica