Software Open Access

jrclogic/SMCDEL: v1.2.0

Malvin Gattinger

v1.2.0 (2022-02-22)

New:

  • TRUE? command in Web and CLI interface to check truth at a single state
  • multipointed translations for S5, including action models
  • instance Optimizable for symbolic structures
  • provide whereViaBdd also in SMCDEL.Symbolic.S5_CUDD
  • sanity check input for Web and CLI interface
  • integration tests for web interface

Changed:

  • improve test coverage
  • correction to Cheryl's Birthday example
  • new definitions and functions for MultipointedEvent = (Transformer,Bdd)
  • swapped argument order of icSolves
  • use HasCacBDD-0.1.0.3
  • update ace.js and MathJax
  • check if dot2tex is available before using it
  • compile web with -threaded to prevent the error file descriptor ... out of range
  • bugfix in SMCDEL.Internal.Help.set
  • bugfix in SMCDEL.Translations.S5.actionToTransformerWithMap to fix #17
  • test coverage and bugfix for SMCDEL.Symbolic.S5.generatedSubstructure
  • do not shrink to empty models
  • web: listen only on 127.0.0.1, use PORT env variable

Full Changelog: https://github.com/jrclogic/SMCDEL/compare/v1.1.0...v1.2.0

Files (2.6 MB)
Name Size
jrclogic/SMCDEL-v1.2.0.zip
md5:a299d2f40860f2e9edd54feb82217817 		2.6 MB Download
236
9
views
downloads
All versions This version
Views 23650
Downloads 92
Data volume 22.4 MB5.2 MB
Unique views 20046
Unique downloads 92
More info on how stats are collected.
Available in Indexed in
Publication date:
February 22, 2022
DOI:
10.5281/zenodo.6226608

Zenodo DOI Badge

DOI 

10.5281/zenodo.6226608

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6226608.svg)](https://doi.org/10.5281/zenodo.6226608)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6226608.svg
   :target: https://doi.org/10.5281/zenodo.6226608

HTML 

<a href="https://doi.org/10.5281/zenodo.6226608"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6226608.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6226608.svg

Target URL 

https://doi.org/10.5281/zenodo.6226608

Related identifiers:
Supplement to
Communities:
License (for files):
Other (Open)

Versions

Version v1.2.0 10.5281/zenodo.6226608 Feb 22, 2022
Version v1.1.0 10.5281/zenodo.3568325 Dec 9, 2019
Version v1.0.0 10.5281/zenodo.1184686 Feb 26, 2018
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1184685. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export