Project

General

Profile

Download (230 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/.gitignore @ 9b0432bc

# Date Author Comment
9c4cc944 07/30/2020 04:35 PM Corentin Lauverjat

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md
e7b4ba42 09/22/2017 05:18 PM Christophe Garion

add files in gitignore
264a4844 07/20/2017 10:20 PM Pierre-Loïc Garoche

First working version of algebraic loop resolution. Disabled by default.
53a9b564 03/16/2015 08:30 PM Teme Kahsai

Changed configuration and update the horn_backend.ml

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@418 041b043f-8d7c-46b2-b46e-ef0dd855326e
be3dd43f 07/09/2014 12:35 AM Teme Kahsai

Fixed horn backend to make query for properties. More work needed for cex

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@312 041b043f-8d7c-46b2-b46e-ef0dd855326e