Project

General

Profile

Revision 8b34da11

View differences:

README.md
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 

Also available in: Unified diff