rindPHI/isla: ISLa 1.10.0

Published January 5, 2023 | Version v1.10.0

Software Open

[1.10.0] - 2022-01-05 Changed

Resolves GitHub Issue #36, which in essence refers to solving multiple "conflicting" SMT formulas. These are formulas whose solutions change subtrees of substitutions in other SMT formulas. Before, we did not check that the chosen "priority" formulas are not themselves influenced by other formulas. See test case test_issue_36 in test_solver.py.
Resolves GitHub Issue #39. The count predicate now better handles grammars with epsilon productions: If the number of "needles" is already reached, it can "finish off" the remaining nonterminals that might be instantiated with needle nonterminals if alternative instantiations are available.
Adds the feature requested in GitHub Issue #38: one can now pass a start symbol (parameter start_symbol) to the ISLaSolver constructor as alternative to the (also optional) initial derivation tree.
Resolves GitHub Issue #40. The default value for formula in ISLaSolver is now None and no longer "true", with the same semantics. This means that you can still pass Formula objects and strings, but additionally None for the trivially valid constraint.

[1.9.9] - 2022-12-22 Changed

Improved DerivationTree.to_dot(): Now, nodes at same levels appear at the same levels, and the horizontal order of child nodes is retained.

Files

Name	Size	Download all
rindPHI/isla-v1.10.0.zip md5:3bf17cba6ad0bc89eb1b7021cebcaeb7	363.0 kB	Preview Download