source: src/ResolvExpr@ 6be3b7d6

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Name Size Rev Age Author Last Change
../
AdjustExprType.cc 6.0 KB ​ 6be3b7d6   6 years a3moss Fix mis-named visit functions in AdjustExprType
Alternative.cc 5.0 KB ​ 234b1cb   6 years a3moss Port TupleAssignment to new AST
Alternative.h 4.3 KB ​ 234b1cb   6 years a3moss Port TupleAssignment to new AST
AlternativeFinder.cc 71.4 KB ​ c1ed2ee   6 years a3moss Continued resolver porting * mostly initialization and validation * …
AlternativeFinder.h 5.2 KB ​ 432ce7a   6 years a3moss Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
AlternativePrinter.cc 1.7 KB ​ bff09c8   8 years Rob Schluntz Convert AlternativePrinter to PassVisitor
AlternativePrinter.h 875 bytes ​ bff09c8   8 years Rob Schluntz Convert AlternativePrinter to PassVisitor
Candidate.cpp 1.3 KB ​ 99d4584   6 years a3moss Further stubs for resolver port * also switched order of constructor …
Candidate.hpp 3.3 KB ​ 234b1cb   6 years a3moss Port TupleAssignment to new AST
CandidateFinder.cpp 59.4 KB ​ 9ea38de   6 years a3moss Fix ast::Pass guard classes
CandidateFinder.hpp 2.1 KB ​ 9ea38de   6 years a3moss Fix ast::Pass guard classes
CastCost.cc 8.4 KB ​ 3c89751   6 years a3moss Port castCost, ptrsCastable
CommonType.cc 61.3 KB ​ b604426   6 years a3moss Fix typo
ConversionCost.cc 41.0 KB ​ fb2bde4   6 years ajbeach ConversionCost has been ported to the new AST.
ConversionCost.h 4.3 KB ​ 3c89751   6 years a3moss Port castCost, ptrsCastable
Cost.h 6.1 KB ​ 9504a89   6 years pabuhr remove old code for costing
CurrentObject.cc 36.7 KB ​ 2d11663   6 years a3moss resolver porting; finish top level of initialization
CurrentObject.h 4.1 KB ​ 2d11663   6 years a3moss resolver porting; finish top level of initialization
ExplodedActual.cc 826 bytes ​ 432ce7a   6 years a3moss Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
ExplodedActual.h 1.2 KB ​ 432ce7a   6 years a3moss Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
ExplodedArg.cpp 802 bytes ​ 432ce7a   6 years a3moss Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
ExplodedArg.hpp 1.2 KB ​ 432ce7a   6 years a3moss Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
FindOpenVars.cc 5.5 KB ​ 9519aba   6 years a3moss Port FindOpenVars to new AST
FindOpenVars.h 1.3 KB ​ f474e91   6 years a3moss Port unification calculations to new AST
module.mk 1.5 KB ​ 432ce7a   6 years a3moss Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
Occurs.cc 2.1 KB ​ 00ac42e   7 years a3moss stop eagerly copying EqvClass on lookup
PolyCost.cc 2.8 KB ​ 9ea38de   6 years a3moss Fix ast::Pass guard classes
PtrsAssignable.cc 7.2 KB ​ df9317bd   6 years ajbeach Filled in the definition of PtrsAssignable.
PtrsCastable.cc 9.0 KB ​ 3c89751   6 years a3moss Port castCost, ptrsCastable
RenameVars.cc 4.7 KB ​ f5edcb4   6 years ajbeach RenameVars needed a rather significant rework for the new AST.
RenameVars.h 1.1 KB ​ 898ae07   6 years a3moss More resolver porting
ResolveAssertions.cc 18.0 KB ​ b408364   6 years a3moss Correct over-aggressive assertion pruning
ResolveAssertions.h 901 bytes ​ 4d2d45f9   6 years a3moss Improve assertion error messages
Resolver.cc 66.3 KB ​ 3c89751   6 years a3moss Port castCost, ptrsCastable
Resolver.h 3.0 KB ​ 18e683b   6 years a3moss Port LinkReferenceToTypes pass
ResolveTypeof.cc 4.8 KB ​ 0f6a7752   6 years a3moss Put in temporary patch to finish new resolver port
ResolveTypeof.h 856 bytes ​ c8e4d2f8   6 years a3moss Start porting CastExpr resolution
ResolvMode.h 1.9 KB ​ 396037d   6 years a3moss Start stubbing CandidateFinder in
SatisfyAssertions.cpp 17.5 KB ​ b69233ac   6 years a3moss Port assertion satisfaction to new AST
SatisfyAssertions.hpp 960 bytes ​ b69233ac   6 years a3moss Port assertion satisfaction to new AST
SpecCost.cc 6.9 KB ​ 5aa4656   6 years ajbeach Filled in SpecCost and PolyCost for the new ast.
TypeEnvironment.cc 16.2 KB ​ f474e91   6 years a3moss Port unification calculations to new AST
TypeEnvironment.h 7.4 KB ​ f474e91   6 years a3moss Port unification calculations to new AST
typeops.h 7.3 KB ​ 3c89751   6 years a3moss Port castCost, ptrsCastable
Unify.cc 48.4 KB ​ 2773ab8   6 years a3moss Add new resolver overload for WaitForStmt
Unify.h 4.1 KB ​ 2773ab8   6 years a3moss Add new resolver overload for WaitForStmt
WidenMode.h 1.3 KB ​ ee574a2   6 years a3moss Port CommonType to new AST
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.