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.06Jun520Mar28Feb2615Jan141343230Dec27232220191812Nov830Oct292825241430Sep272423161230Jul191717Jun2May30Apr2928272624Jan11Aug19Jun528Apr262515Feb1327Jan27Jun264May8Feb3214Sep16Aug23Mar1911528Feb20Jan161325Sep2023Jan31Aug272419Oct1820Jul12Dec29Jun8Mar24Feb4317Dec1110933Oct20Sep1716319Aug1830Jul17Apr12Feb10Dec21Nov1122Aug28Jun24181128May161514131210986530Apr29231631Mar27update parser version to 2.15.2mastermasterupdate parser version to 2.15.1add (disabled) test for operations with the same name being calledadd idea files to gitignoreBump version number to 1.4.2-SNAPSHOTRelease version 1.4.11.4.11.4.1Adjust processResources project.version use to avoid deprecation warningUpdate shadow plugin to version 8.3.6Switch to release version 2.15.0 of parserReplace uses of deprecated Gradle assignment syntaxUpdate Gradle wrapper to version 8.13Update to new parser snapshot version 2.15.0-SNAPSHOTadd function test for first tuplerefactor BAstCreator againrefactor operation handlingremove IType interfaceavoid hard-coded access of type tool objectsimplifications in typesset parser version to 2.13.6-SNAPSHOTtest nested booleanadd missing cases and test for negalso ignore Naturals testadd ignored test for nested Real definitionsadd ignored test for set productminor simplificationsrefactor AST generation of (B) built-in predicates/expressionsreplace some direct ToolObject accesses with getTypereorder methodssimplifications in BAstCreatoradd helper method for integer nodesadapt translation of SubSeqsimplify SetSummationsupport SetProductminor simplificationsadd method for isBBuiltInOp checkminor simplificationsminor simplificationsadd some ActionTests and TODOsfix braceminor formatting TypeChecker