Commits · master · LustreC / Lustrec - public version

Jun 17, 2021
- reformatting · ca7ff3f7
  BRUN Lelio authored 3 years ago
  
  ca7ff3f7
Mar 30, 2018
- - Makefile: solved dependency problem when compiling include lusi · 8446bf03
  Pierre Loic Garoche authored 7 years ago
```
- Renamed type declarations as lustre_types and machine_code_types
```
  8446bf03
Jun 22, 2017
- Providing means to have specification as dynamic checks. · e70326c9
  Pierre Loic Garoche authored 7 years ago
```
[bug] seems to crash with EMF backend
```
  e70326c9