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.02Jan30Dec27232220191812Nov830Oct292825241430Sep272423161230Jul191717Jun2May30Apr2928272624Jan11Aug19Jun528Apr262515Feb1327Jan27Jun264May8Feb3214Sep16Aug23Mar1911528Feb20Jan161325Sep2023Jan31Aug272419Oct1820Jul12Dec29Jun8Mar24Feb4317Dec1110933Oct20Sep1716319Aug1830Jul17Apr12Feb10Dec21Nov1122Aug28Jun24181128May161514131210986530Apr29231631Mar27minor 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 ModuleOverriderreplace uses of ValueObj by TLCValueNodesome simplifications and comments in ConfigfileEvaluatoradd method for constants mapfix map creationminor changesadd error messagefurther refactoring of instance transformationadd tuple and except Testget rid of SimpleResolverrefactor instance transformationreplace 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 used