There is a newer version of the record available.

Published September 30, 2022 | Version v1.3.1
Software Open

rindPHI/isla: ISLa 1.3.1

Authors/Creators

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

Description

[1.3.1] - 2022-09-30 Changed
  • Fixed bug in unparse_grammar: Backslashes are correctly escaped now.
  • Fixed bug in parsing of match expressions: Escaped symbols are not handled correctly.
  • Made order of terminals in REST_GRAMMAR deterministic.
[1.3.0] - 2022-09-27 Added
  • Added the CLI command isla mutate and solver method ISLaSolver.mutate for mutating inputs in a semantics-preserving way.

Files

rindPHI/isla-v1.3.1.zip

Files (319.4 kB)

Name Size Download all
md5:e667e18bb3f422a520d5312afb910143
319.4 kB Preview Download

Additional details

Related works

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