Possibility of 64-bit Z3 Integration

[Benjamin]

Is there currently any way to get the 64-bit Z3 working with Verifast? I tried hacking it in but it looks like the Z3 API has changed a fair bit since the Z3 integration for Verifast was written, and I'm not sufficiently familiar with either tool to make significant changes at the moment.

Thanks,
Benjamin

[Bart Jacobs]

VeriFast now ships with Z3 version 4.5.0 on Linux/x64.