Added two fresh vars counter and uid.uid is a list of integer denoting the specific instance of a stateful/stateless node.
New option to select github version of Z3Added Yojson dependency in lustrevSome progress on Cex generation
Zustre: timeout and slicing
zustre progress. Issues with sliced predicates
package z3 to Z3 when using z3 github repo.
Adding input in MAIN fdecl
[lustrev] fixed some issues when calling Z3. Seems working for the moment: basic call to Z3 and sat/unsat result
Try to debug the use of Z3 API. Still having troubles
Filtering out ERR and MAIN from the forall quantification
Some progress on zustre2