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
18
Closed
91
All
109
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
Model-checking from zigbee application suprisingly long
#359
· created
Mar 24, 2022
by
Ludovic Apvrille
DIPLODOCUS
0
updated
Mar 24, 2022
More than three next in choices (diplodocus AD, analysis AD)
#347
· created
Nov 16, 2021
by
Ludovic Apvrille
DIPLODOCUS
0
updated
Nov 19, 2021
"__" Should be a reserved pragma in identifier
#294
· created
Feb 25, 2021
by
Ludovic Apvrille
AVATAR
DIPLODOCUS
1
updated
Feb 25, 2021
Adding pragma for application period
#226
· created
Oct 16, 2019
by
Emna Gharbi
DIPLODOCUS
2
updated
Feb 28, 2020
NoC: allow to enter the size of one flit
#206
· created
Jul 05, 2019
by
Ludovic Apvrille
DIPLODOCUS
0
updated
Jul 05, 2019
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
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
Forbidden identifiers
#78
· created
Oct 09, 2017
by
Ludovic Apvrille
AVATAR
DIPLODOCUS
GUI
1
updated
Oct 18, 2019
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
Model refactoring
#52
· created
Jun 14, 2017
by
Ludovic Apvrille
AVATAR
DIPLODOCUS
GUI
0
updated
Jan 13, 2018
Adding Fork/Join for DIPLODOCUS functional models
#15
· created
Dec 16, 2016
by
Ludovic Apvrille
DIPLODOCUS
3
updated
Jul 16, 2020
Enhance behaviour of firewall
#8
· created
Nov 02, 2016
by
Ludovic Apvrille
DIPLODOCUS
3
updated
Feb 20, 2019