Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  mpfr 90cc3b8e 11 months Lélio Brun some rewriting in C backend pretty-printer
  salsa 719ae9fd 12 months Lélio Brun migration draft on dune
  scopes 75c459f4 9 months Lélio Brun start with Spec AST generation
pluginList.ml 87 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
pluginType.ml 857 Bytes ca7e8027 12 months Lélio Brun fix almost all warnings
plugins.ml 1.79 KB 719ae9fd 12 months Lélio Brun migration draft on dune

Latest revisions

# Date Author Comment
75c459f4 05/04/2021 06:24 PM Lélio Brun

start with Spec AST generation

90cc3b8e 02/19/2021 11:19 AM Lélio Brun

some rewriting in C backend pretty-printer

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

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

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

e5d77428 05/09/2019 10:19 AM Pierre-Loïc Garoche

Solved issue btw mpfr and conv functions (int_to_real was not handled)

dc732cf2 04/29/2019 10:29 PM Pierre-Loïc Garoche

Solved scopes print order

View revisions

Also available in: Atom