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.018Mar17131228Feb2627Jan2423211812Nov828Oct25141120Sep5Aug31Jul3027252423222120191716151311922Jun28Apr272629Mar8Feb416Aug29Jan161530Nov2931Aug7Aug16Jan1315Aug30Jun2923May1025Feb5413Jan11615Dec4326Oct323Sep211716320Aug1918171130Jul2928242218172Jun121May19181216Mar3Feb13Jan912Dec24Nov21107624Sep25Aug4Jul28Jun2531May2722230Apr14131Mar232118131110726Feb191412429Jan27818Dec426Nov22211615147523Oct22181711109Sep5Aug2131Jul3026252416151210324Jun2075427May23725Apr17161219Feb20Nov8re-enable silent ignore of return parameters because tests depend on this behaviourdevelopdevelopdisable handling of output parameters for nowfix nested function assignmentsadd test and todo for type restrictor with if-predicatefix renamer not respecting ACTIONRemove strict scope check vor assign substitutions: it broke double function assignmentsImplement basic support for LET expression & predicateImprove exception message from UnsupportedConstructsFinderSupport IF-ELSIF-ELSE expressionsAdd IF-ELSEs and LETs to unsupported constructsAdd FREETYPES clause to unsupported constructsBump version number to 1.2.2-SNAPSHOTMerge 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.2