Changelog for smcdel-1.1.0
SMCDEL Changelog
upcoming
...
v1.1.0 (2019-12-09)
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
replacesproductUpdate
,transform
,pubAnnounce
etc. - factual change by default: merge
Symbolic.S5.Change
intoSymbolic.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 onlens
- replace
.cabal
file with apackage.yml
forhpack
v1.0.0 (2018-02-26)
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:
- removed support for robbed, NooBDD and Z3
- old Example files
v0.2 (2015-11-17)
First release with a standalone-executable.
v0.1 (2015-09-21)
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.