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.017May1615141312111098765432130Apr292827262524232221201918171615141312111098765432131Mar3029282726252423222120171615141312111098765432128Feb272625242322212019181615141311109873227Jan2524232221201918171615141312111098765432131Dec302928272625242322212019181716151413121110975432130Nov2827262524232221201817161312111098765432131Oct302928272625242322201918171615141312119876432130Sep2928272625232221201918171615141312111098765432131Aug30292421201918171615141312111098765432131Jul302928272625242322211913118765430Jun29282726252423Update on TML loading and drawingAdding nonce specMerge branch 'add-compare-two-buffers-function' into 'master'Add a function to compare two buffers with a regex replace optionadd-compare-two…add-compare-two-buffers-functionMaJ dockerfileRenaming on testResolving bug on testMake sec test only if proveri is in the PATHAdding sources files for new sec. testAdding security test from diplodocusupdate on build version: build.txtAdding picozebre iconResolving bug on creating main windowResolving bug on testsAdding pico and zebra to TToolAdding pico and zebra to TToolAdding pico and zebra to TToolAdding pico and zebra to TToolAdding pico and zebra to TToolAdding pico and zebra to TToolAdding pico and zebra to TToolAdding multichat AIFirst step toward multi-chat for AIupdate on build version: build.txtMerge branch 'security-generation-mapping-new-tasks' into 'master'update on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtUpdate AliceAndBobHW modelsecurity-genera…security-generation-mapping-new-tasksAdd confidentiality pragma only for channels with the option check confidentialityMap automatically nonce channels in memories and busesfix conflictsUpdate diplodocus tutorial + Add new figuresAdding support for requirements from chatGPT answerupdate on build version: build.txtupdate on build version: build.txtHandling security annotations in saved svg and pdf, for TML ADExtra debugExtra debugExtra debug