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.023Dec2220191812Nov830Oct292825241430Sep272423161230Jul191717Jun2May30Apr2928272624Jan11Aug19Jun528Apr262515Feb1327Jan27Jun264May8Feb3214Sep16Aug23Mar1911528Feb20Jan161325Sep2023Jan31Aug272419Oct1820Jul12Dec29Jun8Mar24Feb4317Dec1110933Oct20Sep1716319Aug1830Jul17Apr12Feb10Dec21Nov1122Aug28Jun24181128May161514131210986530Apr29231631Mar27replace some tablesadd tests for instance transformationfix typos and indentsremove setPosition methodfurther simplificationsmove helper methodsimprove computation of the value of numeral and decimal nodesminor simplificationssupport realvalue in createTLCValuefurther simplications in BAstCreatorsimplify definition and clause creationsimplify creation of start and sets clauseuse only one Start in BAstCreatorsimplifications in UsedDefinitionsFinderdon’t ignore MC definitions if they are usedsort TranslationGlobalsfixes and simplifications in ConfigfileEvaluatorrename getters in ConfigfileEvaluatorsimplify initialisation of ConfigfileEvaluatorweaken types in EnumTypeFix indentsfix typo in used definitions finderadd debug outputBump version number to 1.4.1-SNAPSHOTRelease version 1.4.01.4.01.4.0Add application plugin to allow gradle runUpdate shadow plugin to version 8.3.5Declare 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 TupleType