Commit Graph

6 Commits

Author SHA1 Message Date
Serhii Snitsaruk a91a9ef9ed Make blackboard data exposed at state level 2022-10-31 21:53:33 +01:00
Serhii Snitsaruk 86dba63db6 Add blackboard data property to HSM 2022-10-31 21:30:32 +01:00
Serhii Snitsaruk b68dc0a36a Fix bugs 2022-10-26 23:12:29 +02:00
Serhii Snitsaruk 4f06bb5a3e Add ANYSTATE transitions 2022-10-12 14:02:39 +02:00
Serhii Snitsaruk eecf27fdf5 Implement guard func 2022-09-29 22:44:51 +02:00
Serhii Snitsaruk b7ea9145df Implement LimboHSM 2022-09-29 12:54:07 +02:00