source: src/ResolvExpr @ 1b143de

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Name Size Rev Age Author Last Change
../
AdjustExprType.cc 6.1 KB ​ 07de76b   5 years pabuhr remove file TypeVar?.h* and put TypeVar::Kind into TypeDecl?, move …
Alternative.cc 5.0 KB ​ 234b1cb   5 years a3moss Port TupleAssignment? to new AST
Alternative.h 4.4 KB ​ fd642d2   5 years ajbeach Added const in a few more places. This should be all the leaf areas …
AlternativeFinder.cc 70.8 KB ​ ac2b598   5 years Thierry Delisle Changed descriptors for concurrency to use $ prefix instead of …
AlternativeFinder.h 5.2 KB ​ 432ce7a   5 years a3moss Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
AlternativePrinter.cc 1.7 KB ​ bff09c8   7 years Rob Schluntz Convert AlternativePrinter? to PassVisitor?
AlternativePrinter.h 875 bytes ​ bff09c8   7 years Rob Schluntz Convert AlternativePrinter? to PassVisitor?
Candidate.cpp 1.3 KB ​ 99d4584   5 years a3moss Further stubs for resolver port * also switched order of constructor …
Candidate.hpp 3.3 KB ​ 234b1cb   5 years a3moss Port TupleAssignment? to new AST
CandidateFinder.cpp 59.4 KB ​ 18e683b   5 years a3moss Port LinkReferenceToTypes? pass
CandidateFinder.hpp 2.1 KB ​ b69233ac   5 years a3moss Port assertion satisfaction to new AST
CastCost.cc 8.7 KB ​ 7d01cf44   5 years ajbeach lvalue is now read through the expression.
CommonType.cc 60.3 KB ​ 3a55d9f   5 years pabuhr adjust column spacing in generated output
ConversionCost.cc 41.6 KB ​ 849720f   5 years ajbeach lvalue should now always come directly from the expression.
ConversionCost.h 4.5 KB ​ 7d01cf44   5 years ajbeach lvalue is now read through the expression.
Cost.h 6.1 KB ​ 9504a89   5 years pabuhr remove old code for costing
CurrentObject.cc 36.7 KB ​ 2d11663   5 years a3moss resolver porting; finish top level of initialization
CurrentObject.h 4.1 KB ​ 2d11663   5 years a3moss resolver porting; finish top level of initialization
ExplodedActual.cc 826 bytes ​ 432ce7a   5 years a3moss Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
ExplodedActual.h 1.2 KB ​ 432ce7a   5 years a3moss Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
ExplodedArg.cpp 802 bytes ​ 432ce7a   5 years a3moss Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
ExplodedArg.hpp 1.2 KB ​ 432ce7a   5 years a3moss Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
FindOpenVars.cc 5.5 KB ​ 85dac33   5 years ajbeach Added 'const' in some leaf positions where it doesn't seem to effect much.
FindOpenVars.h 1.3 KB ​ 85dac33   5 years ajbeach Added 'const' in some leaf positions where it doesn't seem to effect much.
module.mk 1.5 KB ​ 432ce7a   5 years a3moss Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
Occurs.cc 2.1 KB ​ 85dac33   5 years ajbeach Added 'const' in some leaf positions where it doesn't seem to effect much.
PolyCost.cc 2.7 KB ​ 5aa4656   5 years ajbeach Filled in SpecCost? and PolyCost? for the new ast.
PtrsAssignable.cc 7.1 KB ​ 7870799   5 years Thierry Delisle Cast cost and conversion cost now take constant parameters. This …
PtrsCastable.cc 9.3 KB ​ 07de76b   5 years pabuhr remove file TypeVar?.h* and put TypeVar::Kind into TypeDecl?, move …
RenameVars.cc 4.7 KB ​ f5edcb4   5 years ajbeach RenameVars? needed a rather significant rework for the new AST.
RenameVars.h 1.1 KB ​ 898ae07   5 years a3moss More resolver porting
ResolveAssertions.cc 18.0 KB ​ b4f8808   5 years ajbeach Removed lvalue from types in the old ast.
ResolveAssertions.h 901 bytes ​ 4d2d45f9   6 years a3moss Improve assertion error messages
Resolver.cc 66.9 KB ​ 3090127   5 years ajbeach Naming updates, most are to get exception names to the new …
Resolver.h 3.0 KB ​ 18e683b   5 years a3moss Port LinkReferenceToTypes? pass
ResolveTypeof.cc 4.8 KB ​ 0f6a7752   5 years a3moss Put in temporary patch to finish new resolver port
ResolveTypeof.h 856 bytes ​ c8e4d2f8   5 years a3moss Start porting CastExpr? resolution
ResolvMode.h 1.9 KB ​ 396037d   5 years a3moss Start stubbing CandidateFinder? in
SatisfyAssertions.cpp 17.5 KB ​ b69233ac   5 years a3moss Port assertion satisfaction to new AST
SatisfyAssertions.hpp 960 bytes ​ b69233ac   5 years a3moss Port assertion satisfaction to new AST
SpecCost.cc 6.9 KB ​ 5aa4656   5 years ajbeach Filled in SpecCost? and PolyCost? for the new ast.
TypeEnvironment.cc 16.4 KB ​ 7215000   5 years Thierry Delisle Added flag to disable non-deteministic parts of the output when testing
TypeEnvironment.h 7.4 KB ​ fd642d2   5 years ajbeach Added const in a few more places. This should be all the leaf areas …
typeops.h 7.5 KB ​ 7d01cf44   5 years ajbeach lvalue is now read through the expression.
Unify.cc 48.3 KB ​ 07de76b   5 years pabuhr remove file TypeVar?.h* and put TypeVar::Kind into TypeDecl?, move …
Unify.h 4.1 KB ​ 2773ab8   5 years a3moss Add new resolver overload for WaitForStmt?
WidenMode.h 1.3 KB ​ ee574a2   5 years a3moss Port CommonType? to new AST
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.