Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 821b5130c39872ec76d0b45ea4c528b9fce0f84d
  • master default protected
  • btypes-fixes
  • embedded-codegen
  • freetypes
  • rust-support
  • z3solver
7 results
Created with Raphaël 2.2.024May23181716131193217Apr1615113131Mar302927241792124Feb1074128Jan2721201918171614131211764317Dec161514131187116Nov1210327Oct26212019181276432126Sep1531Aug3022Jul202Jun119May1754130Apr292423131228Feb27191810954327Jan2625232221141312223Oct21Jun1913524May1412119854230Apr297Mar319Feb161513121117Aug139876432131Jul294328Jun171615139876231May302925242322212017161514131098765330Apr28231817161110765432131MarUpdate MakefileAdd Remark for model checkingAdd generated VisB visualizationsAdd example for model checkingUpdate READMEUpdate READMEUpdate README with model checkingTry to fix security issuesFix a bug in managing current trace in VisualisationTemplateUpdate TestVisualisationFix a bug in VisualisationTemplateAdd another domain-specific view for Landing GearImplement exporting trace from generated HTML GUI for ProB2-UIMerge branch 'master' of https://github.com/favu100/b2programAdd missing templatesstarted prolog codegenerationAdded additional testsResults of performance testingImproved access of elements in BRelationMerge branch 'master' of https://github.com/favu100/b2programAdded benchmarks for JSUpdate package-lockUpdate package-lockUpdate package-lockUpdate package-lockUpdate package-lockUpdate package-lockUpdate package-lockMerge branch 'master' of https://github.com/favu100/b2programUpdate package-lockMerge pull request #9 from favu100/dependabot/npm_and_yarn/src/test/resources/immutable/marked-4.0.10Merge pull request #10 from favu100/dependabot/npm_and_yarn/src/test/resources/immutable/nanoid-3.3.4Bump marked from 2.1.2 to 4.0.10 in /src/test/resources/immutableMerge pull request #8 from favu100/dependabot/npm_and_yarn/src/test/resources/immutable/next-12.1.0Bump nanoid from 3.1.23 to 3.3.4 in /src/test/resources/immutableBump next from 11.0.1 to 12.1.0 in /src/test/resources/immutableUpdate package.json and package-lock.json from immutable-js repositoryUpdate package-lockMerge branch 'master' of https://github.com/favu100/b2programUpdate async version