/src/tools/seal - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/seal @ f3574a72

Name	Size	Revision	Age	Author	Comment
seal_export.ml	5 KB	72a93147	about 4 years	Pierre-Loïc Garoche	seal: stateless systems
seal_extract.ml	45.1 KB	f3574a72	almost 4 years	Pierre-Loïc Garoche	Moved some code
seal_slice.ml	4.53 KB	25320f03	about 4 years	Pierre-Loïc Garoche	scheduling now report unused vars and remove th...
seal_utils.ml	2.98 KB	efc2cd2f	almost 4 years	Pierre-Loïc Garoche	[seal] more progress on seal extract
seal_verifier.ml	5.62 KB	04a188ec	almost 4 years	Pierre-Loïc Garoche	- Refactored Error exception and messages - Bug...

#	Date	Author	Comment
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
ae08b9fc	07/17/2019 07:30 PM	Pierre-Loïc Garoche	[seal] delt with Merge and when [printer] more kind2 syntax
0697ff5b	07/16/2019 11:17 PM	Pierre-Loïc Garoche	Produce true/false statements as constants
25320f03	07/16/2019 06:54 PM	Pierre-Loïc Garoche	scheduling now report unused vars and remove their definition instead of stopping processing.
03c767b1	07/16/2019 03:38 AM	Pierre-Loïc Garoche	Seal: solved issue with guards merging

Also available in: Atom