/src/tools/zustre/zustre_cex.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / tools / zustre / zustre_cex.ml @ 0d79d0f3

History | View | Annotate | Download (7.82 KB)

#	Date	Author	Comment
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