Software Open Access

jrclogic/SMCDEL: v1.1.0

Malvin Gattinger


JSON-LD (schema.org) Export

{
  "description": "<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>", 
  "license": "", 
  "creator": [
    {
      "affiliation": "University of Groningen", 
      "@type": "Person", 
      "name": "Malvin Gattinger"
    }
  ], 
  "url": "https://zenodo.org/record/3568325", 
  "codeRepository": "https://github.com/jrclogic/SMCDEL/tree/v1.1.0", 
  "datePublished": "2019-12-09", 
  "version": "v1.1.0", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3568325", 
  "@id": "https://doi.org/10.5281/zenodo.3568325", 
  "@type": "SoftwareSourceCode", 
  "name": "jrclogic/SMCDEL: v1.1.0"
}
50
2
views
downloads
All versions This version
Views 5019
Downloads 22
Data volume 4.9 MB4.9 MB
Unique views 3714
Unique downloads 22

Share

Cite as