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}}
Label priority
UPPAAL Pragma fixes
!21
· created
Nov 17, 2017
by
Letitia Li
Merged
updated
Nov 17, 2017
Issue #99: Delete on selected components sometimes fails
!20
· created
Nov 17, 2017
by
Fabien Tessier
GUI
Merged
updated
Nov 17, 2017
Quick UPPAAL Fix
!19
· created
Nov 17, 2017
by
Letitia Li
Merged
updated
Nov 17, 2017
Feedback for Safety Pragma Errors
!18
· created
Nov 16, 2017
by
Letitia Li
Merged
updated
Nov 16, 2017
Fixed UPPAAL syntax checking
!17
· created
Nov 15, 2017
by
Letitia Li
Merged
updated
Nov 16, 2017
fixed missing file deployinfo_ram.h
!16
· created
Nov 15, 2017
by
Fabien Tessier
AVATAR
Merged
updated
Nov 15, 2017
Fix remove selected components
!15
· created
Nov 15, 2017
by
Fabien Tessier
GUI
Merged
updated
Nov 15, 2017
fixed missing file deployinfo_ram.h
!14
· created
Nov 14, 2017
by
Daniela Genius
Closed
updated
Nov 14, 2017
Finished TML2Avatar Translation
!13
· created
Nov 13, 2017
by
Letitia Li
AVATAR
DIPLODOCUS
Merged
updated
Nov 13, 2017
Fix right click when several components are selected
!12
· created
Nov 10, 2017
by
Fabien Tessier
GUI
Merged
updated
Nov 10, 2017
Fixing bug fix for enabling uppaal
!11
· created
Nov 02, 2017
by
Letitia Li
Merged
updated
Nov 02, 2017
DSE and Proverif panels
!10
· created
Oct 31, 2017
by
Letitia Li
Merged
updated
Nov 02, 2017
Issue #93: Enable the possibility to move several selected components
!9
· created
Oct 26, 2017
by
Fabien Tessier
Merged
updated
Oct 26, 2017
Fix issues
!8
· created
Oct 25, 2017
by
Fabien Tessier
Merged
updated
Oct 25, 2017
Add Performance Pragma help popup
!7
· created
Oct 12, 2017
by
Letitia Li
Merged
updated
Oct 12, 2017
Rover model fix
!6
· created
Oct 09, 2017
by
Letitia Li
Merged
updated
Oct 10, 2017
Refactoring for tab name
!5
· created
Oct 09, 2017
by
Fabien Tessier
DIPLODOCUS
GUI
Merged
updated
Oct 10, 2017
Name refactoring for DIPLODOCUS
!4
· created
Oct 06, 2017
by
Fabien Tessier
DIPLODOCUS
GUI
Merged
updated
Oct 06, 2017
Ttool labsoc
!3
· created
Oct 05, 2017
by
Letitia Li
Merged
updated
Oct 05, 2017
added chmod on ttool.exe for macos and linux
!2
· created
Oct 05, 2017
by
Florian Lugou
Merged
updated
Oct 05, 2017
Prev
1
…
21
22
23
24
25
26
Next