Etienne Kneuss

Instructions for building the native z3 interface on OS-X should come soon. In the mean time, I implemented a fix in 86749646ffbef5cafa728935cb8c5214426849e9 that falls back to SMT-based solvers in case...

I don't understand how this can be correct. In php7 hashtables always hold zvals. To store other contents, we have the _ptr API to automate the wrap/unwrap. Since we don't...

Yes, but: the `_ptr` family of functions will wrap/unwrap the value stored in the array in zvals. What ends up in the array remains a zval, even if you store...

I just pushed a fix for a build warning to topic/fix-segfault. Can you confirm that this new version works as expected on your end? As soon as you do I...

I've just commited a fix to a different crash. It is however likely that it also fixes your issue here. Can you build it from the source in order to...

I think this would be good to have indeed. I need to reimplement most of weakref for php7 as the internals have changed (I'm not even sure weakref is possible...

That makes sense, but don't you have to handle the case where the callback reads the reference and stores it elsewhere?

Hi, you are right, in this case we could do backward analysis to come up with best-constraints for arguments. That would resolve such cases. It is however non trivial to...

Hi, indeed, because that's what it is. $_GET['id'] could be undefined, or assign to strings or arbitrary arrays. There is an option to make it less strict though.

Hi, I was not aware of such a format, and it definitely looks like a good addition! I'll see what I can reuse for phantm from such XML file. thanks