Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Merge requests
Open
2
Merged
364
Closed
121
All
487
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Parsing et Exceptions
!432
· created
Jul 13, 2022
by
Leon Frenot
Merged
Approved
0
updated
Jul 19, 2022
Adding actions for avatar spec mutation, printing, drawing
!431
· created
Jul 08, 2022
by
Leon Frenot
mutation
Merged
0
updated
Jul 08, 2022
Mutation
!430
· created
Jul 05, 2022
by
Leon Frenot
Merged
Approved
0
updated
Jul 07, 2022
premier commit branche mutation
!429
· created
Jun 23, 2022
by
Leon Frenot
Closed
1
updated
Jun 30, 2022
add blank between braces and else
!428
· created
Jun 23, 2022
by
Jawher Jerray
Merged
0
updated
Jun 23, 2022
add save-status-in-file command
!427
· created
Jun 23, 2022
by
Jawher Jerray
Merged
Approved
0
updated
Jun 23, 2022
Definitions.h
!426
· created
Mar 11, 2022
by
Ludovic Apvrille
Merged
Approved
0
updated
Mar 11, 2022
Bug resolution on String parsing in avatartranslator/AvatarGuard.java
!425
· created
Oct 22, 2021
by
Bastien Sultan
AVATAR
Merged
Approved
0
updated
Oct 22, 2021
restore original state when uncheck time duration box
!424
· created
Aug 09, 2021
by
Le Van Truong
Merged
0
updated
Aug 09, 2021
add validate button to timeline diagram
!423
· created
Aug 09, 2021
by
Le Van Truong
Merged
Approved
0
updated
Aug 09, 2021
Add validate button to timeline diagram
!422
· created
Aug 05, 2021
by
Le Van Truong
Closed
0
updated
Aug 09, 2021
Issue #313: Add option to display the trace in a selected duration
!421
· created
Jul 02, 2021
by
Le Van Truong
Merged
0
updated
Jul 15, 2021
Issue #327: CPU issues with penalty
!420
· created
Jul 01, 2021
by
Le Van Truong
Merged
Approved
0
updated
Jul 01, 2021
Issue #322: Bus Slicetime has wrong configuration, and remove terminated status and blank lines when using -help, -helpserver, -helpcomamnd
!419
· created
Jun 21, 2021
by
Le Van Truong
Merged
Approved
0
updated
Jun 23, 2021
Bug resolution on TML to UPPAAL translation
!418
· created
Jun 21, 2021
by
Bastien Sultan
Merged
0
updated
Jun 21, 2021
Issue #322: Bus Slicetime has wrong configuration, and remove terminated status and blank lines when using -help, -helpserver, -helpcomamnd
!417
· created
Jun 18, 2021
by
Le Van Truong
Closed
0
updated
Jun 18, 2021
Issue #324 and #325: detect invalid parameters and remove redundant information
!416
· created
Jun 17, 2021
by
Le Van Truong
Merged
0
updated
Jun 17, 2021
Issue #317: Upgrade TTool help
!415
· created
Jun 16, 2021
by
Le Van Truong
Merged
0
updated
Jun 16, 2021
Issue #317 - Integrated helpserver and helpcommand
!414
· created
Jun 07, 2021
by
Le Van Truong
Merged
0
updated
Jun 08, 2021
Adding new displaying option for timeline diagram (with and without reduce idle time) and Moving tests from ui.tml to tmltranslator
!413
· created
Apr 29, 2021
by
Le Van Truong
Merged
0
updated
Apr 30, 2021
Prev
1
2
3
4
5
6
7
8
…
25
Next