Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
  tools 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
Makefile-lustresf.unused 758 Bytes 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
algebraicLoop.ml 14.5 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
compiler_stages.ml 13.4 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
dune.in 859 Bytes 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
expand.ml 11 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
inliner.ml 20.1 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
lustrec.odocl 1.12 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
main_lustre_compiler.ml 5.25 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
main_lustre_testgen.ml 7.47 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
main_lustre_verifier.ml 5.81 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
mmap.ml 10.7 KB 40d33d55 almost 5 years Xavier Thirioux first version (doesn't even compile) of mutatio...
modules.ml 12.5 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
modules.mli 958 Bytes 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
mutation.ml 27 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
optimize_machine.ml 32.1 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
optimize_prog.ml 4.59 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
pathConditions.ml 12 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
pluginList.ml.in 110 Bytes 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
plugins.ml 1.73 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
sortProg.ml 2.33 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
spec.ml 532 Bytes 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
verifierList.ml.in 97 Bytes 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...
verifiers.ml 1.26 KB 9c4cc944 over 1 year Corentin Lauverjat Transition to dune build system Improvement of ...

Latest revisions

# 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

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

04a188ec 11/21/2019 03:45 AM Pierre-Loïc Garoche

- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

View revisions

Also available in: Atom