Adding a counter for unique transitions.
[jpf-core.git] / .gitignore
2019-06-13 rtrimanaCleaning up for the real fixes.
2018-07-11 Jeanderson Barros... Merge pull request #98 from jeandersonbc/master
2018-07-10 Jeanderson CandidoIgnoring reports/ dir
2018-07-02 Jeanderson CandidoAdded Eclipse support for gradle
2018-06-20 Jeanderson CandidoMerge branch 'master' into gradle
2018-06-18 Jeanderson CandidoUpdated build.gradle script file
2018-06-18 Jeanderson CandidoIgnoring build.properties file
2018-05-16 Jeanderson Barros... Added minimal Gradle support to jpf-core (#45)
2018-04-26 cyrille-arthoMerge pull request #4 from gayanW/3
2018-03-04 Gayan WeerakuttiImprove .gitignore file
2017-05-31 Nastaran ShafieiInitial import