source: src/ResolvExpr@ b9fa85b

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation 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 71.6 KB ​ b81fd95   5 years mlbrooks Fix bug where pointer and reference types allow unsound initialization …
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 62.5 KB ​ 4ef08f7   5 years Thierry Delisle Implemented KeywordCast in CandidateFinder of new AST.
CandidateFinder.hpp 2.1 KB ​ cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
CastCost.cc 9.0 KB ​ 7ff3e522   5 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
CommonType.cc 60.4 KB ​ 7ff3e522   5 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
ConversionCost.cc 40.8 KB ​ e6b42e7   5 years ajbeach Added the ast::Pass::read utility. Converted two passes to use its two …
ConversionCost.h 4.4 KB ​ e6b42e7   5 years ajbeach Added the ast::Pass::read utility. Converted two passes to use its two …
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 2.2 KB ​ 5339a87   5 years Thierry Delisle Added headers to Makefile Sources (since they are supposed to be)
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 ​ 7ff3e522   5 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
PtrsAssignable.cc 7.1 KB ​ 7ff3e522   5 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
PtrsCastable.cc 9.3 KB ​ 7ff3e522   5 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
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.9 KB ​ b9fa85b   5 years ajbeach Should fix both trac #173 by porting the catch scoping hack to the new …
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.8 KB ​ 07d867b   5 years f37yu attempt to fix inferparams
SatisfyAssertions.hpp 958 bytes ​ cf32116   6 years ajbeach Implemented expression based lvalue resolution on new ast.
SpecCost.cc 7.1 KB ​ 7ff3e522   5 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
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.3 KB ​ 73f1b1c   5 years ajbeach Cleaned up comments from the PureVisitor addition.
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.