smcdel changelog

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.