History | View | Annotate | Download (524 Bytes)
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
Providing means to have specification as dynamic checks.[bug] seems to crash with EMF backend