/src/tools/zustre - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/zustre @ efc2cd2f

Name	Size	Revision	Age	Author	Comment
zustre_analyze.ml	7.28 KB	7d77632f	over 6 years	Pierre-Loïc Garoche	Added two fresh vars counter and uid. uid is a ...
zustre_cex.ml	7.93 KB	51106b7e	almost 6 years	Pierre-Loïc Garoche	Fixing issues with changes in machine code
zustre_common.ml	29.4 KB	efc2cd2f	almost 5 years	Pierre-Loïc Garoche	[seal] more progress on seal extract
zustre_data.ml	575 Bytes	4300981b	over 6 years	Pierre-Loïc Garoche	Zustre: timeout and slicing
zustre_test.ml	7.56 KB	8c934ccd	over 5 years	Pierre-Loïc Garoche	lustrev seal: ongoing work on extraction as dyn...
zustre_verifier.ml	8.28 KB	7a4fd94d	over 5 years	Pierre-Loïc Garoche	Output folder for seal-extract

#	Date	Author	Comment
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
8c934ccd	07/04/2019 06:35 AM	Pierre-Loïc Garoche	lustrev seal: ongoing work on extraction as dynamical system. Still not working yet
51106b7e	11/16/2018 11:31 PM	Pierre-Loïc Garoche	Fixing issues with changes in machine code
7d77632f	06/22/2018 06:24 PM	Pierre-Loïc Garoche	Added two fresh vars counter and uid. uid is a list of integer denoting the specific instance of a stateful/stateless node.
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
998766b4	06/11/2018 09:37 PM	Pierre-Loïc Garoche	missing file

Also available in: Atom