|
|
@8f06277
|
19 months |
ajbeach |
Some clean-up in Common/utility.h. Deleted some unused declarations …
ADTast-experimental
|
|
|
@5bf3976
|
20 months |
ajbeach |
Header Clean-Up: Created new headers for new AST typeops and moved …
ADTast-experimental
|
|
|
@fed6a0f
|
20 months |
ajbeach |
Header Clean-up: Moving more declarations to the header of the …
ADTast-experimental
|
|
|
@eef8dfb
|
4 years |
Thierry Delisle |
Merge branch 'master' into dkobets-vector
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@2fb35df
|
4 years |
f37yu |
exclude deleted declarations for assertion matching
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@aca6a54c
|
5 years |
dkobets |
Increase trait recursion limit
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@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
|
|
|
@7d01cf44
|
5 years |
ajbeach |
lvalue is now read through the expression.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@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
|
|
|
@6f096d2
|
5 years |
Thierry Delisle |
Resolver now uses constant interface
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@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
|
|
|
@b408364
|
5 years |
a3moss |
Correct over-aggressive assertion pruning
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@493a992
|
5 years |
a3moss |
Add specialization cost to assertion disambiguation
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@052cd71
|
5 years |
a3moss |
revert unfruitful assertion caching attempt
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4d2d45f9
|
5 years |
a3moss |
Improve assertion error messages
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e1f7eef
|
6 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
|
|
|
@aeb8f70
|
6 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
|
|
|
@b3bd772
|
6 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
|
|
|
@9aaacc27
|
6 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
|
|
|
@83ab931
|
6 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
|
|
|
@40290497
|
6 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
|
|
|
@0b00df0
|
6 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
|
|
|
@2fd9f24
|
6 years |
a3moss |
IdChain? tweaks to resolver
ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
|
|
|
@fbecee5
|
6 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
|
|
|
@2c187378
|
6 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
|
|
|
@6d6e829
|
6 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
|