projects / repair.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e52392e) | patch
1) Checking in filesystem example
authorbdemsky <bdemsky>
Thu, 6 May 2004 20:41:15 +0000 (20:41 +0000)
committerbdemsky <bdemsky>
Thu, 6 May 2004 20:41:15 +0000 (20:41 +0000)
commit5d11fc4a359b9fcb882e2f9c7bbde8ed632668da
tree0bfbeeb8af065a4dbada37972e893dca11018a65tree | snapshot
parente52392e8d56985c15b901dff8b3095c3425d0167commit | diff
1) Checking in filesystem example
2) Checking in code to handle Booleans/other expressions
3) Added invariants to updatenodes...
Repair/RepairCompiler/MCC/IR/AbstractInterferes.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Termination.java diff | blob | history
Repair/RepairCompiler/MCC/IR/UpdateNode.java diff | blob | history
Repair/RepairCompiler/MCC/specs/filesystem/test3.constraints [new file with mode: 0755] blob
Repair/RepairCompiler/MCC/specs/filesystem/test3.model [new file with mode: 0755] blob
Repair/RepairCompiler/MCC/specs/filesystem/test3.space [new file with mode: 0755] blob
Repair/RepairCompiler/MCC/specs/filesystem/test3.struct [new file with mode: 0755] blob
Data structure repair