source: src/ResolvExpr@ cde3891

ADT arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Name Size Rev Age Author Last Change
../
AdjustExprType.cc 3.5 KB ​ 00ac42e   7 years a3moss stop eagerly copying EqvClass on lookup
Alternative.cc 5.3 KB ​ aeb8f70   7 years a3moss Fix memory leaks in assertion resolution
Alternative.h 4.5 KB ​ 2c187378   7 years a3moss Fix memory bugs in deferred resolution
AlternativeFinder.cc 71.2 KB ​ da6032af   7 years a3moss Remove assertion cost from cost model
AlternativeFinder.h 5.2 KB ​ 59cf83b   7 years a3moss Switch resolution flags to packed struct
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
CastCost.cc 4.7 KB ​ 00ac42e   7 years a3moss stop eagerly copying EqvClass on lookup
CommonType.cc 32.3 KB ​ 825170d   7 years Rob Schluntz Fix commonType for pointers to place qualifiers on base type [fixes #100]
ConversionCost.cc 19.0 KB ​ d97c3a4   7 years a3moss Fix new cost model by boosting precedence of safe costs
ConversionCost.h 2.3 KB ​ bd0b6b62   8 years Rob Schluntz Convert ConversionCost and CastCost to PassVisitor
Cost.h 6.3 KB ​ d97c3a4   7 years a3moss Fix new cost model by boosting precedence of safe costs
CurrentObject.cc 20.6 KB ​ ba4a1d8   7 years Rob Schluntz Use eval in CurrentObject
CurrentObject.h 1.6 KB ​ ea6332d   8 years Thierry Delisle Big header cleaning pass - commit 3
ExplodedActual.cc 714 bytes ​ 62194cb   8 years a3moss Reduce duplication of cost/env in ExplodedActual
ExplodedActual.h 1.0 KB ​ d286cf68   7 years a3moss Fix TypeEnvironment bind algorithms
FindOpenVars.cc 3.9 KB ​ ce7ed2c   8 years Rob Schluntz Convert FindOpenVars to PassVisitor
FindOpenVars.h 905 bytes ​ ea6332d   8 years Thierry Delisle Big header cleaning pass - commit 3
module.mk 1.3 KB ​ 6d6e829   7 years a3moss First compiling draft of deferred assertions (build failure)
Occurs.cc 2.1 KB ​ 00ac42e   7 years a3moss stop eagerly copying EqvClass on lookup
PolyCost.cc 1.7 KB ​ 00ac42e   7 years a3moss stop eagerly copying EqvClass on lookup
PtrsAssignable.cc 4.3 KB ​ 00ac42e   7 years a3moss stop eagerly copying EqvClass on lookup
PtrsCastable.cc 5.3 KB ​ 00ac42e   7 years a3moss stop eagerly copying EqvClass on lookup
RenameVars.cc 2.9 KB ​ ad51cc2   8 years Rob Schluntz Convert RenameVars to PassVisitor
RenameVars.h 1.0 KB ​ ad51cc2   8 years Rob Schluntz Convert RenameVars to PassVisitor
ResolveAssertions.cc 16.3 KB ​ e1f7eef   7 years a3moss Add type-environment cached deferred resolution
ResolveAssertions.h 869 bytes ​ 6d6e829   7 years a3moss First compiling draft of deferred assertions (build failure)
Resolver.cc 34.4 KB ​ 2fd9f24   7 years a3moss IdChain tweaks to resolver
Resolver.h 1.7 KB ​ 2a6292d   7 years Rob Schluntz Resolve with expressions earlier to ensure new local variables are …
ResolveTypeof.cc 3.1 KB ​ 8e04794   7 years a3moss Fixed basetypeof for enum types
ResolveTypeof.h 724 bytes ​ ea6332d   8 years Thierry Delisle Big header cleaning pass - commit 3
ResolvMode.h 1.9 KB ​ 6d6e829   7 years a3moss First compiling draft of deferred assertions (build failure)
SpecCost.cc 3.6 KB ​ 1dd1bd2   7 years a3moss Add var count and type specialization costs to resolver model
TypeEnvironment.cc 16.1 KB ​ 9ad2f9f   7 years a3moss TypeEnvironment::combine -- compiles, untested
TypeEnvironment.h 7.4 KB ​ 0b00df0   7 years a3moss First draft of deferred expression resolution; DOES NOT BUILD
typeops.h 4.7 KB ​ fbecee5   7 years a3moss rational.cfa passes deferred resolution pass now
Unify.cc 28.2 KB ​ d286cf68   7 years a3moss Fix TypeEnvironment bind algorithms
Unify.h 3.0 KB ​ d286cf68   7 years a3moss Fix TypeEnvironment bind algorithms
WidenMode.h 1.3 KB ​ d286cf68   7 years a3moss Fix TypeEnvironment bind algorithms
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.