/src/tools/zustre/zustre_verifier.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/zustre/zustre_verifier.ml @ ca7ff3f7

#	Date	Author	Comment
ca7ff3f7	06/17/2021 11:33 AM	Lélio Brun	reformatting
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
ea758c12	11/20/2019 08:57 PM	Pierre-Loïc Garoche	Commenting out unused variables
7a4fd94d	07/11/2019 08:59 PM	Pierre-Loïc Garoche	Output folder for seal-extract
57d61d67	06/22/2018 11:24 AM	Pierre-Loïc Garoche	New option to select github version of Z3 Added Yojson dependency in lustrev Some progress on Cex generation
4300981b	06/11/2018 06:44 PM	Pierre-Loïc Garoche	Zustre: timeout and slicing
51ec4e8c	04/18/2018 03:29 AM	Pierre-Loïc Garoche	Try to debug the use of Z3 API. Still having troubles
5778dd5e	04/06/2018 11:19 PM	Pierre-Loïc Garoche	Some progress on zustre2