smcdel v1.1.0 Release Notes

Release Date: 2019-12-09 // almost 2 years ago
  • ๐Ÿ†• 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

Previous changes from 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