Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • cecb9bf37ac4b8003eac75bef6156830e6b2d857
  • 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
  • AIProperties
  • AMULETPatches
21 results
Created with Raphaël 2.2.024Apr2322212019181716151413121110987432131Mar3029282726252423222120191714119876543128Feb272625242120181421Jan1712Dec6543229Nov2827262522212019181514131265431Oct30282117139226Sep28Aug129Jul2623221918171615141312111098765432130Jun2827262524232221201918171615141312111098765432131May30292827262524232221201918updating duplicates in progresstry to make StdParser runadded test improved with automationadding tests for new features of expressions (optimize/toLightString)fix bug in expressions optimizationlittle cleaningMost test passed, blocked on ui.graphlatencytainting.GraphLatencyAnalysisTainold guards removed (from usage)Before removing duplicatesfix two small bugssave. TODOs addedALL TRANSITIONS'GUARDS HANDLED (DUPLICTED HANDLING). Are there other guards?transitions's setfGuard traced, handled. multiple guard-- todo insertedbegin to trace transitions's setfGuard. untill AttackTreePanelTranslatortransitions's guetfGuarded traced and handledAvatarStateMachineElement updatedcontinue integration while maintaining duplicate. AvatarStateMachine doneone test debuggednow: have to debug resetMerge branch 'guard_refactoring_debug' into guard_refactoring_04_2025bug1 solved: parser requires constants from lexer (??)fix bug in expression leave clone()synchronisationupdating AvatarModelCheckerimplement reseting of expressions and begin to integrateintegrate AvatarLibraryFunction. put // GUARD-- TODOs for future obsolete guard writingsbegin to track the getfguardAVATAR2ProVerif no more fGuardsAVATAR2ProVerif integration done. One test passedbefore AVATAR2ProVerif integrationimplement getSource in AvatarIBSAttributesfix buggy masks in IBSStdExpressionsadd tests for new guards... to improvejust beginning substitutionAvatarBlock prepared. One question for forceIfIncorrectExpressionAvatarStateMachine preparedAvatarModelChecker preparedAvatarSpecification & AvatarTransition updatedAvatarLibraryFunction updatedAvatarDesignPanelTranslator updated