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.03Jan230Dec27232220191812Nov830Oct292825241430Sep272423161230Jul191717Jun2May30Apr2928272624Jan11Aug19Jun528Apr262515Feb1327Jan27Jun264May8Feb3214Sep16Aug23Mar1911528Feb20Jan161325Sep2023Jan31Aug272419Oct1820Jul12Dec29Jun8Mar24Feb4317Dec1110933Oct20Sep1716319Aug1830Jul17Apr12Feb10Dec21Nov1122Aug28Jun24181128May161514131210986530Apr29231631Mar27simplify 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 evalExceptreplace unifications and setType in evalBuiltInKindreplace unifications and setType in visitOpApplNodereplace setType calls by setTypeAndFollowersfix missing importreplace unifications in visitExprNodereplace all duplicated unification try-catches in evaltBBuiltInsadd utility methods in TypeCheckeradd another instance testdelete AbstractSymbolminor layoutingadd comments and make name of the dummy module cleareradd tests for expression translation with definitionsrefactor and improve ExpressionTranslatoradd Infinity definition from Reals moduleminor simplifications in type classesmake UsedExternalFunctions local in BAstCreatoruse one util method for declaration mapmove creation of helper classes to constructor of BAstCreatorminor simplifications in Typecheckeradd two testsminor changes and comments in SpecAnalyseradd pretty-print test for real divisionminor cleanup in OperationsFinderremove unneeded implementsremove duplicates of ToolGlobals from BBuildInsthrow exception for getBNode of StructOrFunctionTypeminor changesrefactor SpecAnalysersimplify ModuleOverrider