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.015Jun141312111098765432131May30292827262524232221201918171615141312111098765432130Apr292827262524232221201918171615141312111098765432131Mar30292827262524232221201918171615141312111098765432129Feb28272625242019181713121110987654331Jan30292827262524232221201918171615141312111098530Dec292827262524232221201918171615141312111098654update on build version: build.txtupdate on show real time simulation html traceupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtMerge branch 'master' of gitlab.enst.fr:mbe-tools/TToolUpdate on dev doc and pluginsupdate on build version: build.txtUpdating manifest with new batikUpdating build.gradle for new batik libsAdding new batik libs - Update on pluginsAdded getResult() of expression from array of int attribute valuesBetter testsRight check syntaxMerge branch 'master' of gitlab.enst.fr:mbe-tools/TToolUpdate on plugins: doc and co. Still to implement: custom commandsAdded syntax check rules to AvaterExpression solvers, added testsupdate on build version: build.txtUpdate on dev doc: adding plugin informationAdded more test for Expression SolversPushing new Makefile for dev infraFirst easy implementation of counterexamples for safety pragmasMerge branch 'master' of gitlab.enst.fr:mbe-tools/TToolImprovements on filesMerge remote-tracking branch 'origin/master' into alessandro_branchFirst counterexample trace ideaAdded prototype classes for counterexamplesCorrect management of stopped analysis in model-checker. Solved a bug on empty transitions sequencesupdate on build version: build.txtupdate on build version: build.txtHandling ticket 265: editing properties in RDReinforcing test on empty modelsMerge branch 'master' of gitlab.enst.fr:mbe-tools/TToolAdding test on file manipulation from cliModel-checker documntation updateupdate on build version: build.txtUpdate on manisfest and gradle build webclient and serversMerge branch 'alessandro_branch' into 'master'Adding other distribution laws for after clausesNew random variables behavior