Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • develop default protected
  • master protected
  • 1.2.1
  • 1.2.0
  • 1.1.0
  • 1.0.5
  • 1.0.4
  • 1.0.3
  • 1.0.2
  • 1.0.0
10 results
Created with Raphaël 2.2.028Feb2627Jan2423211812Nov828Oct25141120Sep5Aug31Jul3027252423222120191716151311922Jun28Apr272629Mar8Feb416Aug29Jan161530Nov2931Aug7Aug16Jan1315Aug30Jun2923May1025Feb5413Jan11615Dec4326Oct323Sep211716320Aug1918171130Jul2928242218172Jun121May19181216Mar3Feb13Jan912Dec24Nov21107624Sep25Aug4Jul28Jun2531May2722230Apr14131Mar232118131110726Feb191412429Jan27818Dec426Nov22211615147523Oct22181711109Sep5Aug2131Jul3026252416151210324Jun2075427May23725Apr17161219Feb20Nov8Merge branch 'develop'1.2.1 master1.2.1 masterRelease version 1.2.1Switch to release versions of parsers and tla2bASTRemove explicit targetCompatibility (defaults to sourceCompatibility)Replace uses of deprecated Gradle assignment syntaxUpdate Gradle wrapper to version 8.13Update to new parser snapshot version 2.15.0-SNAPSHOTreset OutputCollector together with TLC4BGlobalsminor simplificationsdelete UtilMethods classdelete duplicate DefinitionCollectorsimple label testsquick fix for Label and DescriptionPredicatessimplify separator referencefix typomake TLCRunner more similar to the TLC utility class that does the same thingfix runTLCInANewJVMupdate dependenciesBump version number to 1.2.1-SNAPSHOTMerge branch 'develop'1.2.01.2.0Release version 1.2.0Remove deprecated checkTLC4BIsApplicable overloadUpdate to release version 1.4.0 of tla2bASTUpdate to release version 2.13.5 of parsersUpdate to release version 1.1.0 of our tlatoolsUpdate for simplified AST for record field identifiersAdd settings.gradle with explicit project nameUpdate Gradle wrapper to version 8.10.2fix typoDetect only AOperationCallSubstitution with return values as unsupportedUpdate parser and replace use of now removed AOpSubstitutionreadd resetGlobals for testsreset dfid and nr of workers before each runsimplify UnsupportedConstructsFinderDeclare that Translator cannot throw IOExceptionAdd new variant of checkTLC4BIsApplicable to let caller manage executorRemove unused -tool option that does nothingRemove unused -testscript option that does nothingRemove TLC4BGlobals.checkOnlyMainAssertions which was always falseRemove unused TLC4BGlobals.cleanup