source: src/ResolvExpr/ResolveAssertions.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @5bf3976   15 months ajbeach Header Clean-Up: Created new headers for new AST typeops and moved … ADTast-experimental
(edit) @fed6a0f   15 months ajbeach Header Clean-up: Moving more declarations to the header of the … ADTast-experimental
(edit) @eef8dfb   3 years Thierry Delisle Merge branch 'master' into dkobets-vector ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2fb35df   3 years f37yu exclude deleted declarations for assertion matching ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @aca6a54c   4 years dkobets Increase trait recursion limit ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b4f8808   5 years ajbeach Removed lvalue from types in the old ast. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7d01cf44   5 years ajbeach lvalue is now read through the expression. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @85dac33   5 years ajbeach Added 'const' in some leaf positions where it doesn't seem to effect much. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6f096d2   5 years Thierry Delisle Resolver now uses constant interface ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1d760934   5 years pabuhr remove std::move( resKey ) as moving a local object in a return … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b408364   5 years a3moss Correct over-aggressive assertion pruning ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @462a7c7   5 years Thierry Delisle Removed non-moving assignment on ParamEntry? to help debugging ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @aaeacf4   5 years Thierry Delisle Removed global look-up table from UniqueId? to Decl ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d3b2c32a   5 years a3moss Add limit to number of recursive assertions tried at once ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @99d4584   5 years a3moss Further stubs for resolver port * also switched order of constructor … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d76c588   5 years a3moss Stubs for new resolver, implementation of new indexer, type environment ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c519942   5 years a3moss Fix bugs in assertion satisfaction costing * Calculate vars/spec cost … ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @493a992   5 years a3moss Add specialization cost to assertion disambiguation ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @052cd71   5 years a3moss revert unfruitful assertion caching attempt ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4d2d45f9   5 years a3moss Improve assertion error messages ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e1f7eef   5 years a3moss Add type-environment cached deferred resolution ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @aeb8f70   5 years a3moss Fix memory leaks in assertion resolution ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @b3bd772   5 years a3moss Prune in resolveAssertions conditional on result type of expression ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @9aaacc27   5 years a3moss Fix segfault in some tests ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @83ab931   5 years a3moss Fix type renaming issue with deferred resolution ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @40290497   5 years a3moss Fiddle with missing inferParams handling ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @0b00df0   5 years a3moss First draft of deferred expression resolution; DOES NOT BUILD ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @2fd9f24   5 years a3moss IdChain? tweaks to resolver ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @fbecee5   5 years a3moss rational.cfa passes deferred resolution pass now ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @2c187378   5 years a3moss Fix memory bugs in deferred resolution ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(add) @6d6e829   5 years a3moss First compiling draft of deferred assertions (build failure) ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Note: See TracRevisionLog for help on using the revision log.