On Thu, Jun 25, 2009 at 9:08 PM, Nuno Lopes wrote:
So we do whole program analysis. We start at the first statement in
global scope, model it, then add all its successor to a queue, and
keep modelling until we get to the end of the program. When we get to
a method call, we start modelling the exe
Hi Nuno,
On Thu, Jun 25, 2009 at 9:08 PM, Nuno Lopes wrote:
>> So we do whole program analysis. We start at the first statement in
>> global scope, model it, then add all its successor to a queue, and
>> keep modelling until we get to the end of the program. When we get to
>> a method call, we sta
So we do whole program analysis. We start at the first statement in
global scope, model it, then add all its successor to a queue, and
keep modelling until we get to the end of the program. When we get to
a method call, we start modelling the execution of the method. At the
end of the method, we p
On Fri, May 8, 2009 at 11:48 AM, mark burdett wrote:
> I was able to resolve http://bugs.php.net/bug.php?id=44780 by changing
> the fallbackmap from hours to minutes. The bug is apparently due to
> an issue with non-integer offsets. Also, this patch adds a couple
> missing time zones (Caracas and
On Jun 25, 2009, at 11:41 AM, Joe Stump wrote:
Once we're using GitHub, what are the benefits?
For me, they are as follows:
1. Built in bug tracking and wiki.
2. Fork Queue. I can't even begin to express the awesomesauce that
is the Fork Queue. Ever get a patch to your project as an attachmen
Lukas Kahwe Smith wrote:
>
> On 25.06.2009, at 00:12, Greg Beaver wrote:
>
>> cellogWed Jun 24 22:12:47 2009 UTC
>>
>> Modified files: (Branch: PHP_5_3)
>>/php-srcNEWS
>>/php-src/ext/phar/pharpharcommand.inc
>> Log:
>> fix slightly unclear error message in
