source: src/ResolvExpr@ 81da70a5

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.1 KB 07de76b   6 years pabuhr remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move …
Alternative.cc 5.0 KB 234b1cb   6 years a3moss Port TupleAssignment to new AST
Alternative.h 4.4 KB fd642d2   6 years ajbeach Added const in a few more places. This should be all the leaf areas …
AlternativeFinder.cc 70.8 KB ac2b598   6 years Thierry Delisle Changed descriptors for concurrency to use $ prefix instead of …
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 4e13e2a   6 years Thierry Delisle Added setting of result in Comma expression. Added asserts in …
CandidateFinder.cpp 60.3 KB 71d6bd8   6 years Thierry Delisle First attempt at better errors on 'No reasonable alternatives' split …
CandidateFinder.hpp 2.1 KB cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
CastCost.cc 9.0 KB cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
CommonType.cc 60.3 KB 3a55d9f   6 years pabuhr adjust column spacing in generated output
ConversionCost.cc 41.9 KB cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
ConversionCost.h 4.6 KB cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
Cost.h 6.1 KB 9504a89   6 years pabuhr remove old code for costing
CurrentObject.cc 36.8 KB 8e1467d   6 years Thierry Delisle Fixed crash using shallow copy
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 85dac33   6 years ajbeach Added 'const' in some leaf positions where it doesn't seem to effect much.
FindOpenVars.h 1.3 KB 85dac33   6 years ajbeach Added 'const' in some leaf positions where it doesn't seem to effect much.
module.mk 1.5 KB 432ce7a   6 years a3moss Port CandidateFinder::postvisit for UntypedExpr, stub dependencies
Occurs.cc 2.1 KB 85dac33   6 years ajbeach Added 'const' in some leaf positions where it doesn't seem to effect much.
PolyCost.cc 2.8 KB 9ea38de   6 years a3moss Fix ast::Pass guard classes
PtrsAssignable.cc 7.1 KB 7870799   6 years Thierry Delisle Cast cost and conversion cost now take constant parameters. This …
PtrsCastable.cc 9.3 KB 07de76b   6 years pabuhr remove file TypeVar.h* and put TypeVar::Kind into TypeDecl, move …
RenameVars.cc 5.4 KB 4e13e2a   6 years Thierry Delisle Added setting of result in Comma expression. Added asserts in …
RenameVars.h 1.1 KB 898ae07   6 years a3moss More resolver porting
ResolveAssertions.cc 18.0 KB b4f8808   6 years ajbeach Removed lvalue from types in the old ast.
ResolveAssertions.h 901 bytes 4d2d45f9   6 years a3moss Improve assertion error messages
Resolver.cc 67.1 KB e068c8a   5 years ajbeach Since my base solution introduced a lot of the mess, I decided to …
Resolver.h 3.0 KB 18e683b   6 years a3moss Port LinkReferenceToTypes pass
ResolveTypeof.cc 4.8 KB a6f26ca   6 years Thierry Delisle Resolved typeof
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.6 KB 81da70a5   5 years f37yu actually fill inferred params and disable a check
SatisfyAssertions.hpp 958 bytes cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
SpecCost.cc 7.1 KB 03bf5c8   6 years ajbeach Check for nullptr in SpecCost.
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   6 years ajbeach Added const in a few more places. This should be all the leaf areas …
typeops.h 7.6 KB cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
Unify.cc 48.0 KB c7f834e   5 years f37yu fix destructed return value in TypeSubstitution
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.