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.025Jul24232221201918171615141312111098765432130Jun292827262524232221201918171615141312111098765432131May30292827262524232221201918171615141312111098765432130Apr292827262524232221201918171615141312111098765432131Mar30292827262524232221201918171615141312111098765432129Feb28272625242019181713121110987654331Janupdate 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 codeExtended internal loops check for loops intersectionsupdate on build version: build.txtupdate on build version: build.txtMerge branch 'revert-883077ef' into 'master'update on build version: build.txtMerge remote-tracking branch 'origin/master' into revert-883077efdelete unnessary codesSend data through socket connectionupdate on build version: build.txtInternal action loop check primitive versionupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtMerge branch 'alessandro_branch' into 'master'update on build version: build.txtMerge branch 'master' of gitlab.enst.fr:mbe-tools/TToolAdding mapping generationupdate on build version: build.txtImproved attribute sharing for action assignmentSolved issue on compressed negative numbers, better interraction within objectsupdate on build version: build.txt