Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends @ 9d3bcc89

Name Size Revision Age Author Comment
  Ada 04a188ec almost 4 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
  C f0195e96 over 3 years Pierre-Loïc Garoche - Primitive Tiny backend - Renamed Mpfr to lust...
  EMF ef598ac3 almost 3 years Pierre-Loïc Garoche moved from Num to Zarith. IMpacted main.ml ad u...
  Horn e8f55c25 almost 4 years Pierre-Loïc Garoche - tag_true and tag_false moved to lustre_types...
  Java ae7d913d almost 5 years Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e over 5 years Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d almost 5 years Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 over 5 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
ef598ac3 11/17/2020 04:38 PM Pierre-Loïc Garoche

moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
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
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
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
1147e80a 11/20/2019 08:57 PM Pierre-Loïc Garoche

Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations
c2db420f 11/20/2019 05:09 PM Pierre-Loïc Garoche

comment some code to avoid warning at compile time
9b2c037f 11/20/2019 04:42 PM Pierre-Loïc Garoche

solved bug 91 on cavale: spurious commas in emf backend
490f1952 11/20/2019 04:38 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal
e8f55c25 11/15/2019 12:34 AM Pierre-Loïc Garoche

- tag_true and tag_false moved to lustre_types
- real constants are hidden in Real.ml{i} module
ab8388cf 11/06/2019 10:19 AM Pierre-Loïc Garoche

[emf] added the names of the cocospec properties in the output json

View revisions

Also available in: Atom