summaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Expand)Author
2019-03-31Re-use compilation tasksGeorge Fraser
2019-02-18Revert changes to trailing whitespaceLeigh McCulloch
2019-02-18Error if java binary doesn't existLeigh McCulloch
2019-02-18Change to just check java versionLeigh McCulloch
2019-02-18Use the java home set earlier as the real java homeLeigh McCulloch
2019-02-18Make existing scripts work with linuxLeigh McCulloch
2019-02-18Add a script for linking for debianLeigh McCulloch
2019-01-19Use test wrapper to set JAVA_HOMEGeorge Fraser
2019-01-03Prune reference and definition searchesGeorge Fraser
2018-12-29Shared bufferGeorge Fraser
2018-12-29Benchmark string search approachesGeorge Fraser
2018-12-28Build for windowsGeorge Fraser
2018-12-28Use jlink to build self-contained distributionGeorge Fraser
2018-12-15OptimizationGeorge Fraser
2018-12-14+xGeorge Fraser
2018-12-14DedupGeorge Fraser
2018-12-14Run JUnit manuallyGeorge Fraser
2018-12-14Update modules for java 11George Fraser
2018-09-30FormatGeorge Fraser
2018-09-29RobustnesssGeorge Fraser
2018-09-19jlink scriptGeorge Fraser
2018-09-16Revive externalDependencies and classPathGeorge Fraser
2018-09-15Merge branch 'presentation_compiler'George Fraser
2018-09-10v0.1.2George Fraser
2018-09-10Build and test scriptsGeorge Fraser
2018-06-24Fiddle with buildGeorge Fraser
2018-05-21Change to width 120George Fraser
2017-12-05Shebang line in install.shJohannes Wienke
2017-07-22Manual formatting commandGeorge Fraser
2017-04-21Fix scriptGeorge Fraser
2017-04-09Always needs to be installed manually nowGeorge Fraser
2017-04-02ExplanationGeorge Fraser
2017-03-18Update all versions, log outputGeorge Fraser
2016-05-28CleanupGeorge Fraser
2016-05-22Fix installGeorgie
2016-03-28Better installerGeorgie
2016-03-20Output out/fat-jar.jar directlyGeorgie
2016-03-20Use fat-jar instead of installed mavenGeorgie
2016-03-20Better installs criptGeorgie
2016-03-19Installs plugin locallyGeorgie
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-19 11:11:00 +0000