There is a newer version of the record available.

Published December 15, 2022 | Version v1.9.6
Software Open

rindPHI/isla: ISLa 1.9.6

Authors/Creators

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

Description

[1.9.6] - 2022-12-15 Changed
  • Fixed hashing in call to solver.is_valid_combination
  • Performance improvements, mainly by avoiding replace_formula for top-level formulas (performing shallow replace instead) and re-using the same objects for atomic SMT formulas.

Files

rindPHI/isla-v1.9.6.zip

Files (357.5 kB)

Name Size Download all
md5:4a74ca506785056620e664b5b82a7751
357.5 kB Preview Download

Additional details

Related works

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