Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  Ada ca7e8027 12 months Lélio Brun fix almost all warnings
  C 15c3e4e7 11 months Lélio Brun generic ACSL spec generation
  EMF ca7e8027 12 months Lélio Brun fix almost all warnings
  Horn ca7e8027 12 months Lélio Brun fix almost all warnings
  Java 719ae9fd 12 months Lélio Brun migration draft on dune
  VHDL dea84f9e over 3 years Pierre-Loïc Garoche Working example!
backends.ml 1.14 KB ad4774b0 almost 4 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
15c3e4e7 03/08/2021 10:58 AM Lélio Brun

generic ACSL spec generation

c226a3ba 03/01/2021 03:56 PM Lélio Brun

start generating ACSL spec

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

some rewriting in C backend pretty-printer

1df55e58 02/16/2021 04:21 PM Lélio Brun

minor rewriting

57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune

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

View revisions

Also available in: Atom