/src/tools/zustre - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/zustre @ ae08b9fc

Name	Size	Revision	Age	Author	Comment
zustre_analyze.ml	7.28 KB	7d77632f	about 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.3 KB	ae08b9fc	about 5 years	Pierre-Loïc Garoche	[seal] delt with Merge and when [printer] more ...
zustre_data.ml	575 Bytes	4300981b	about 6 years	Pierre-Loïc Garoche	Zustre: timeout and slicing
zustre_test.ml	7.56 KB	8c934ccd	about 5 years	Pierre-Loïc Garoche	lustrev seal: ongoing work on extraction as dyn...
zustre_verifier.ml	8.28 KB	7a4fd94d	about 5 years	Pierre-Loïc Garoche	Output folder for seal-extract

#	Date	Author	Comment
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
4300981b	06/11/2018 06:44 PM	Pierre-Loïc Garoche	Zustre: timeout and slicing
2f7c9195	05/30/2018 04:02 PM	Pierre-Loïc Garoche	zustre progress. Issues with sliced predicates

Also available in: Atom