Powered by OpenAIRE graph
Found an issue? Give us feedback
ZENODOarrow_drop_down
ZENODO
Software . 2022
Data sources: ZENODO
ZENODO
Software . 2018
Data sources: ZENODO
ZENODO
Software . 2019
Data sources: ZENODO
versions View all 3 versions
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

jrclogic/SMCDEL: v1.1.0

Authors: Malvin Gattinger;

jrclogic/SMCDEL: v1.1.0

Abstract

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

Powered by OpenAIRE graph
Found an issue? Give us feedback