History | View | Annotate | Download (29 KB)
Added two fresh vars counter and uid.uid is a list of integer denoting the specific instance of a stateful/stateless node.
Zustre: timeout and slicing
zustre progress. Issues with sliced predicates
[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