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}}
Updated date
Diplodocus gui
!35
· created
Jan 18, 2018
by
Andrea Enrici
DIPLODOCUS
GUI
Merged
updated
Jan 19, 2018
Labsoc sec
!34
· created
Jan 03, 2018
by
Letitia Li
Merged
updated
Jan 04, 2018
Remove useless import
!33
· created
Dec 21, 2017
by
Fabien Tessier
AVATAR
DIPLODOCUS
Merged
updated
Dec 21, 2017
Move directory creation from FileUtils to SpecConfigTTool
!32
· created
Dec 21, 2017
by
Fabien Tessier
AVATAR
DIPLODOCUS
Merged
updated
Dec 21, 2017
Fix some bugs
!31
· created
Dec 21, 2017
by
Fabien Tessier
AVATAR
DIPLODOCUS
GUI
Merged
updated
Dec 21, 2017
Resolve "Implement Project Management in TTool"
!29
· created
Dec 21, 2017
by
Fabien Tessier
AVATAR
DIPLODOCUS
GUI
Merged
updated
Dec 21, 2017
Merge project manager into master
!30
· created
Dec 21, 2017
by
Fabien Tessier
AVATAR
DIPLODOCUS
GUI
Merged
updated
Dec 21, 2017
added a library to testing dependencies in IntelliJ project conf
!28
· created
Dec 15, 2017
by
Florian Lugou
Merged
updated
Dec 18, 2017
Labsoc sec
!27
· created
Dec 14, 2017
by
Letitia Li
Merged
updated
Dec 15, 2017
Simulator trace fix
!26
· created
Nov 24, 2017
by
Letitia Li
Merged
updated
Nov 24, 2017
added library to test dependencies and fixed bug in path for test classes
!25
· created
Nov 21, 2017
by
Florian Lugou
Merged
updated
Nov 21, 2017
Resolve "C code generated for ZigBee tutorial"
!24
· created
Nov 21, 2017
by
Dominique Blouin
Merged
updated
Nov 21, 2017
Updated safety unit tests
!23
· created
Nov 20, 2017
by
Letitia Li
Merged
updated
Nov 20, 2017
Pragma syntax errors are now warnings and new UPPAAL help popup
!22
· created
Nov 19, 2017
by
Letitia Li
Merged
updated
Nov 20, 2017
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
Fix remove selected components
!15
· created
Nov 15, 2017
by
Fabien Tessier
GUI
Merged
updated
Nov 15, 2017
Prev
1
…
14
15
16
17
18
19
Next