Le mercredi 19 mai 2010 à 23:48 -0400, Christian Muise a écrit :
I enjoy the idea of Predicates, but since it hasn't hit the master
codebase yet, should I really be working off of Ronan's stuff? My plan
was to use Ronan's use-new-assump2 branch, then incorporate the
changes from Ondrej's
Le mardi 18 mai 2010 à 07:02 -0700, Vinzent Steinberg a écrit :
On 18 Mai, 07:31, Ronan Lamy ronan.l...@gmail.com wrote:
After my work on Predicates, I've made another attempt at replacing the
old assumption system with the new one and the results are encouraging.
After a few more
I enjoy the idea of Predicates, but since it hasn't hit the master
codebase yet, should I really be working off of Ronan's stuff? My plan was
to use Ronan's use-new-assump2 branch, then incorporate the changes from
Ondrej's assum branch. Continue with fixing tests / codebase then suggesting
for
On 18 Mai, 07:31, Ronan Lamy ronan.l...@gmail.com wrote:
After my work on Predicates, I've made another attempt at replacing the
old assumption system with the new one and the results are encouraging.
After a few more relatively simple changes to the assumptions system -
that make it
I'm starting to get mighty confused with the parallel attempts. Fabian,
Ronan, and Ondrej all have at least one branch doing the same thing that is
very closely related to my SoC goals -- removing the old system and making
the new one uber fast. Any suggestions on how to unify all the threads?
On Tue, May 18, 2010 at 6:03 AM, Christian Muise
christian.mu...@gmail.com wrote:
I'm starting to get mighty confused with the parallel attempts. Fabian,
Ronan, and Ondrej all have at least one branch doing the same thing that is
very closely related to my SoC goals -- removing the old system
Le mardi 18 mai 2010 à 12:03 -0400, Christian Muise a écrit :
I'm starting to get mighty confused with the parallel attempts.
Fabian, Ronan, and Ondrej all have at least one branch doing the same
thing that is very closely related to my SoC goals -- removing the old
system and making the new