rindPHI/isla: ISLa 1.9.1

Published November 9, 2022 | Version v1.9.1

Software Open

[1.9.1] - 2022-11-08 Changed

Bug fix: Python extension files could not use local definitions before (e.g., helper functions); this is fixed now.
Buf fix: Epsilon productions are correctly processed in unparse_grammar.

[1.9.0] - 2022-11-08 Added

It is now possible to extend ISLa with custom structural or semantic predicates when using the CLI (this concerns isla solve, isla parse, isla check, isla fuzz, isla mutate, isla find, and isla mutate) by passing a Python file as input that contains a function
```
predicates() -> typing.Set[isla.language.StructuralPredicate | isla.language.SemanticPredicate]
```
Additionally or alternatively, that file may define a variable grammar or a function grammar() specifying the grammar of the language under test. This behavior, already implemented in previous ISLa versions (for the variable declaration, see "Changed"), is unaffected by the predicate extension feature.

Changed

In Python extension files, grammars may alternatively be defined as the return value of a function def grammar() -> Dict[str, List[str]] instead of an assignment to a variable grammar. This is the preferred style; the variable assignment may get deprecated in the future.

Files

Name	Size	Download all
rindPHI/isla-v1.9.1.zip md5:32c3cc56fd7a1ffc3f2d46c636692a3d	355.4 kB	Preview Download