TorXakis/TorXakis Issues
Abstraction of Events
UpdatedIntroduce Regex class
Updated 4Release 0.9.1
Updated 3Can the SUT create new connections?
Updated 7Regex with special characters fails
Updated 1Regex with $ fails
Updated 1New stack requires new weeder
Updated 1Release cvc4 1.8 is incompatible
Updated 4crashing toString
Updated 1Generalized choice
Closed 7Haddock pages not working
Updated 2Regex fails on union
ClosedStates of SUT interface
Updatedorganize archive even further
Updated 3lpe of procdef with hidden channels
Updated 1stack lock files
Closed 1TorXakis fails on pipeline model
Updated 1Simplify menu: remove duplicates
Updated 1location of parse error wrong
Updated 1parse error on regex leads to crash
Updated 1Unclear compiler error
Updated