smcdel v1.1.0 Release Notes

Release Date: 2019-12-09 // over 4 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