Skip to content
Snippets Groups Projects
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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.07Aug65432131Jul30292827262524232221201918171615141312111098765432130Jun292827262524232221201918171615141312111098765432131May30292827262524232221201918171615141312111098765432130Apr292827262524232221201918171615141312111098765432131Mar30292827262524232221201918171615141312111098765432129Feb28272625242019181713121110987update on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtFix internal action loop variable assignmentUpdate documentation: syntax correctionUpdate documentation: state space reduction, verification tracesupdate on build version: build.txtUpdate documentation: internal action loops, deadlocks, reinitialization, safetyMerge remote-tracking branch 'origin/master' into revert-883077efadd more functions for timeline diagramupdate on build version: build.txtFixed bug on AUT traces and internal action loopsBypass syntax checker on empty linesupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtFix in syntax checker errors display, fix in true false pragma expected valueAdded pragma expected result info in the documentationAdded expected result option in safety pragmas, T or F at the start of the pragmaupdate on build version: build.txtExponential bounded model-checking for leadsTo pragmas to prove liveness properties as soon as available. It allows to prove false properties in infinite graphs. Added stop and resume state space exploration methodsAdded states and transition information in the verification trace nameupdate on build version: build.txtAdded model-checker word size representation selection. Documentation updateAdded cli options for reinitialization and internal action loop verification; added list of internal infinite loops in outputupdate on build version: build.txtRemove random loops from internal action loop verificationAdded verification traces to internal action loop studyupdate on build version: build.txtGeneral internal action loop detector using leadsTo pragmasupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtComment/uncomment external code