Skip to content

ISLa 1.3.2

Choose a tag to compare

View all tags
@rindPHI rindPHI released this 30 Sep 10:05
· 220 commits to main since this release
v1.3.2
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.
c7f4773
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.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.
Assets 2
Loading