All Versions
4
Latest Version
Avg Release Cycle
513 days
Latest Release
1600 days ago

Changelog History

  • v1.1.0 Changes

    December 09, 2019

    🆕 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 Changes

    February 26, 2018

    🆕 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 Changes

    November 17, 2015

    🚀 First release with a standalone-executable.

  • v0.1 Changes

    September 21, 2015

    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.