Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 113-firewall-action-in-diplodocus-adds-a-non-visible-element
  • 117-nightly-build-graphic-installer-window-not-resizeable
  • 126-order-of-tabs-in-diplodocus-component-models-is-not-preserved
  • 155-update-developper-documentation
  • 157-installer-does-not-work-under-windows-and-linux
  • 242-gui-automated-test-second-part
  • 244-merging-zoom-branch
  • 2stepApproach
  • 31-zoom-on-all-diagrams
  • 69-allow-to-be-able-to-disable-action-nodes-in-an-activity-diagram
  • 71-gui-automated-tests
  • 71-gui-automated-tests-2
  • 71-gui-automated-tests-3
  • 73-hidden-component-still-clickable
  • 73-hidden-component-still-clickable-2
  • 73-hidden-component-still-clickable-3
  • 78-forbidden-identifiers
  • AIMULET
  • AMULETPatches
  • CompareFunction
20 results
Created with Raphaël 2.2.020Apr1918171615141312111098765432131Mar30292827262524232221201918171615141312111098765432129Feb28272625242019181713121110987654331Jan30292827262524232221201918171615141312111098530Dec29282726252423222120191817161514131211109865432130Nov292827262524232221201918171615141312111098765432131Oct30292827262524232221201918New guard evaluator, using precomputing and the optimized expression solver ~80x speedup in modelcheckerWIPAdded a new boolean expression evaluator with a binary tree structure to reduce the high number of String operations. Used for now only on safetyupdate on build version: build.txtremoved multithread for iterative searchbefore single threadsplitting code into first optimum:paretoupdate on build version: build.txtnew version with pareto featureupdate on build version: build.txtupdate on build version: build.txtCode cleaningFix of a race conditionCode cleaningFirst implementation of safety pragmas checkupdate on build version: build.txtContinued changes to support safety pragmasStarted procedure to add safety pragmas check to the model-checkerupdate on build version: build.txttainting backupupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtAdded model-checker tests for liveness, reachability and state limitLiveness: moved to multithread DFS instead of BFS to limit state explosion and to find in a considerable faster amount of time a counter example (loop or deadlock). Live paths are pruned.update on build version: build.txttaint backupbugfixnew-lip6new-lip6Little speedup to loop check for livenessAdded command line parameters for model-checker optionsbugfixesv0 of new interface with AMSAMS interface implementationupdate on build version: build.txtsecuring version before core gen feature integrationupdate on build version: build.txtbackup taintAdded alt conditions to stop liveness check when the liveness is verified true for all the pending pathsupdate on build version: build.txt