Skip to content

ISLa 1.3.1
Compare
Choose a tag to compare
@rindPHI rindPHI released this 30 Sep 08:51
· 224 commits to main since this release
v1.3.1
This tag was signed with the committer’s verified signature. The key has expired.
rindPHI Dominic Steinhöfel
GPG key ID: 0DF810D4733ECFD2
Expired
Verified
Learn about vigilant mode.
c1a4ae3
This commit was signed with the committer’s verified signature. The key has expired.
rindPHI Dominic Steinhöfel
GPG key ID: 0DF810D4733ECFD2
Expired
Verified
Learn about vigilant mode.

[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.
Assets 2
Loading