Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
mbe-tools
TTool
Issues
Open
12
Closed
56
All
68
New issue
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}}
Created date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Ensure that a key is not mapped more than one time in a mem with the same identifier
#205
· created
Jun 12, 2019
by
Ludovic Apvrille
AQUAS
DIPLODOCUS
Formal verification
0
updated
Jan 14, 2021
Missing information on EXECI / EXECC transactions in SD generated from Diplodocus simulations
#184
· created
Feb 26, 2019
by
Ludovic Apvrille
AQUAS
DIPLODOCUS
Simulator
0
updated
Feb 26, 2019
Help for HW node parameters in DIPLODOCUS
#183
· created
Feb 25, 2019
by
Ludovic Apvrille
AQUAS
DIPLODOCUS
3
updated
Jan 20, 2021
Bug in Diplodocus simulator when displaying simulation traces
#166
· created
Nov 14, 2018
by
Ludovic Apvrille
AQUAS
DIPLODOCUS
GUI
Simulator
0
updated
Nov 14, 2018
Confidentiality generation for an origin fork channel fails
#147
· created
Jul 18, 2018
by
Ludovic Apvrille
AQUAS
DIPLODOCUS
SysML-Sec
3
updated
Feb 08, 2021
Adding a deadline to requests
#129
· created
May 17, 2018
by
Ludovic Apvrille
AQUAS
DIPLODOCUS
0
updated
May 17, 2018
Improvements on DIPLODOCUS Communication Patterns
#128
· created
May 16, 2018
by
Ludovic Apvrille
AQUAS
DIPLODOCUS
GUI
0
updated
May 16, 2018
Error in the generated VCD (DIPLODOCUS simulator)
#123
· created
Apr 19, 2018
by
Ludovic Apvrille
AQUAS
Simulator
2
updated
Aug 13, 2020
Remove Power Management Analysis functionality
#88
· created
Oct 19, 2017
by
Dominique Blouin
AQUAS
GUI
0
updated
Dec 13, 2017
Show a reachability scenario when a state is reachable
#84
· created
Oct 17, 2017
by
Ludovic Apvrille
AQUAS
AVATAR
DIPLODOCUS
1
updated
Jan 19, 2021
Allow to be able to disable action nodes in an activity diagram
#69
· created
Sep 13, 2017
by
Dominique Blouin
AQUAS
DIPLODOCUS
To be re-tested
2
updated
Aug 23, 2018
Handling loops and alternatives in Sequence Diagrams
#51
· created
Jun 09, 2017
by
Ludovic Apvrille
AQUAS
AVATAR
SysML-Sec
0
updated
Apr 16, 2018