Software Open Access

jrclogic/SMCDEL: v1.1.0

Malvin Gattinger


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/a048c9c3-113f-42ae-b7f5-84973325f74e/jrclogic/SMCDEL-v1.1.0.zip"
      }, 
      "checksum": "md5:67e07357ca94b5067b29c8b4facab58a", 
      "bucket": "a048c9c3-113f-42ae-b7f5-84973325f74e", 
      "key": "jrclogic/SMCDEL-v1.1.0.zip", 
      "type": "zip", 
      "size": 2447799
    }
  ], 
  "owners": [
    38375
  ], 
  "doi": "10.5281/zenodo.3568325", 
  "stats": {
    "version_unique_downloads": 4.0, 
    "unique_views": 25.0, 
    "views": 30.0, 
    "version_views": 68.0, 
    "unique_downloads": 4.0, 
    "version_unique_views": 54.0, 
    "volume": 9791196.0, 
    "version_downloads": 4.0, 
    "downloads": 4.0, 
    "version_volume": 9791196.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.3568325", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.1184685", 
    "bucket": "https://zenodo.org/api/files/a048c9c3-113f-42ae-b7f5-84973325f74e", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.1184685.svg", 
    "html": "https://zenodo.org/record/3568325", 
    "latest_html": "https://zenodo.org/record/3568325", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.3568325.svg", 
    "latest": "https://zenodo.org/api/records/3568325"
  }, 
  "conceptdoi": "10.5281/zenodo.1184685", 
  "created": "2019-12-09T19:52:55.995656+00:00", 
  "updated": "2020-01-25T07:23:03.536218+00:00", 
  "conceptrecid": "1184685", 
  "revision": 3, 
  "id": 3568325, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.3568325", 
    "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": {
      "id": "other-open"
    }, 
    "title": "jrclogic/SMCDEL: v1.1.0", 
    "relations": {
      "version": [
        {
          "count": 2, 
          "index": 1, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "1184685"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3568325"
          }
        }
      ]
    }, 
    "version": "v1.1.0", 
    "publication_date": "2019-12-09", 
    "creators": [
      {
        "affiliation": "University of Groningen", 
        "name": "Malvin Gattinger"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "url", 
        "identifier": "https://github.com/jrclogic/SMCDEL/tree/v1.1.0", 
        "relation": "isSupplementTo"
      }, 
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.1184685", 
        "relation": "isVersionOf"
      }
    ]
  }
}
68
4
views
downloads
All versions This version
Views 6830
Downloads 44
Data volume 9.8 MB9.8 MB
Unique views 5425
Unique downloads 44

Share

Cite as