Software Open Access

jrclogic/SMCDEL: v1.1.0

Malvin Gattinger

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

Files (2.4 MB)
Name Size
jrclogic/SMCDEL-v1.1.0.zip
md5:67e07357ca94b5067b29c8b4facab58a
2.4 MB Download
74
4
views
downloads
All versions This version
Views 7434
Downloads 44
Data volume 9.8 MB9.8 MB
Unique views 5829
Unique downloads 44

Share

Cite as