Skip to content

Z3 and linux compatibility fix of version 0.2.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@konnov konnov released this 21 Jul 22:17
v0.2.1
4430bfa

This version fixes two issues that were introduced in version 0.2.0:

  1. The script apalache-mc could not discover the distribution jar in linux (worked in macos)
  2. By default, z3 4.8.0 was compiled, which introduced a new incompatible API. Now using version 4.7.1.
Assets 3
Loading