Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
TTool
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
mbe-tools
TTool
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
9e3d11d3307d06ba75eef7bc3fb0c962fa4827ca
Select Git revision
Branches
20
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
Begin with the selected commit
Created with Raphaël 2.2.0
14
Jan
13
12
11
8
7
6
3
11
Dec
4
2
1
25
Nov
24
23
20
17
6
5
4
3
30
Oct
29
28
22
21
20
16
13
12
9
8
7
6
5
2
1
30
Sep
29
28
25
23
22
17
28
Aug
27
25
24
2
Jul
28
Jun
19
15
12
8
5
4
3
1
28
May
26
11
7
4
30
Apr
27
22
21
20
19
16
15
14
13
2
1
31
Mar
30
29
28
27
26
25
24
23
22
20
19
17
16
13
12
11
6
5
27
Feb
26
25
24
23
22
20
19
18
17
16
13
12
11
10
6
5
4
28
Jan
27
22
21
19
16
15
14
13
9
8
7
6
5
23
Dec
19
18
11
10
9
8
7
5
4
3
2
27
Nov
25
21
19
18
17
13
12
10
7
6
5
4
3
30
Oct
28
24
20
15
6
30
Sep
24
22
19
17
16
5
3
2
1
29
Aug
28
27
26
25
22
21
20
19
14
13
12
11
25
Jul
22
16
15
2
1
30
Jun
27
26
25
19
17
16
13
12
10
5
30
May
15
6
uppaal backtracing
Fixed Uppaal pragma not being added
update on build version: builder.txt
Removing version 3 of TML simulator
assumptiondrones
UpdateOnERTS2016Model
erts2016assumptions
erts2016assumptions
cpu dialog encryption
merged
merged
merged
merged
merged
Rejecting commit by Daniela
merged
Checking confidentiality
check mapping on diff elements
Resolving bug on UPPAAL window in DIPLO
Update on TTool demo
adding modeling: TLS
fixed Makefile clean
Update on psi chart panel
Update on psi chart panel
Update on psi chart panel
Update on TTool makefile
Adding the possibility to set a a crypto or a non crypto block from a right click
update on build version: builder.txt
UPPAAL translation UI
Update on Makefile
Update on multiple instances of TTool
image update
help menu
Checked States are unoptimizable
revert
States are no longer optimizable
UPPAAL pragma ui changes
UPPAAL Pragma support
UPPAAL translation added
fixed empty guards and insert in transitions
Loading