There is a newer version of the record available.

Published November 21, 2022 | Version v1.9.5
Software Open

rindPHI/isla: ISLa 1.9.5

Authors/Creators

  • 1. https://www.cispa.de/en

Description

[1.9.5] - 2022-11-21 Changed
  • Bug fix in optimized solution of length constraints: (1) Preventing infinite loop for unsolvable constraints (e.g., zero length for non-nullable nonterminal), (2) preventing solver from trying to produce strings with negative lengths.
[1.9.4] - 2022-11-13 Changed
  • Can use Unicode symbols like "\x01" in the nonprintable range in BNF grammars (parsing and unparsing now works for these symbols).

Files

rindPHI/isla-v1.9.5.zip

Files (357.3 kB)

Name Size Download all
md5:c2d04a0e6249a4f114c50b0b4f66a5c6
357.3 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/rindPHI/isla/tree/v1.9.5 (URL)