version update

almondtools · Dec 28, 2018 · d7677bb · d7677bb
1 parent cf821fc
commit d7677bb
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/benchmarkresults/README.md b/benchmarkresults/README.md
@@ -0,0 +1,8 @@
+Benchmark Files
+===============
+Benchmark results are expected as csv files with pattern `result-<columnspec>-<yyyy>-<MM>-<dd>.csv` where
+
+* `columnspec` contains the optional columns (any of a (alphabet size), n (pattern number), s (pattern size))
+* `yyyy` is the year of the benchmark
+* `MM` is the month of the benchmark
+* `dd` is the day of the benchmark
diff --git a/pom.xml b/pom.xml
@@ -42,7 +42,7 @@
 		<dependency>
 			<groupId>org.antlr</groupId>
 			<artifactId>ST4</artifactId>
-			<version>4.0.8</version>
+			<version>4.1</version>
 		</dependency>
 
 		<dependency>