Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • release/1.1.1
  • release/1.1.3
  • release/1.1.4
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
19 results
Created with Raphaël 2.2.012Nov830Oct292825241430Sep272423161230Jul191717Jun2May30Apr2928272624Jan11Aug19Jun528Apr262515Feb1327Jan27Jun264May8Feb3214Sep16Aug23Mar1911528Feb20Jan161325Sep2023Jan31Aug272419Oct1820Jul12Dec29Jun8Mar24Feb4317Dec1110933Oct20Sep1716319Aug1830Jul17Apr12Feb10Dec21Nov1122Aug28Jun24181128May161514131210986530Apr29231631Mar27Declare Main-Class for regular jar again, not just shadowJarRemove explicit targetCompatibility (defaults to sourceCompatibility)Update to release version 2.13.5 of parserssimplify file creation in Translatorsimplify Translatoradd TlaUtilsmove getDefsMap to TlaUtilsminor simplifications in TLATypesUpdate to release version 1.1.0 of our tlatoolsminor formattingweaken some typesremove unused fields in PrimedVariablesFinderminor simplification in TupleTypeimprove readability of some expression creationssome simplifications in BAstCreatorFix some indentsUpdate for simplified AST for record field identifiersUse standard separatorChar constant instead of the one from tlatoolscollect all included module files and add them to the RMLminor simplificationfix position infos for operation identifiersfix ordersimplify and improve position printingprepare for correct file positionsfix commentadd commentdelete unused Indentation classdelete unused Prioritiesminor formattingdelete unused ModuleErrorException and TLA2BIOExceptionupdate dependenciesadapt test for NamedInstanceCounterRealenable testsimplify TestTypeCheckersome simplifications and restructuringUpdate Gradle wrapper to version 8.10.2Re-add old method names as deprecated to improve backwards compatibilitycleanup InstanceTransformation, SymbolSorter and SymbolRenamerremove unused helper methoduse OpApplNode instead of ExprNode in BOperation