Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v2.8.0
746961f9
·
release 2.8.0
·
Jul 14, 2025
v2.7.1
26cde188
·
Fix copyDependencies task copied to wrong folder
·
Jun 28, 2024
v2.7.0
1d4b3b73
·
Release 2.7.0
·
Jun 28, 2024
v2.6.1
7f3b35df
·
Merge branch 'fix-copy-dependencies' into 'master'
·
Jul 12, 2023
v2.6.0
719f9b41
·
Merge branch 'update-versions' into 'master'
·
Jul 12, 2023
v2.5.19
3b155b11
·
Release 2.5.19
·
Jul 12, 2023
v2.5.18
798ccbb1
·
Release 2.5.18
·
Jul 11, 2023
v2.5.17
bca978d7
·
Merge branch 'update-versions'
·
Jun 13, 2022
v2.5.16
bc03074e
·
Merge branch 'timeout-and-stop' into 'master'
·
Dec 13, 2021
v2.5.13
68bc5bf5
·
Merge branch 'fix-exception-character-bugs' into 'master'
·
Dec 07, 2021
v2.5.12
077393ef
·
Merge branch 'preemptive-timeout' into 'master'
·
Dec 02, 2021
v2.5.10
ddd4b87e
·
Merge branch 'patch-memory-error-hack' into 'master'
·
Nov 26, 2021
v2.5.8
8487baa5
·
Merge branch 'configure-javadoc-formatting' into 'master'
·
Nov 18, 2021
v2.5.7
230283df
·
Merge branch 'configure-indentation' into 'master'
·
Nov 16, 2021
v2.5.4
5fe41956
·
Ensure generator ignores empty folders instead of crashing
·
Oct 30, 2021
v2.5.3
cbfbc6f1
·
Bring back pretty printer, adapt tests to autoformatter
·
Sep 30, 2021
v2.5.2
a6f28fcc
·
Fix incorrect filenames in default config
·
Sep 22, 2021
v2.5.1
81c54e91
·
Update version numbers
·
Sep 22, 2021
Fix file path for data files on WebLab
v2.5.0
55b11331
·
Version 2.5.0
·
May 12, 2021
v2.4.1
bad6996e
·
Version 2.4.1
·
Apr 30, 2021
Prev
1
2
Next