projects / repair.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 312a3d1) | patch
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)
commita3c5c1cd64c83a127b8d89293794a67c5f530dbe
treeab33622db8faa22b175be78771f6a658c78bc645tree | snapshot
parent312a3d1c3b3dddc26a8a5a7e2ec0e0c393d80814commit | diff
Some embarrassing erros.  The DNF conversion for negation wasn't
working quite right.  Printing negation a little more clearly.  Fixed
a problem with the termination analysis (it was too conservative).
Repair/RepairCompiler/MCC/IR/DNFConstraint.java diff | blob | history
Repair/RepairCompiler/MCC/IR/DNFRule.java diff | blob | history
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java diff | blob | history
Repair/RepairCompiler/MCC/IR/LogicStatement.java diff | blob | history
Repair/RepairCompiler/MCC/IR/OpExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/SemanticChecker.java diff | blob | history
Data structure repair