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.012Mar111098765432128Feb272625242322212019181615141311109873227Jan2524232221201918171615141312111098765432131Dec302928272625242322212019181716151413121110975432130Nov2827262524232221201817161312111098765432131Oct302928272625242322201918171615141312119876432130Sep2928272625232221201918171615141312111098765432131Aug30292421201918171615141312111098765432131Jul302928272625242322211913118765430Jun29282726252423222120141312111098765432131May30292827262524232221201918171615141312111098765432130Apr292827262524232221201918171615141312111098765432131Mar3029282726252423222120191817151411109876543update on build version: build.txtupdate on build version: build.txtA saved version that has been successfully testedupdate on build version: build.txtmade some abstractionsadd javadoc to IBSolverAPIupdate on build version: build.txta little bug in AvatarExpressionSolver\n Demo version: uncomment AvatarExpressionTest line 307 (AvatarExpression solver is instrumented to produce some outputs while running the test)one less bug...work in progressmore javadocMerge remote-tracking branch 'origin' into parser_03_2023some more javadoc comments.update on build version: build.txtadding javadoc for package intboolsolver (détail)adding javadoc for package intboolsolverupdate on build version: build.txtupdate on build version: build.txtMerge remote-tracking branch 'origin' into parser_03_2023First version that runs and passes testssuccess of First compilation for closed formulaupdate on build version: build.txtRestructure suit...Restructuring in progress 2Restructuring in progressupdate on build version: build.txtinitial commit. work in progress...update on build version: build.txtupdate on build version: build.txtupdate on build version: build.txtAdding drawing with CLI of tmapAdded privacy for buses in tarchi specupdate on build version: build.txt Adding drawing of bridgesImproving loading and drawing of TMAP from textual specAdding sec mapping generation in mappingAdding loading of security configuration from TML specAdded conf/auth channels to TML spec, and back to laded specupdate on build version: build.txtupdate on build version: build.txt
Loading