Repository navigation
Releases: OMUCAI/PiTCT-docs
Releases · OMUCAI/PiTCT-docs
Release list
v0.9.23
v0.9.22
🎅 add plantification, supervisory_controller_synthesis and supervisory_synthesize
v0.9.21
- Fix memory leak
- Fix printdat error
Full Changelog: OMUCAI/PiTCT@v0.9.20...v0.9.21
v0.9.20
v0.9.19
v0.9.18
v0.9.17
v0.9.16
add 'is_controllable', 'uncontrollable_states' and modify 'create' to address empty 'trans'
v0.9.15
Fix remove function error and rename to subautomaton