Commit a2a41006 authored by yoogx's avatar yoogx

Merge branch 'master' of https://github.com/OpenAADL/ocarina

parents 57f39581 5dbaade6
......@@ -249,7 +249,7 @@ package Ocarina.Backends.Properties is
type Supported_Concurrency_Control_Protocol is -- XXX
(None_Specified, Immediate_Priority_Ceiling_Protocol,
Priority_Inheritance, Priority_Ceiling);
Priority_Inheritance, Priority_Ceiling, Protected_Access);
type Supported_IEEE754_Precision is
(Precision_Simple, Precision_Double, Precision_None);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment