Ivan Kosarev

Yep, this should do. We couldn't do the same for watchpoints and other kinds of breakpoints, however, so we still might want to give this all a proper thought...

Interesting enough. On 1e0b455, after the usual reset sequence and even executing a whole `nop`, some bits of the registers seem to contain `(not pull.~clk)`, which is the level we...

Removed the mention of Z3 from the title as it was proven to be of little use for our purposes, especially its Python API. We now generate Tseitin form directly...

https://stackoverflow.com/questions/25595098/force-setup-py-to-use-my-custom-compiler reads like it's possible to specify the compiler with `setup.py --compiler`. I guess `cygwin` or `mingw32` could be viable alternatives to MSVC on Windows?

Certainly a good idea. 9ae1dad should implement it. Regarding timings: according to my copy of the Sean Young paper, IM 0 and IM 1 both take 13 ticks, which I...

Now that the `assert()` is removed, this looks more like an enhancement rather than a bug.