[z3-five] Re: Dependencies

[Philipp von Weitershausen]

Martijn Faassen wrote:
> Sidnei da Silva wrote:
> 
>> What's our dependency on Z3 again? I think the last time I checked,
>> beta3 was required, but may also be b3+. Anyone can confirm?
> 
> 
> For the time being, let's require latest release beta for our 
> development version. That's beta 4 now. Testing with older releases at 
> this stage is in my opinion wasted effort.
> 
> We may even run ahead of a Z3 release for a bit once every while, as 
> long as *our* next release will be after the next release of Z3. For the 
> time being though, let's stick with beta4, as we can't be sure there'll 
> be a Z3 release before we want to do our Five 0.2 release.

+1

Requiring latest X3 release (in our case b4) should be our policy for now.

Btw, any plans on when to do the release? As far as I'm concerned we 
just need to do some testing, maybe some documentation updates, right?

Philipp