v1.2.0
v1.2.0 (2022-02-22)
New:
TRUE?
command in Web and CLI interface to check truth at a single state- multipointed translations for S5, including action models
instance Optimizable
for symbolic structures- provide
whereViaBdd
also inSMCDEL.Symbolic.S5_CUDD
- sanity check input for Web and CLI interface
- integration tests for web interface
Changed:
- improve test coverage
- correction to Cheryl's Birthday example
- new definitions and functions for
MultipointedEvent = (Transformer,Bdd)
- swapped argument order of
icSolves
- use HasCacBDD-0.1.0.3
- update ace.js and MathJax
- check if dot2tex is available before using it
- compile web with -threaded to prevent the error
file descriptor ... out of range
- bugfix in
SMCDEL.Internal.Help.set
- bugfix in
SMCDEL.Translations.S5.actionToTransformerWithMap
to fix #17 - test coverage and bugfix for
SMCDEL.Symbolic.S5.generatedSubstructure
- do not shrink to empty models
- web: listen only on 127.0.0.1, use PORT env variable
Full Changelog: v1.1.0...v1.2.0