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.020Mar28Feb2615Jan141343230Dec27232220191812Nov830Oct292825241430Sep272423161230Jul191717Jun2May30Apr2928272624Jan11Aug19Jun528Apr262515Feb1327Jan27Jun264May8Feb3214Sep16Aug23Mar1911528Feb20Jan161325Sep2023Jan31Aug272419Oct1820Jul12Dec29Jun8Mar24Feb4317Dec1110933Oct20Sep1716319Aug1830Jul17Apr12Feb10Dec21Nov1122Aug28Jun24181128May161514131210986530Apr29231631Mar27add (disabled) test for operations with the same name being calledmastermasteradd 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 TypeCheckerreplace unifications and setType in evalBoundedVariablesreplace unifications and setType in evalExcept