Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Blame Permalink
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
README.md 678 B

Current Status: Build Status

Stories in Ready Throughput Graph

LustreC

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

Build

> autoconf
> ./configure
> make

Usage

> ./bin/lustrec -help

People

  • Pierre-Loic Garoche (ONERA)
  • Xavier Thirioux (IRIT)
  • Temesghen Kahsai (NASA Ames / CMU)