Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • towards_1.8.0
  • master default protected
  • updateTLC
  • 1.1.0-stups
  • 1.0.2-stups
  • 1.0.1-stups
  • 1.0.0-stups
7 results
Created with Raphaël 2.2.028Oct30Jul2419181720Mar2Feb131Jan2317148654330Dec282321201615121110130Nov231715128230Oct262520181512111027Sep14139764227Aug26252423174329Jul2827232119151413876125Jun2414119431May30271813117628Apr2726222019141310987654129Mar252221171697124Feb222120191817161512114327Jan262524201413631Dec3029282726211810920Nov16943227Oct26232118171522Sep211817161514924Aug2019181714131110974325Jul23221613109Bump version number to 1.1.1-SNAPSHOTmastermasterRelease version 1.1.01.1.0-stups1.1.0-stupsUse new Gradle plugins syntaxRemove unused Gradle eclipse pluginReplace uses of newly deprecated Gradle featuresUpdate Gradle wrapper to version 8.10.2Update Gradle wrapper to version 7.6.4Add missing line to publishing configurationAdd comment about why javadoc.failOnError is disabledMigrate to Gradle maven-publish plugin from deprecated maven pluginFix NPE in OutputCollector.addStateToTraceIncrease next version from 1.0.3 to 1.1.0 because of TLA Tools updateWeaken some collection types in our codeReplace Hashtable with HashMap in our codeFix tlatools directory name in .gitlab-ci.ymlCollect violated assumptions in DFIDModelChecker as wellMerge tag 'v1.7.3'Merge tag 'v1.7.2'Merge commit 'cdddf55c262536c01adac3f15ecd5b71b9d1ec72' (1.7.1)Add Gson and lsp4j dependencies as required after last mergetowards_1.8.0towards_1.8.0Require Java 11 as expected by TLA Tools 1.8.0 development versionMerge commit 'c70d1da0dd35b58c4b2e611413c2f438e11bd878' (around 1.7.2)Remove REPL class to avoid jline dependencyMerge tag 'v1.7.1'Merge tag 'v1.7.0'Merge commit 'ab14a33e39c78e4c88e81b664b9a8c916b943cab' (the big move)Merge commit 'b7af771863e5484d449146c5a789a46ede5c7954' (before move)Ignore Gradle build directories regardless of locationRemove StateMonitor to avoid dependency on com.sun.tools.attachMerge tag 'v1.6.0'Stub out MailSender so we don't need the email-related dependenciesRemove testImplementation declaration from build.gradleFix JUnit jar version in build.gradleReplace uses of deprecated compile/testCompile configurationsIgnore duplicates in sourcesJarRemove --stacktrace argument for now to reduce huge CI logsMerge tag 'v1.5.7'Require Java 8 as expected by TLA Tools version 1.5.7Merge tag 'v1.5.6'Merge tag 'v1.5.5'