Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 7c79dd93

Name Size Revision Age Author Comment
  doc fce0c270 over 4 years Pierre-Loïc Garoche automata_spec
  include 40ad675e almost 4 years Pierre-Loïc Garoche A math library for some functions used in Simulink
  share 641493cf over 4 years Eric NOULARD Suppress some commented code
  src 7c79dd93 over 3 years Pierre-Loïc Garoche [EMF] adding original name field in the JSON
.gitignore 72 Bytes 264a4844 almost 4 years Pierre-Loïc Garoche First working version of algebraic loop resolut...
.ocaml-config.sh 335 Bytes e548bb75 about 6 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 4 years Teme Kahsai adjusting travis
AUTHORS 165 Bytes 1da8b334 about 6 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 3.08 KB c80e92d1 over 3 years Pierre-Loïc Garoche Solving a warning with ocaml 4.04 and uppercase...
README.lustrec 991 Bytes 7bfb18df about 6 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 678 Bytes 5573fee2 over 4 years Teme Kahsai new readme
ReleaseProcess.txt 1.68 KB dd74ca16 over 4 years Frederic Boniol Document release process
TODO.org 2.05 KB 0dee2bc1 over 5 years Pierre-Loïc Garoche Refactoring of the horn backend with Reset/Step...
configure.ac 5.38 KB c80e92d1 over 3 years Pierre-Loïc Garoche Solving a warning with ocaml 4.04 and uppercase...
svnignore 103 Bytes 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
7c79dd93 11/14/2017 07:22 PM Pierre-Loïc Garoche

[EMF] adding original name field in the JSON

7eafa0e1 11/10/2017 12:19 AM Pierre-Loïc Garoche

[EMF] Added the reset signal (the every argument) as input to the JSON struct

c80e92d1 11/09/2017 10:58 PM Pierre-Loïc Garoche

Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02

953879f0 11/09/2017 10:45 PM Pierre-Loïc Garoche

Issue with clocked expressions. Now handled throught a local branch, ie. a single action block in Simulink

103f6f60 11/09/2017 10:45 PM Pierre-Loïc Garoche

Missing last fprintf @. in the lustre output

6b0376c9 10/06/2017 11:06 AM Pierre-Loïc Garoche

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

c4fb63af 10/06/2017 11:06 AM Pierre-Loïc Garoche

solved bug 56: missing last node in generated lusi

38ae7765 10/06/2017 10:10 AM Pierre-Loïc Garoche

no comment

68601cf5 09/23/2017 10:26 AM Xavier Thirioux

bug correction: each var_decl must be unique and not shared as a global var

c5d45c13 09/22/2017 05:43 PM Pierre-Loïc Garoche

[lustresf]: tuple of false values for initial state

View all revisions | View revisions

Also available in: Atom