/src/tools/seal - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/seal @ 6cbbe1c1

Name	Size	Revision	Age	Author	Comment
dune	269 Bytes	719ae9fd	over 1 year	Lélio Brun	migration draft on dune
seal_export.ml	5.82 KB	ca7e8027	over 1 year	Lélio Brun	fix almost all warnings
seal_extract.ml	45.7 KB	ca7e8027	over 1 year	Lélio Brun	fix almost all warnings
seal_slice.ml	4.53 KB	25320f03	almost 3 years	Pierre-Loïc Garoche	scheduling now report unused vars and remove th...
seal_utils.ml	3.17 KB	a0c92fa8	over 2 years	Pierre-Loïc Garoche	printing nodes + more progress on seal export
seal_verifier.ml	5.31 KB	719ae9fd	over 1 year	Lélio Brun	migration draft on dune

#	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
a0c92fa8	01/27/2020 04:24 PM	Pierre-Loïc Garoche	printing nodes + more progress on seal export
f3574a72	11/21/2019 03:49 AM	Pierre-Loïc Garoche	Moved some code
04a188ec	11/21/2019 03:45 AM	Pierre-Loïc Garoche	- Refactored Error exception and messages - Bugs in partial evaluation for equalities among bool constants and a nice recursive call generating a stack overflow! Now solved - Setup a timeout for z3 in seal - Better log for seal
ea758c12	11/20/2019 08:57 PM	Pierre-Loïc Garoche	Commenting out unused variables
efc2cd2f	11/15/2019 12:34 AM	Pierre-Loïc Garoche	[seal] more progress on seal extract
73a4995a	07/18/2019 09:02 AM	Pierre-Loïc Garoche	seal: now deals with enum
72a93147	07/17/2019 11:12 PM	Pierre-Loïc Garoche	seal: stateless systems

Also available in: Atom