Re: initial comments on SAT solver document

2008-06-29 Thread Michael McCallum
On Mon, 23 Jun 2008 14:26:38 Michael McCallum wrote: > have a meeting will explain in more detail later... have not forgotten just been really busy and want to give this a proper treatment... -- Michael McCallum Enterprise Engineer mailto:[EMAIL PROTECTED] -

Re: initial comments on SAT solver document

2008-06-22 Thread Michael McCallum
On Mon, 23 Jun 2008 14:18:24 Ralph Goers wrote: > > 2) because and i might be wrong but dependencyManagement messes with the > > version defined up the chain when what I want is a localised enforcement, > > its important to isolate the dependency and apply exclusions and version > > restrictions to

Re: initial comments on SAT solver document

2008-06-22 Thread Ralph Goers
Michael McCallum wrote: On Mon, 23 Jun 2008 11:20:40 Ralph Goers wrote: Why aren't you using dependencyManagement instead of the technique shown below? Good question, please refute/correct/flame if/where possible 1) there was no way to use dependencyManagement with deps when I adopt

Re: initial comments on SAT solver document

2008-06-22 Thread Michael McCallum
On Mon, 23 Jun 2008 11:20:40 Ralph Goers wrote: > Why aren't you using dependencyManagement instead of the technique shown > below? Good question, please refute/correct/flame if/where possible 1) there was no way to use dependencyManagement with deps when I adopted the technique. This works now

Re: initial comments on SAT solver document

2008-06-22 Thread Ralph Goers
Why aren't you using dependencyManagement instead of the technique shown below? Michael McCallum wrote: On Sun, 22 Jun 2008 18:16:37 Ralph Goers wrote: This is one of the problems that has bothered me for a while. It makes no sense for a project to say I'm compatible with 3.8.x. How in the

Re: initial comments on SAT solver document

2008-06-22 Thread Michael McCallum
On Sun, 22 Jun 2008 18:16:37 Ralph Goers wrote: > This is one of the problems that has bothered me for a while. It makes > no sense for a project to say I'm compatible with 3.8.x. How in the > world could they know that? The dependent project might release a new > 3.8.x release that isn't compatibl

Re: initial comments on SAT solver document

2008-06-22 Thread Jason van Zyl
On 22-Jun-08, at 12:41 AM, Ralph Goers wrote: Jason van Zyl wrote: In the world where there is some rigour in that the said project doesn't change the API within a major release they know very well. In Eclipse a great deal of care is taken to make sure that APIs don't change within a majo

Re: initial comments on SAT solver document

2008-06-22 Thread Ralph Goers
Jason van Zyl wrote: Frankly, even if version ranges worked as above I'd still probably not use them during a build simply because I want to specify exactly what is used in the build. However, it would be great to know that multiple projects have dependencies on incompatible versions of th

Re: initial comments on SAT solver document

2008-06-22 Thread Ralph Goers
Jason van Zyl wrote: In the world where there is some rigour in that the said project doesn't change the API within a major release they know very well. In Eclipse a great deal of care is taken to make sure that APIs don't change within a major release of the platform and ranges in dependencie

Re: initial comments on SAT solver document

2008-06-22 Thread Jason van Zyl
On 21-Jun-08, at 9:37 PM, Brett Porter wrote: Hi Oleg, all, I haven't dug into any of the code yet, but I've read through the document you were working on. It seems positive and makes sense. I did get a bit lost on the meaning of the "Tree Builder" section as it doesn't seem to describe

Re: initial comments on SAT solver document

2008-06-22 Thread Jason van Zyl
On 22-Jun-08, at 12:03 AM, Oleg Gusakov wrote: Ralph Goers wrote: See below Brett Porter wrote: Hi Oleg, all, I haven't dug into any of the code yet, but I've read through the document you were working on. It seems positive and makes sense. I did get a bit lost on the meaning of the "

Re: initial comments on SAT solver document

2008-06-22 Thread Jason van Zyl
On 21-Jun-08, at 11:16 PM, Ralph Goers wrote: See below Brett Porter wrote: Hi Oleg, all, I haven't dug into any of the code yet, but I've read through the document you were working on. It seems positive and makes sense. I did get a bit lost on the meaning of the "Tree Builder" section a

Re: initial comments on SAT solver document

2008-06-22 Thread Oleg Gusakov
Ralph Goers wrote: See below Brett Porter wrote: Hi Oleg, all, I haven't dug into any of the code yet, but I've read through the document you were working on. It seems positive and makes sense. I did get a bit lost on the meaning of the "Tree Builder" section as it doesn't seem to describ

Re: initial comments on SAT solver document

2008-06-21 Thread Ralph Goers
See below Brett Porter wrote: Hi Oleg, all, I haven't dug into any of the code yet, but I've read through the document you were working on. It seems positive and makes sense. I did get a bit lost on the meaning of the "Tree Builder" section as it doesn't seem to describe the current tree or

initial comments on SAT solver document

2008-06-21 Thread Brett Porter
Hi Oleg, all, I haven't dug into any of the code yet, but I've read through the document you were working on. It seems positive and makes sense. I did get a bit lost on the meaning of the "Tree Builder" section as it doesn't seem to describe the current tree or graph technique, but maybe