Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
buildSrc
Fixed deprecated Gradle calls in task
January 9, 2019 18:40
gradle/wrapper
Updated Gradle Wrapper to 5.1
January 9, 2019 18:20
images
Update README screenshots
March 12, 2019 13:57
reports
team report
March 13, 2019 21:14
src
Fixed edge-case where cache destroy would not get a lock on the check…
January 19, 2019 13:35
.gitignore
Reverse order of versions in versions dropdown of config panel
October 4, 2017 17:43
.travis.yml
Speed up Travis build time (hopefully) by minor additions to .travis.yml
July 9, 2017 13:11
LICENCE
Updated copyright date
January 9, 2019 18:16
README.md
updated search part of the README
March 9, 2019 17:56
build.gradle
Fixed edge-case where cache destroy would not get a lock on the check…
January 19, 2019 13:35
generate_figures.bat
Add shell scripts to generate evaluation figures
March 11, 2019 00:32
generate_figures.sh
Add shell scripts to generate evaluation figures
March 11, 2019 00:32
gradlew
Updated to Gradle 4.3.1
November 23, 2017 14:08
gradlew.bat
Updated Gradle to 4.6
March 12, 2018 18:43
report.pdf
Adding initial results report
February 26, 2019 21:57
settings.gradle
Add rootProject.name to settings.gradle in order to eliminate influen…
January 21, 2017 11:10