Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.md @ 690196d8

History | View | Annotate | Download (172 Bytes)

1 8b34da11 tkahsai
# LustreC #
2
3
LustreC is a modular compiler of Lustre code into C and Horn Clauses. 
4
5
6
### People ###
7
8 7df1a309 ploc
* Xavier Thirioux
9 8b34da11 tkahsai
* Pierre-Loic Garoche
10 7df1a309 ploc
* Temesghen Kahsai