projects / repair.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: a3c5c1c)
Some embarrassing erros. The DNF conversion for negation wasn't
authorbdemsky <bdemsky>
Sun, 7 Nov 2004 01:19:30 +0000 (01:19 +0000)
committerbdemsky <bdemsky>
Sun, 7 Nov 2004 01:19:30 +0000 (01:19 +0000)
working quite right.  Printing negation a little more clearly.  Fixed
a problem with the termination analysis (it was too conservative).


No differences found
Data structure repair