Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • f72001d37a917c20393711282d9b6bf4b6a1b030
  • 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
20 results
Created with Raphaël 2.2.026Jun256520Mar28Feb2615Jan141343230Dec27232220191812Nov830Oct292825241430Sep272423161230Jul191717Jun2May30Apr2928272624Jan11Aug19Jun528Apr262515Feb1327Jan27Jun264May8Feb3214Sep16Aug23Mar1911528Feb20Jan161325Sep2023Jan31Aug272419Oct1820Jul12Dec29Jun8Mar24Feb4317Dec1110933Oct20Sep1716319Aug1830Jul17Apr12Feb10Dec21Nov1122Aug28Jun24181128May161514131210986530Apr29231631Mar27Fix @generated comment in machine file headermastermasterRemove SuffixIdentifierRenaming, the default quotes invalid identifiers which is enoughFix missing follower notification in IntOrReal unificationUpdate dependenciesFix a lot of typechecking bugs with user definitions and ints vs realsFix typechecking of user defined operators when they are used multiple times with different typesupdate parser version to 2.15.2update 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 simplifications