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.016Jun15141312111098765432131May30292827262524232221201918171615141312111098765432130Apr292827262524232221201918171615141312111098765432131Mar30292827262524232221201918171615141312111098765432129Feb28272625242019181713121110987654331Jan30292827262524232221201918171615141312111098530Dec29282726252423222120191817161514131211109Added CLI option for counterexample traces generationMerge branch 'master' of gitlab.enst.fr:mbe-tools/TToolAdding execRaw for passing string with spaces to plugins via command lineAdded not variant, Expression Solvers generated inside the AvatarSpecification classCommented search pruning based on distance as it depends on concurrencyupdate on build version: build.txtadd html and cssUncommented lines for debugSolved infinite looping possibilityupdate on build version: build.txtMerge branch 'master' of gitlab.enst.fr:mbe-tools/TToolMerge branch 'alessandro_branch' into 'master'Merge branch 'master' of gitlab.enst.fr:mbe-tools/TToolUpdate on TTool action: select panel by nameupdate 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 idea
Loading