projects / jpf-core.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixing a bug in manual_write-non_conflict + setSet conflicts
[jpf-core.git] / .travis.yml
2019-05-20 yuvaraj-anbarasanFix issue #187: use ubuntu trusty version for travis... blob | commitdiff | raw
2018-07-11 Jeanderson Barros... Merge pull request #98 from jeandersonbc/master blob | commitdiff | raw | diff to current
2018-07-10 Jeanderson CandidoUpdated travis settings blob | commitdiff | raw | diff to current
2018-06-20 Jeanderson CandidoExtra - Added Codecov support blob | commitdiff | raw | diff to current
2018-06-20 Jeanderson CandidoMerge branch 'master' into gradle blob | commitdiff | raw | diff to current
2018-06-18 Jeanderson CandidoEnabled build scan blob | commitdiff | raw | diff to current
2018-05-22 Jeanderson Barros... Added Java Plugin to the Gradle build (#52) blob | commitdiff | raw | diff to current
2018-04-26 cyrille-arthoMerge pull request #4 from gayanW/3 blob | commitdiff | raw | diff to current
2018-04-18 Willem VisserMerge pull request #14 from javapathfinder/dev blob | commitdiff | raw | diff to current
2018-04-18 Willem VisserMerge branch 'dev' of https://github.com/javapathfinder... blob | commitdiff | raw | diff to current
2018-04-18 Willem VisserMerge pull request #13 from gayanW/dev blob | commitdiff | raw | diff to current
2018-04-18 Willem VisserMerge branch 'dev' into dev blob | commitdiff | raw | diff to current
2018-04-18 Willem VisserMerge branch 'dev' of https://github.com/javapathfinder... blob | commitdiff | raw | diff to current
2018-04-18 Willem VisserMerge branch 'master' of https://github.com/javapathfin... blob | commitdiff | raw | diff to current
2018-04-17 Gayan WeerakuttiMake Travis build against latest available oracle-jdk blob | commitdiff | raw | diff to current
2018-04-17 Gayan WeerakuttiCreate .travis.yml blob | commitdiff | raw | diff to current
2018-04-17 Willem VisserDelete travis support from dev blob | commitdiff | raw
2018-04-17 Willem VisserMerge pull request #6 from gayanW/travis blob | commitdiff | raw | diff to current
2018-04-17 Willem VisserFirst try for Travis blob | commitdiff | raw | diff to current
2018-03-08 Gayan WeerakuttiCreate .travis.yml blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.