Skip to content
GitLab
Explore
Sign in
Open
3
Merged
371
Closed
122
All
496
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Label priority
Improving W-Sec tutorial
!435
· created
Jul 29, 2022
by
Bastien Sultan
Merged
Approved
updated
Jul 29, 2022
Adding tutorial on W-Sec
!433
· created
Jul 27, 2022
by
Bastien Sultan
Merged
Approved
updated
Jul 27, 2022
Parsing et Exceptions
!432
· created
Jul 13, 2022
by
Leon Frenot
Merged
Approved
updated
Jul 19, 2022
Adding actions for avatar spec mutation, printing, drawing
!431
· created
Jul 08, 2022
by
Leon Frenot
mutation
Merged
updated
Jul 08, 2022
Mutation
!430
· created
Jul 05, 2022
by
Leon Frenot
Merged
Approved
updated
Jul 07, 2022
add blank between braces and else
!428
· created
Jun 23, 2022
by
Jawher Jerray
Merged
updated
Jun 23, 2022
add save-status-in-file command
!427
· created
Jun 23, 2022
by
Jawher Jerray
Merged
Approved
updated
Jun 23, 2022
Definitions.h
!426
· created
Mar 11, 2022
by
Ludovic Apvrille
Merged
Approved
updated
Mar 11, 2022
Bug resolution on String parsing in avatartranslator/AvatarGuard.java
!425
· created
Oct 22, 2021
by
Bastien Sultan
AVATAR
Merged
Approved
updated
Oct 22, 2021
restore original state when uncheck time duration box
!424
· created
Aug 09, 2021
by
Le Van Truong
Merged
updated
Aug 09, 2021
add validate button to timeline diagram
!423
· created
Aug 09, 2021
by
Le Van Truong
Merged
Approved
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
updated
Jul 15, 2021
Issue #327: CPU issues with penalty
!420
· created
Jul 01, 2021
by
Le Van Truong
Merged
Approved
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
updated
Jun 23, 2021
Bug resolution on TML to UPPAAL translation
!418
· created
Jun 21, 2021
by
Bastien Sultan
Merged
updated
Jun 21, 2021
Issue #324 and #325: detect invalid parameters and remove redundant information
!416
· created
Jun 17, 2021
by
Le Van Truong
Merged
updated
Jun 17, 2021
Issue #317: Upgrade TTool help
!415
· created
Jun 16, 2021
by
Le Van Truong
Merged
updated
Jun 16, 2021
Issue #317 - Integrated helpserver and helpcommand
!414
· created
Jun 07, 2021
by
Le Van Truong
Merged
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
updated
Apr 30, 2021
Revert "Merge branch 'revert-883077ef' into 'master'"
!412
· created
Apr 27, 2021
by
Ludovic Apvrille
Merged
updated
Apr 27, 2021
Prev
1
2
3
4
5
6
7
8
…
19
Next