[z3-five] Weekend Experiments :)

[Martijn Faassen]

Sidnei da Silva wrote:
> Hello,
> 
> I've did some experiments while trying to start my project, and they
> should continue over the next week. Was in doubt about checking them
> into head, though all the tests pass. Made a branch at
> http://codespeak.net/svn/z3/Five/branch/dc-experiments/

I'm glad you did it in a branch. While your experiments (from this mail) 
look very interesting, we want to do a release of Five by next week and 
better not introduce any potential instability and
undocumentedness. We could release a Five 0.2 soon enough that does
include this.

I'll review the code later. From your mail it sounds like the right way
to go!

Thanks,

Martijn