log

age author description
Sun, 04 May 2014 16:12:44 +0200 Miguel Garcia [flow-sensitive] refactoring, factor out evidence-search
Sat, 03 May 2014 16:19:43 +0200 Miguel Garcia [flow-sensitive] simplify to nullConstant
Sun, 04 May 2014 14:44:09 +0200 Miguel Garcia [flow-sensitive] bug fix, simplify ShortCircuitOrNode when of check-cast form
Sun, 04 May 2014 01:28:07 +0200 Doug Simon mx: improved heuristics for sorting remaining tasks in parallel Java build worklist
Sun, 04 May 2014 01:26:50 +0200 Doug Simon mx: made parallel Java builds interact correctly with management of subprocesses upon abort/quit
Sat, 03 May 2014 18:04:52 +0200 Doug Simon fixed clang compilation error