Skip to content
GitLab
Explore
Sign in
Open
2
Merged
374
Closed
125
All
501
Recent searches
Loading
{{ 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}}
Created date
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
Add validate button to timeline diagram
!422
· created
Aug 05, 2021
by
Le Van Truong
Closed
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 #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
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
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
Adding new displaying option for timeline diagram (with and without reduce idle time) and Moving tests from ui.tml to tmltranslator
!411
· created
Apr 23, 2021
by
Le Van Truong
Merged
updated
Apr 27, 2021
Issue #306: add clock divider value to FPGA
!410
· created
Apr 12, 2021
by
Le Van Truong
Merged
Approved
updated
Apr 13, 2021
Lip6
!409
· created
Mar 18, 2021
by
Daniela Genius
Merged
updated
Mar 24, 2021
Fix Multi-core Cross Scheduling And Modify The Tests
!408
· created
Mar 17, 2021
by
Le Van Truong
Merged
updated
Mar 18, 2021
Lip6
!407
· created
Mar 17, 2021
by
Daniela Genius
Closed
updated
Mar 18, 2021
Prev
1
2
3
4
5
6
7
8
9
…
26
Next