Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
ac85d4f2
Commit
ac85d4f2
authored
Jul 02, 2016
by
Bechir Zalila
Browse files
* (ocarina-backends.ad?): Register LNT backend
parent
9792a85c
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends.adb
View file @
ac85d4f2
...
...
@@ -68,6 +68,7 @@ with Ocarina.Backends.XML_Values;
with
Ocarina
.
Backends
.
XML_Tree
.
Nutils
;
with
Ocarina
.
Backends
.
BoundT
;
with
Ocarina
.
Backends
.
REAL
;
with
Ocarina
.
Backends
.
LNT
;
with
Ocarina
.
Backends
.
Replication_Expander
;
with
Ocarina
.
Backends
.
Xtratum_Conf
;
with
Ocarina
.
Backends
.
ASN1_Tree
.
Nodes
;
...
...
@@ -199,6 +200,7 @@ package body Ocarina.Backends is
REAL
.
Init
;
ASN1
.
Init
;
Cheddar
.
Init
;
LNT
.
Init
;
Replication_Expander
.
Init
;
Connection_Matrix
.
Init
;
Functions_Matrix
.
Init
;
...
...
@@ -286,6 +288,7 @@ package body Ocarina.Backends is
XML_Values
.
Reset
;
BoundT
.
Reset
;
REAL
.
Reset
;
LNT
.
Reset
;
ASN1_Tree
.
Nodes
.
Entries
.
Free
;
ASN1_Tree
.
Nodes
.
Entries
.
Init
;
...
...
src/backends/ocarina-backends.ads
View file @
ac85d4f2
...
...
@@ -60,6 +60,7 @@ package Ocarina.Backends is
Vxworks653_XML
,
Connection_Matrix_Analysis
,
Functions_Matrix_Analysis
,
Lnt_S
,
MAST_Scheduling
,
Petri_Nets
,
PolyORB_HI_Ada
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment