v1.3.0

New:

• ZDDs as alternative in SMCDEL.Symbolic.S5_CUDD and SMCDEL.Symbolic.K_CUDD (by @dushiel)
• SMCDEL.Symbolic.Ki and SMCDEL.Symbolic.Ki_CUDD using one agent-indexed DD (by @dushiel)
• SMCDEL.Symbolic.S5_DD: using the pure Haskell decision-diagrams library
• Examples: add generalised versions of Sum and Product and Dining Cryptographers
• Web and CLI: add ONEOF keyword to allow formulas like ONEOF (p, q, r) - fix #21
• Web and CLI: allow lists after Kw for formulas like bob knows whether (p, q)
• Add gitpod and devcontainer configurations
• Haddock documentation, replacing the literate Haskell PDF document
• Add D and Dw operators for distributed knowledge (by @foxyseta and @BasLaa)
• Multipointed models and structures for S5

Changed:

• Web UI improvements: syntax highlighting, vertically maximized
• Use defaultVocabulary also for random Boolean formulas (and thus BDDs)
• Use open instead of hardcoding Okular
• Use newer HasCacBDD with faster sizeOf
• Bug fixes in simStep

Full Changelog: v1.2.0...v1.3.0

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 in SMCDEL.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

v1.1.0

New:

• minimization under bisimulation
• dynamic operators in formulas via Data.Dynamic
• multipointed models, action models, structures and events
• added Cheryl's Birthday and Cheryl's Age examples
• experimental functions for epistemic planning (with small examples)
• more instances for QuickCheck, more tests
• add S5 to K conversion in SMCDEL.Translations.Convert
• improvements to the web interface

Changed:

• polymorphic update replaces productUpdate, transform, pubAnnounce etc.
• factual change by default: merge Symbolic.S5.Change into Symbolic.S5 etc.
• remove changeprops in (Kn)Trf to avoid redundancy with changelaw
• move BDD related functions to HasCacBDD (substit, substitSimul)
• avoid Data.Map in S5 modules, no longer depend on lens
• replace .cabal file with a package.yml for hpack

v1.0.0

New:

• action models and transformers with factual change
• NonS5 modules, now called K, are no longer experimental
• separate types State and World
• automated testing and benchmarks
• lots of bugfixes

Removed:

• support for robbed, NooBDD and Z3
• old Example files

v0.2

First release with a standalone-executable.

v0.1

The first public version of SMCDEL. Note that this version does not contain a stand-alone executable. It can only be used as a Haskell library.