/src/tools/zustre - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/zustre @ 4d4a4502

Name	Size	Revision	Age	Author	Comment
zustre_analyze.ml	7.28 KB	7d77632f	almost 7 years	Pierre-Loïc Garoche	Added two fresh vars counter and uid. uid is a ...
zustre_cex.ml	7.93 KB	aaf75cc1	about 3 years	Pierre-Loïc Garoche	Yojson deprecated json type
zustre_common.ml	29.6 KB	a0c92fa8	about 5 years	Pierre-Loïc Garoche	printing nodes + more progress on seal export
zustre_data.ml	575 Bytes	4300981b	almost 7 years	Pierre-Loïc Garoche	Zustre: timeout and slicing
zustre_test.ml	7.56 KB	8c934ccd	almost 6 years	Pierre-Loïc Garoche	lustrev seal: ongoing work on extraction as dyn...
zustre_verifier.ml	8.29 KB	ea758c12	over 5 years	Pierre-Loïc Garoche	Commenting out unused variables

#	Date	Author	Comment
aaf75cc1	02/10/2022 03:02 PM	Pierre-Loïc Garoche	Yojson deprecated json type
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
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
ae08b9fc	07/17/2019 07:30 PM	Pierre-Loïc Garoche	[seal] delt with Merge and when [printer] more kind2 syntax
7a4fd94d	07/11/2019 08:59 PM	Pierre-Loïc Garoche	Output folder for seal-extract
58301109	07/07/2019 03:24 AM	Pierre-Loïc Garoche	Zustre: Bug solved in const injection for reals

Also available in: Atom