Add support for Z models

Description

Z models are not yet supported by ProB2-UI (and probably neither by prob2-kernel).

Activity

Show:

dgelessus November 21, 2019 at 12:56 PM

Support for Z has been added to the ProB 2 Java API and the UI. I've reported the fuzz problem as a separate issue (https://probjira.atlassian.net/browse/PROB-423#icft=PROB-423).

dgelessus July 24, 2019 at 4:10 PM

Support for Z has been added with 775a43a in the Java kernel and 1a6d7e0 in the UI. Currently this only works when using a probcli built from source, because apparently fuzz is not included in the ProB library archives used by the Java kernel.

Fixed

Details

Assignee

Reporter

Priority

Created July 20, 2019 at 8:00 AM
Updated November 21, 2019 at 12:56 PM
Resolved November 21, 2019 at 12:56 PM