Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dune 257 Bytes 719ae9fd over 1 year Lélio Brun migration draft on dune
machine_salsa_opt.ml 35.1 KB e8f55c25 over 2 years Pierre-Loïc Garoche - tag_true and tag_false moved to lustre_types...
salsaDatatypes.ml 13.1 KB ef598ac3 over 1 year Pierre-Loïc Garoche moved from Num to Zarith. IMpacted main.ml ad u...
salsa_plugin.ml 1.66 KB 719ae9fd over 1 year Lélio Brun migration draft on dune

Latest revisions

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

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

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

61df3cb9 03/16/2019 06:23 AM Pierre-Loïc Garoche

Reformating plugin signatures. Better report management

29eebf22 03/12/2019 03:45 PM Pierre-Loïc Garoche

New -salsa-disable option

406818e7 03/12/2019 03:17 PM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

59803095 11/16/2018 11:30 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

View revisions

Also available in: Atom