OpenAADL osate2-ocarina issues

OpenAADL / osate2-ocarina

Ocarina Plugin for OSATE2

Eclipse Public License 2.0

7 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update help page

#24 dzid26 closed 4 years ago
1
Installation Failed : make: *** [all-recursive] Error 1

#22 nikhilakn closed 4 years ago
3
"ARINC653 Property missing" using Ocarina Command

#23 Zengwenlin closed 4 years ago
1
osate2-ocarina

#21 Zengwenlin closed 4 years ago
1
Wrong output directory evaluation

#20 jjhugues opened 4 years ago
0
Remove pok_properties.aadl

#19 jjhugues closed 3 years ago
0
how to install ocarina in osate?

#18 Blissqiu closed 4 years ago
3
Remove Cheddar_Properties property set

#17 jjhugues closed 5 years ago
0
Disable EMV2

#16 yoogx closed 4 years ago
0
Code generation problem with OSATE and Ocarina plugin

#15 phamhoanganhbk closed 5 years ago
1
Code generation with Ocarina crashes when using the Deployment property set

#14 paolo-crisafulli closed 6 years ago
8
Cleaned up menus and toolbars

#13 joeseibel closed 6 years ago
0
Removed section of doc with reference to a broken link

#12 2000GYI closed 7 years ago
0
Core issue845

#11 joeseibel closed 7 years ago
0
REAL implementation crashes in eclipse

#10 juli1 closed 9 years ago
1
REAL Syntax Highlighting not Working in AADL Editor

#9 philip-alldredge closed 11 years ago
1
Errors on org.osate.ocarina.real.xtext - Couldn't resovle reference to JvmIdentifiableElements

#8 Stachelbeck closed 11 years ago
5
Menu items not working

#7 Stachelbeck closed 11 years ago
4
Report a warning instead of an error when instantiating incomplete features

#6 philip-alldredge closed 12 years ago
8
Ocarina reports incorrect theorem result with nested theorems with -real_continue_eval

#5 philip-alldredge closed 12 years ago
9
Passing REAL files as parameters

#4 yoogx closed 12 years ago
4
Automatically pass files in workspace

#3 yoogx closed 12 years ago
2
Path preferences are not saved between workspaces

#2 philip-alldredge closed 12 years ago
1
Console does not appear automatically.

#1 philip-alldredge closed 12 years ago
5