Solal Pirelli

Figure out how to make the tests assembly run under the same trust as a WinRT app, to catch bugs that only happen there because of restricted access to internal...

I had to install `lxml` manually (in a virtualenv, if that matters). I know next to nothing about the Python ecosystem, but I imagine there's a way to declare dependencies...

First, thanks for the excellent library, it's rare to see a lib with clear examples and a full API doc. Minor bug: When connecting using an HTTP URL to a...

Add a minimizing solver for smaller counter-examples

1

This is part of the Formal Verification course project from @mbovel and me, the idea is to add a "minimizing" solver that makes "smaller" counter-examples, such as ints/BVs closer to...

Fix compilation errors in C++11.

2

There are two occurrences of `unsigned _int64` in the codebase, which were obviously meant to be `_uint64`. Then there's an assignment of a `char` to a `char*`. **I'm not sure...