/src/tools/zustre - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools/zustre @ 2f7c9195

Name	Size	Revision	Age	Author	Comment
zustre_analyze.ml	6.94 KB	2f7c9195	over 5 years	Pierre-Loïc Garoche	zustre progress. Issues with sliced predicates
zustre_common.ml	27 KB	2f7c9195	over 5 years	Pierre-Loïc Garoche	zustre progress. Issues with sliced predicates
zustre_data.ml	496 Bytes	5778dd5e	over 5 years	Pierre-Loïc Garoche	Some progress on zustre2
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.34 KB	51ec4e8c	over 5 years	Pierre-Loïc Garoche	Try to debug the use of Z3 API. Still having tr...

#	Date	Author	Comment
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
5778dd5e	04/06/2018 11:19 PM	Pierre-Loïc Garoche	Some progress on zustre2

Also available in: Atom