Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 3769b712

Name Size Revision Age Author Comment
  backends 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
  tools 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
.merlin 3.54 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
algebraicLoop.ml 14.5 KB 589ccf9f about 1 year Corentin Lauverjat Passage à dune
compiler_stages.ml 13.4 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
dune 951 Bytes 589ccf9f about 1 year Corentin Lauverjat Passage à dune
expand.ml 11 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
inliner.ml 20.1 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
lustrec.odocl 1.12 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
main_lustre_compiler.ml 5.25 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
main_lustre_testgen.ml 7.47 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
main_lustre_verifier.ml 5.81 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
mmap.ml 10.7 KB 40d33d55 over 4 years Xavier Thirioux first version (doesn't even compile) of mutatio...
modules.ml 12.5 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
modules.mli 958 Bytes 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
mutation.ml 27 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
optimize_machine.ml 32.1 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
optimize_prog.ml 4.59 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
pathConditions.ml 12 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
pluginList.ml.in 85 Bytes 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
plugins.ml 1.73 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
sortProg.ml 2.33 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
spec.ml 532 Bytes 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
verifierList.ml.in 72 Bytes 3769b712 about 1 year Corentin Lauverjat Passage à dune v2
verifiers.ml 1.26 KB 3769b712 about 1 year Corentin Lauverjat Passage à dune v2

Latest revisions

# Date Author Comment
3769b712 07/23/2020 03:12 PM Corentin Lauverjat

Passage à dune v2

589ccf9f 07/23/2020 03:05 PM Corentin Lauverjat

Passage à dune

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