lustrev seal: ongoing work on extraction as dynamical system. Still not working yet
Fixing issues with changes in machine code
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
Some progress on zustre
Try to debug the use of Z3 API. Still having troubles
Zustre: do not declare variables as Fixedpoint relations
Filtering out ERR and MAIN from the forall quantification
Some progress on zustre2