/src/plugins/salsa - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins/salsa @ 75c459f4

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

#	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

Also available in: Atom