All Versions
Latest Version
Avg Release Cycle
513 days
Latest Release
1647 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.