/src/tools/zustre - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/zustre @ 998766b4

Name	Size	Revision	Age	Author	Comment
zustre_analyze.ml	7.05 KB	4300981b	over 5 years	Pierre-Loïc Garoche	Zustre: timeout and slicing
zustre_cex.ml	3.42 KB	998766b4	over 5 years	Pierre-Loïc Garoche	missing file
zustre_common.ml	27.6 KB	4300981b	over 5 years	Pierre-Loïc Garoche	Zustre: timeout and slicing
zustre_data.ml	575 Bytes	4300981b	over 5 years	Pierre-Loïc Garoche	Zustre: timeout and slicing
zustre_test.ml	7.46 KB	dbab1fe5	over 5 years	Pierre-Loïc Garoche	[lustrev] fixed some issues when calling Z3. Se...
zustre_verifier.ml	7.85 KB	4300981b	over 5 years	Pierre-Loïc Garoche	Zustre: timeout and slicing

#	Date	Author	Comment
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
3d3718ae	05/29/2018 08:59 PM	Pierre-Loïc Garoche	package z3 to Z3 when using z3 github repo.
df00d682	05/29/2018 01:49 PM	Pierre-Loïc Garoche	Adding input in MAIN fdecl
dbab1fe5	05/29/2018 12:09 AM	Pierre-Loïc Garoche	[lustrev] fixed some issues when calling Z3. Seems working for the moment: basic call to Z3 and sat/unsat result
9f3de818	05/18/2018 08:05 AM	Pierre-Loïc Garoche	Some progress on zustre
51ec4e8c	04/18/2018 03:29 AM	Pierre-Loïc Garoche	Try to debug the use of Z3 API. Still having troubles
ef609cc9	04/07/2018 12:55 AM	Pierre-Loïc Garoche	Zustre: do not declare variables as Fixedpoint relations
8eeec77e	04/06/2018 11:56 PM	Pierre-Loïc Garoche	Filtering out ERR and MAIN from the forall quantification

Also available in: Atom