Project

General

Profile

Download (172 Bytes) Statistics
| Branch: | Tag: | Revision:
1 56d3f3e1 tkahsai
# LustreC #
2
3
LustreC is a modular compiler of Lustre code into C and Horn Clauses. 
4
5
6
### People ###
7
8 f8b3de19 ploc
* Xavier Thirioux
9 56d3f3e1 tkahsai
* Pierre-Loic Garoche
10 f8b3de19 ploc
* Temesghen Kahsai