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.08Apr765432131Mar30292827262524232221201918171615141312111098765432129Feb28272625242019181713121110987654331Jan30292827262524232221201918171615141312111098530Dec29282726252423222120191817161514131211109865432130Nov292827262524232221201918171615141312111098765432131Oct3029282726252423222120191817161514131211109update on build version: build.txtbackup taintAdded alt conditions to stop liveness check when the liveness is verified true for all the pending pathsupdate on build version: build.txtmodify and add general commands test for TToolFrom String to StringBuilderSmall fix in avatar model-checkerupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txttainting backupNow multiple liveness and reachability analyses are possibleLiveness check on the fly for finite state reachability graphsupdate on build version: build.txtLiveness update: liveness check extended to also StateMachineElements and not only StateElements. It supports only one check per time by nowFirst implementation of liveness check on one state for finite-states reachability graphsupdate on build version: build.txtbackup taintingupdate on build version: build.txtupdate on build version: build.txtFix in time limit checkbox stateupdate on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtseparated AMS and non-AMS channelsImplementation of a time limited graph generationAdded a draft implementation of a time limited graph generationupdate on build version: build.txtfew fixes for race conditionsFix in number of displayed deadlocks when limiting the number of statesBUG: solved in computeAllInternalStatesFrom due to a possible race condition between threads that led to a wrong RGconnectors for AMS componentsAdded code to limit the number of states in reachability graph creationupdate on build version: build.txtFirst draft of documentation for the Avatar model-checkerupdate on build version: build.txtMerge branch 'master1' into DataTaintTestupdate on build version: build.txtadd progress barCompareLatencyD…CompareLatencyDetailedAnlysissecuring version before applying CP automation