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
Repository
9792a85cd38ad62b8ead08581b0d705b6cf4bde1
Switch branch/tag
ocarina
src
backends
ocarina-backends-lnt-components.ads
Find file
Blame
History
Permalink
* (ocarina-backends-lnt*): New Backend: LNT that allows code generation
· 9792a85c
Bechir Zalila
authored
Jul 02, 2016
from AADL models to LNT in order to perform formal verification on AADL models. (by Hana Mkaouar)
9792a85c
