Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ 8b34da11

History | View | Annotate | Download (151 Bytes)

1
# LustreC #
2

    
3
LustreC is a modular compiler of Lustre code into C and Horn Clauses. 
4

    
5

    
6
### People ###
7

    
8
* Pierre-Loic Garoche
9
* Temesghen Kahsai