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.027May262524232221201918171615141312111098765432130Apr292827262524232221201918171615141312111098765432131Mar30292827262524232221201918171615141312111098765432129Feb28272625242019181713121110987654331Jan30292827262524232221201918171615141312111098530Dec29282726252423222120191817161514131211109865432130Nov29282726252423222120191817161514Limited state explosion during concurrent pragma verification. To a better predictable behaviour in the model-checker. To correct concurrent pragma results in normal modeupdatesupdatesupdate on build version: build.txtMore precise and correct behaviour in pragmas verification; Added better management of Expression Solvers with statesupdate on build version: build.txtEmpty transitions not removed in verification runsAdded first solution for concurrency in leadsto pragmas. More validation is neededupdate on build version: build.txtfix sequential diagram displayupdate on build version: build.txtupdate on build version: build.txtSolved compatibility between the verification tool and empty transitionsupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtAdded re-initialization check property in avatar model-checkerupdate on build version: build.txtSolved a bug in leadsto pragmas; First step for re-initialization analysisupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtRemoved unused GridBagConstraintsAdded safety pragma selection in model-checker verification windowupdate on build version: build.txtAdded cli single pragma query for model-checker. Changed cli avatar-rg layout and flags. Solved a bug in the interpreter. Solved a possible null pointer exp in AvatarExpressionAttribute. Added test for single pragma query. Added rg generation during property study.update on build version: build.txtMerge branch 'alessandro_branch' into 'master'Solved repainting bug of safety properties due to trimmed spacesMerge branch 'CompareLatencyDetailedAnlysis' into 'master'update on build version: build.txtupdate on build version: build.txtMerge branch 'model_checker' into alessandro_branchbug on asuumption renaming solved. Ticket #256Fixed warningsmodel_checkermodel_checkerSolving bug on specialisation between actorsMerge branch 'model_checker' into 'master'Model-checker to mergeRevert "Optimized synchronization of signals for better performance"Revert "Better organization of graphic elements in model-checking window"