There is a newer version of the record available.

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

rindPHI/isla: ISLa 1.3.2

Creators

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

Description

[1.3.2] - 2022-09-30 Changed
  • Bugfix in unparse_grammar related to escaping.
  • Changed standard cost weight vector in CLI (now defaults to isla.solver.STD_COST_SETTINGS.weight_vector).
  • Describing individual cost vector components in CLI help text.

Files

rindPHI/isla-v1.3.2.zip

Files (319.9 kB)

Name Size Download all
md5:7c0fd8e9d28ab8cf49460442293125f7
319.9 kB Preview Download

Additional details

Related works

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