Issues
- Number of variables in a pre-post predicatePROBPLUGIN-111Resolved issue: PROBPLUGIN-111Jens Bendisposto
- On animating a machine with pro-B, I get an error which says "Residue: root: '$partial_setup_constants: context = ERROR CONTEXT: OPERATION: $partial_setup_constants, state ID: root, state: root;"PROBPLUGIN-100Resolved issue: PROBPLUGIN-100Jens Bendisposto
- Error launching ProB Animation (If parent machine being extended has theorems in guards)PROBPLUGIN-89Resolved issue: PROBPLUGIN-89Jens Bendisposto
- Translation failsPROBPLUGIN-80Resolved issue: PROBPLUGIN-80Sebastian Krings
- "becomes such as" operation causes unhandled loop exceptionPROBPLUGIN-79Resolved issue: PROBPLUGIN-79Jens Bendisposto
- memory leakPROBPLUGIN-71Resolved issue: PROBPLUGIN-71Jens Bendisposto
- Constraint-based Invariant checking does not workPROBPLUGIN-29Resolved issue: PROBPLUGIN-29Jens Bendisposto
7 of 7