Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published February 22, 2022 | Version v1.2.0
Software Open

jrclogic/SMCDEL: v1.2.0

  • 1. University of Amsterdam

Description

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

jrclogic/SMCDEL-v1.2.0.zip

Files (2.6 MB)

Name Size Download all
md5:a299d2f40860f2e9edd54feb82217817
2.6 MB Preview Download

Additional details

Related works