Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  mpfr ca7e8027 over 1 year Lélio Brun fix almost all warnings
  salsa 719ae9fd over 1 year Lélio Brun migration draft on dune
  scopes ca7e8027 over 1 year Lélio Brun fix almost all warnings
pluginList.ml 87 Bytes 719ae9fd over 1 year Lélio Brun migration draft on dune
pluginType.ml 857 Bytes ca7e8027 over 1 year Lélio Brun fix almost all warnings
plugins.ml 1.79 KB 719ae9fd over 1 year Lélio Brun migration draft on dune

Latest revisions

# Date Author Comment
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

1fd3d002 03/21/2019 05:20 PM Pierre-Loïc Garoche

Cocospec: parsing, normalizing and processing machines for contracts.

c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal

View revisions

Also available in: Atom