Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 9b0432bc

Name Size Revision Age Author Comment
  backends 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
  tools 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
Makefile-lustresf.unused 758 Bytes 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
algebraicLoop.ml 14.5 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
compiler_stages.ml 13.6 KB 9b0432bc 9 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
dune.in 859 Bytes 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
expand.ml 11 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
inliner.ml 20.1 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
lustrec.odocl 1.12 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
main_lustre_compiler.ml 5.25 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
main_lustre_testgen.ml 7.47 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
main_lustre_verifier.ml 5.81 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
mmap.ml 10.7 KB 40d33d55 about 4 years Xavier Thirioux first version (doesn't even compile) of mutatio...
modules.ml 12.5 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
modules.mli 958 Bytes 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
mutation.ml 27 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
optimize_machine.ml 32.1 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
optimize_prog.ml 4.59 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
pathConditions.ml 12 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
pluginList.ml.in 110 Bytes 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
plugins.ml 1.73 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
sortProg.ml 2.33 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
spec.ml 532 Bytes 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
verifierList.ml.in 97 Bytes 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
verifiers.ml 1.26 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...

Latest revisions

# Date Author Comment
9b0432bc 08/31/2020 02:56 PM Corentin Lauverjat

Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional Tiny plugin : * -unrolling option has been renamed -duration because from an outside observer it is the length in steps of the abstract simulation...

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

58fd528a 07/09/2020 03:27 PM Pierre-Loïc Garoche

Added some missing locations in tiny plugin

f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

2120af73 01/27/2020 07:00 PM Pierre-Loïc Garoche

[bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)

a0c92fa8 01/27/2020 04:24 PM Pierre-Loïc Garoche

printing nodes + more progress on seal export

8d164031 12/09/2019 04:43 PM Pierre-Loïc Garoche

[MPFR] add more functions and better treatment of print output variables in main.c

4e9ba094 12/09/2019 04:42 PM Pierre-Loïc Garoche

temporary changed in the expression printer

c4521397 12/09/2019 09:53 AM Pierre-Loïc Garoche

preserving types/clocks when possible

f3574a72 11/21/2019 03:49 AM Pierre-Loïc Garoche

Moved some code

View revisions

Also available in: Atom