source: src/ResolvExpr/TypeEnvironment.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @184557e   6 years a3moss First draft of persistent-hash-based TypeEnvironment? new-env
(edit) @b21c77a   6 years a3moss Merge remote-tracking branch 'origin/with_gc' into new-env new-env
(edit) @28f3a19   6 years a3moss Merge branch 'master' into with_gc new-envwith_gc
(edit) @d286cf68   6 years a3moss Fix TypeEnvironment? bind algorithms ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @982f95d   6 years a3moss Start of new environment implementation; terribly broken new-env
(edit) @00ac42e   6 years a3moss stop eagerly copying EqvClass? on lookup ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @8e18b8e   6 years a3moss stop eagerly copying EqvClass? on lookup new-envwith_gc
(edit) @eba74ba   6 years a3moss Merge remote-tracking branch 'origin/master' into with_gc new-envwith_gc
(edit) @bd6e226   6 years Rob Schluntz Update documentation for AssertCompare? ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @f229fc2   7 years a3moss Modify resolver to use young-generation collection per-top-level expression new-envwith_gc
(edit) @68f9c43   7 years a3moss First pass at delete removal new-envwith_gc
(edit) @09c72d5   7 years Rob Schluntz Add function to add bindings from TypeSubstitution? to TypeEnvironment? ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @98a249fb   7 years Rob Schluntz Add operator<< for TypeEnvironment? ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @3f7e12cb   7 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @a585396   7 years a3moss Fix missing environment/open vars update in iterative resolver ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @50377a4   7 years Rob Schluntz Refactor tree print code to use Indenter ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @111a8af8   7 years Rob Schluntz Simplify AssertionSet? comparator ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @ea6332d   7 years Thierry Delisle Big header cleaning pass - commit 3 ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @6b0b624   7 years pabuhr change #ifndef to #pragma once ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @6c3a988f   8 years Rob Schluntz fix inferred parameter data structures to correctly associate … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @fc638d2   8 years Rob Schluntz fixed StmtExpr? code in PolyMutator?, added missing copy constructor, … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @2c57025   8 years Rob Schluntz add support for built-in sized trait which decouples size/alignment … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @8c49c0e   8 years Rob Schluntz decouple code that uses Type's forall list from std::list in … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @03da511   8 years Rob Schluntz added comparator to more intelligently order assertions for resolution … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(add) @843054c2   9 years pabuhr licencing: seventh groups of files ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Note: See TracRevisionLog for help on using the revision log.