Christoph M. Wintersteiger

I have the same problem; I may have bricked my Sonoff dongle by flashing the wrong firmware (`...\SmartRF Packet Sniffer 2\sniffer_fw\bin\cc2652rblp\sniffer_fw.hex`). The CRC check failed after flashing because it is...

Yeah, I was able to fix it yesterday, just a bit of a procedure with getting all the wires in the right places. The TI software is a bit of...

No, not with the CC2652P, only with a CC2531. In the meanwhile I also received a CC2652RB, which I believe should work with the sniffer firmware that comes with Smart...

Same for me, it takes quite a while but it does finish if you're patient and don't disturb it.

That's right, but it doesn't change the fact that the model is incomplete with `model.completion` enabled. It is complete when using the binary: ``` $ cat tst.smt2 (declare-sort S 0)...

IIRC (and I may not) an `OP_FPA_NUM` is not unique because it could be any float numeral (including NaN), which don't necessarily have a single representation. The bit-vector versions however...

`C:\Users\\AppData\Local\Microsoft\WindowsApps\python3.exe` seems to be a special binary that forwards the user to the Windows Store to install Python, and `opam` apparently doesn't like that idea. (Re)installing `dune` made no difference...

Yes. The opam releases are not published by the Z3 team. I've done most of them in the recent past, but haven't had time for this one yet.

I think in theory it's possible. We would have to automatically create a PR to https://github.com/ocaml/opam-repository . Most of the time it's a copy of the previous `opam` file with...