Skip to content

3467 z3 4.7.1 fixed

Simon Barner requested to merge 3467-Z3_4.7.1-Fixed into master

IMPORTANT: This supersedes af3!47 (merged) (dropped because an erroneous merge in master has already been integrated into the old Z3 update branch)

Could you please

  • test on Mac using the "Testing" instructions from https://af3-developer.fortiss.org/issues/3385?
  • Review the brief developer documentation (see here: com.microsoft.z3/html/developer/documentation.html), in particular the Mac related aspects
  • While here: Review AF3z3Activator
Edited by Simon Barner

Merge request reports