projects
/
repair.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
This checkin eliminates cases in which the repair algorithm generates unnecessary...
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
drwxr-xr-x
..
-rwxr-xr-x
16029
AbstractInterferes.java
blob
|
history
|
raw
-rwxr-xr-x
4121
AbstractRepair.java
blob
|
history
|
raw
-rwxr-xr-x
5344
ArrayAnalysis.java
blob
|
history
|
raw
-rwxr-xr-x
728
ArrayDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
1060
Binding.java
blob
|
history
|
raw
-rwxr-xr-x
1085
BooleanLiteralExpr.java
blob
|
history
|
raw
-rwxr-xr-x
2329
CastExpr.java
blob
|
history
|
raw
-rwxr-xr-x
454
CodeWriter.java
blob
|
history
|
raw
-rwxr-xr-x
2537
ComputeMaxSize.java
blob
|
history
|
raw
-rwxr-xr-x
13050
ConcreteInterferes.java
blob
|
history
|
raw
-rwxr-xr-x
1013
Conjunction.java
blob
|
history
|
raw
-rwxr-xr-x
80
ConsequenceNode.java
blob
|
history
|
raw
-rwxr-xr-x
2313
Constraint.java
blob
|
history
|
raw
-rwxr-xr-x
8698
ConstraintDependence.java
blob
|
history
|
raw
-rwxr-xr-x
113
Cost.java
blob
|
history
|
raw
-rwxr-xr-x
1503
DNFConstraint.java
blob
|
history
|
raw
-rwxr-xr-x
442
DNFExpr.java
blob
|
history
|
raw
-rwxr-xr-x
581
DNFPredicate.java
blob
|
history
|
raw
-rwxr-xr-x
1456
DNFRule.java
blob
|
history
|
raw
-rwxr-xr-x
158
DebugItem.java
blob
|
history
|
raw
-rwxr-xr-x
7107
DependencyBuilder.java
blob
|
history
|
raw
-rwxr-xr-x
760
Descriptor.java
blob
|
history
|
raw
-rwxr-xr-x
14059
DotExpr.java
blob
|
history
|
raw
-rwxr-xr-x
2225
ElementOfExpr.java
blob
|
history
|
raw
-rwxr-xr-x
1907
ExactSize.java
blob
|
history
|
raw
-rwxr-xr-x
2033
Expr.java
blob
|
history
|
raw
-rwxr-xr-x
1631
ExprPredicate.java
blob
|
history
|
raw
-rwxr-xr-x
761
FieldDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
2517
ForQuantifier.java
blob
|
history
|
raw
-rwxr-xr-x
22128
GraphAnalysis.java
blob
|
history
|
raw
-rwxr-xr-x
12326
GraphNode.java
blob
|
history
|
raw
-rwxr-xr-x
192
IRErrorReporter.java
blob
|
history
|
raw
-rwxr-xr-x
371
IRException.java
blob
|
history
|
raw
-rwxr-xr-x
3614
ImageSetExpr.java
blob
|
history
|
raw
-rwxr-xr-x
11201
ImplicitSchema.java
blob
|
history
|
raw
-rwxr-xr-x
393
Inclusion.java
blob
|
history
|
raw
-rwxr-xr-x
2286
InclusionPredicate.java
blob
|
history
|
raw
-rwxr-xr-x
1060
IntegerLiteralExpr.java
blob
|
history
|
raw
-rwxr-xr-x
702
InvariantValue.java
blob
|
history
|
raw
-rwxr-xr-x
700
LabelDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
428
LiteralExpr.java
blob
|
history
|
raw
-rwxr-xr-x
6172
LogicStatement.java
blob
|
history
|
raw
-rwxr-xr-x
5487
MetaInclusion.java
blob
|
history
|
raw
-rwxr-xr-x
737
MissingSetDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
344
MissingTypeDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
4599
ModelRuleDependence.java
blob
|
history
|
raw
-rwxr-xr-x
1101
MultUpdateNode.java
blob
|
history
|
raw
-rwxr-xr-x
8147
NaiveGenerator.java
blob
|
history
|
raw
-rwxr-xr-x
12954
OpExpr.java
blob
|
history
|
raw
-rwxr-xr-x
2810
Opcode.java
blob
|
history
|
raw
-rwxr-xr-x
26441
Optimizer.java
blob
|
history
|
raw
-rwxr-xr-x
4303
ParseNode.java
blob
|
history
|
raw
-rwxr-xr-x
1952
ParseNodeDOTVisitor.java
blob
|
history
|
raw
-rwxr-xr-x
466
ParseNodeVector.java
blob
|
history
|
raw
-rwxr-xr-x
445
Predicate.java
blob
|
history
|
raw
-rwxr-xr-x
100
PrettyPrinter.java
blob
|
history
|
raw
-rwxr-xr-x
452
Quantifier.java
blob
|
history
|
raw
-rwxr-xr-x
127
Quantifiers.java
blob
|
history
|
raw
-rwxr-xr-x
2104
RelationDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
4997
RelationExpr.java
blob
|
history
|
raw
-rwxr-xr-x
3953
RelationFunctionExpr.java
blob
|
history
|
raw
-rwxr-xr-x
5092
RelationInclusion.java
blob
|
history
|
raw
-rwxr-xr-x
3711
RelationQuantifier.java
blob
|
history
|
raw
-rwxr-xr-x
466
Repair.java
blob
|
history
|
raw
-rwxr-xr-x
68206
RepairGenerator.java
blob
|
history
|
raw
-rwxr-xr-x
399
ReservedFieldDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
272
ReservedSetDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
839
ReservedTypeDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
3086
Rule.java
blob
|
history
|
raw
-rwxr-xr-x
816
RuleConjunction.java
blob
|
history
|
raw
-rwxr-xr-x
125
ScheduleEvent.java
blob
|
history
|
raw
-rwxr-xr-x
568
ScopeNode.java
blob
|
history
|
raw
-rwxr-xr-x
157
SemanticAnalyzer.java
blob
|
history
|
raw
-rwxr-xr-x
54036
SemanticChecker.java
blob
|
history
|
raw
-rwxr-xr-x
2558
SetAnalysis.java
blob
|
history
|
raw
-rwxr-xr-x
2235
SetDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
1702
SetExpr.java
blob
|
history
|
raw
-rwxr-xr-x
2827
SetInclusion.java
blob
|
history
|
raw
-rwxr-xr-x
2849
SetQuantifier.java
blob
|
history
|
raw
-rwxr-xr-x
1971
SimpleIRErrorReporter.java
blob
|
history
|
raw
-rwxr-xr-x
1591
SizeofExpr.java
blob
|
history
|
raw
-rwxr-xr-x
3079
SizeofFunction.java
blob
|
history
|
raw
-rwxr-xr-x
2525
Sources.java
blob
|
history
|
raw
-rwxr-xr-x
1650
StandardCodeWriter.java
blob
|
history
|
raw
-rwxr-xr-x
7914
StructureGenerator.java
blob
|
history
|
raw
-rwxr-xr-x
4941
StructureTypeDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
2804
SymbolTable.java
blob
|
history
|
raw
-rwxr-xr-x
646
SymbolTableStack.java
blob
|
history
|
raw
-rwxr-xr-x
1915
TermNode.java
blob
|
history
|
raw
-rwxr-xr-x
41784
Termination.java
blob
|
history
|
raw
-rwxr-xr-x
1317
TokenLiteralExpr.java
blob
|
history
|
raw
-rwxr-xr-x
537
TokenSetDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
3289
TupleOfExpr.java
blob
|
history
|
raw
-rwxr-xr-x
648
TypeDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
18160
UpdateNode.java
blob
|
history
|
raw
-rwxr-xr-x
4027
Updates.java
blob
|
history
|
raw
-rwxr-xr-x
1276
VarDescriptor.java
blob
|
history
|
raw
-rwxr-xr-x
4231
VarExpr.java
blob
|
history
|
raw
-rwxr-xr-x
697
Walkable.java
blob
|
history
|
raw
-rwxr-xr-x
5211
WorkList.java
blob
|
history
|
raw
-rwxr-xr-x
11559
WorklistGenerator.java
blob
|
history
|
raw