Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 55a8633c

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

Latest revisions

# Date Author Comment
55a8633c 11/15/2017 12:32 AM Pierre-Loïc Garoche

[lustret] Improved mutation with json traceability

fd19d190 11/15/2017 12:31 AM Pierre-Loïc Garoche

New function in Location to access to line number

04257b1e 11/15/2017 12:31 AM Pierre-Loïc Garoche

Moved stage1 in separate file: it is shared among binaries

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

View all revisions | View revisions

Also available in: Atom