Published July 10, 2023 | Version v1.14.1
Software Open

rindPHI/isla: ISLa 1.14.1

Authors/Creators

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

Description

[1.14.1] - 2023-07-10 Changed
  • Supporting literal negative numbers in ISLa constraints (concrete syntax), such as in str.to.int(<int>) < -1. This raised a SyntaxError before.

Files

rindPHI/isla-v1.14.1.zip

Files (444.8 kB)

Name Size Download all
md5:bd7a770b4b392c88a260f74b3db8b37e
444.8 kB Preview Download

Additional details

Related works

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