Software Open Access

jrclogic/SMCDEL: v1.1.0

Malvin Gattinger


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3568325", 
  "title": "jrclogic/SMCDEL: v1.1.0", 
  "issued": {
    "date-parts": [
      [
        2019, 
        12, 
        9
      ]
    ]
  }, 
  "abstract": "<p>New:</p>\n<ul>\n<li>minimization under bisimulation</li>\n<li>dynamic operators in formulas via <code>Data.Dynamic</code></li>\n<li>multipointed models, action models, structures and events</li>\n<li>added Cheryl's Birthday and Cheryl's Age examples</li>\n<li>experimental functions for epistemic planning (with small examples)</li>\n<li>more instances for QuickCheck, more tests</li>\n<li>add S5 to K conversion in <code>SMCDEL.Translations.Convert</code></li>\n<li>improvements to the web interface</li>\n</ul>\n<p>Changed:</p>\n<ul>\n<li>polymorphic <code>update</code> replaces <code>productUpdate</code>, <code>transform</code>, <code>pubAnnounce</code> etc.</li>\n<li>factual change by default: merge <code>Symbolic.S5.Change</code> into <code>Symbolic.S5</code> etc.</li>\n<li>remove changeprops in (Kn)Trf to avoid redundancy with changelaw</li>\n<li>move BDD related functions to HasCacBDD (<code>substit</code>, <code>substitSimul</code>)</li>\n<li>avoid <code>Data.Map</code> in S5 modules, no longer depend on <code>lens</code></li>\n<li>replace <code>.cabal</code> file with a <code>package.yml</code> for <code>hpack</code></li>\n</ul>", 
  "author": [
    {
      "family": "Malvin Gattinger"
    }
  ], 
  "version": "v1.1.0", 
  "type": "article", 
  "id": "3568325"
}
77
5
views
downloads
All versions This version
Views 7737
Downloads 55
Data volume 12.2 MB12.2 MB
Unique views 6132
Unique downloads 55

Share

Cite as