|
|
@954c954
|
4 years |
f37yu |
Move function argument and return variable declarations from …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@57e0289
|
4 years |
Thierry Delisle |
Added stats option to print stats per expression in new-ast resolution
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@98e8b3b
|
4 years |
ajbeach |
ast::ReferenceToType? is now ast::BaseInstType?.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b9fa85b
|
4 years |
ajbeach |
Should fix both trac #173 by porting the catch scoping hack to the new …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e6b42e7
|
4 years |
ajbeach |
Added the ast::Pass::read utility. Converted two passes to use its two …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@73f1b1c
|
4 years |
ajbeach |
Cleaned up comments from the PureVisitor? addition.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@d3aa64f1
|
4 years |
f37yu |
pure visitor interface for new ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4ef08f7
|
4 years |
Thierry Delisle |
Implemented KeywordCast? in CandidateFinder? of new AST.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@5339a87
|
4 years |
Thierry Delisle |
Added headers to Makefile Sources (since they are supposed to be)
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@ef9988b
|
4 years |
f37yu |
fix lost typeinst in resolved assertions
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@7ff3e522
|
4 years |
ajbeach |
{pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0d070ca
|
4 years |
Thierry Delisle |
disabled new heaptrace feature
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@22f94a4
|
4 years |
Thierry Delisle |
Merge branch 'master' into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@07d867b
|
4 years |
f37yu |
attempt to fix inferparams
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@a86b2ca6
|
4 years |
ajbeach |
Added Pass<...>::run which allows a pass to be constructed and run in …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b81fd95
|
4 years |
mlbrooks |
Fix bug where pointer and reference types allow unsound initialization …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1d17939
|
4 years |
ajbeach |
Implemented the recomented fix for #204, added at test that would have …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@eb1be63
|
4 years |
f37yu |
conversion cost pass should not consider structs again after types …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c408483
|
4 years |
f37yu |
cleanup
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c15085d
|
4 years |
f37yu |
tracing memory allocation of resolver passes
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@81da70a5
|
4 years |
f37yu |
actually fill inferred params and disable a check
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1cf2a9b
|
4 years |
f37yu |
Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c7f834e
|
4 years |
f37yu |
fix destructed return value in TypeSubstitution?
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e068c8a
|
4 years |
ajbeach |
Since my base solution introduced a lot of the mess, I decided to …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@73973b6
|
4 years |
f37yu |
manually call mutate on functiondecl
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@bcd74f3
|
4 years |
Thierry Delisle |
Merge branch 'master' into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@7215000
|
5 years |
Thierry Delisle |
Added flag to disable non-deteministic parts of the output when testing
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@7030dab
|
5 years |
Thierry Delisle |
Merge branch 'master' into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3090127
|
5 years |
ajbeach |
Naming updates, most are to get exception names to the new …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@ac2b598
|
5 years |
Thierry Delisle |
Changed descriptors for concurrency to use $ prefix instead of …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3b9c674
|
5 years |
ajbeach |
Expections now supported in position independent code.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@07de76b
|
5 years |
pabuhr |
remove file TypeVar?.h* and put TypeVar::Kind into TypeDecl?, move …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3b0c8cb
|
5 years |
Thierry Delisle |
Implemented Keyword cast in the alternative finder to remove aliassing …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@71d6bd8
|
5 years |
Thierry Delisle |
First attempt at better errors on 'No reasonable alternatives' split …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@9802f4c
|
5 years |
Thierry Delisle |
Merge branch 'master' into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@665f432
|
5 years |
Thierry Delisle |
Fixed trac #149 where operand names in asm statements where …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3f3bfe5a
|
5 years |
ajbeach |
Merge from master to new-ast. Removing old lvalue support.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cf32116
|
5 years |
ajbeach |
Implemented expression based lvalue resolution on new ast.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@90ce35aa
|
5 years |
mlbrooks |
Fixing new-resolver bug where libcfa build erroneously complains about …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4a60488
|
5 years |
ajbeach |
Merged from master taking the lvalue changes to expression and …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-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
|
|
|
@849720f
|
5 years |
ajbeach |
lvalue should now always come directly from the expression.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@8e1467d
|
5 years |
Thierry Delisle |
Fixed crash using shallow copy
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4e13e2a
|
5 years |
Thierry Delisle |
Added setting of result in Comma expression.
Added asserts in …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3315e3d
|
5 years |
ajbeach |
Unify uses Qualifiers::unify, which should handle lvalue better.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@a6f26ca
|
5 years |
Thierry Delisle |
Resolved typeof
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1118b8b
|
5 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
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
|
|
|
@b3976bf
|
5 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cc4218f
|
5 years |
Thierry Delisle |
Added assertion as documentation
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0f19f5e5
|
5 years |
ajbeach |
Made private overloads of convertToReferenceCost static.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@2d80111
|
5 years |
ajbeach |
Lvalue is checked through Expression::get_lvalue. Only three other …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f4f9d27
|
5 years |
pabuhr |
formatting
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3a55d9f
|
5 years |
pabuhr |
adjust column spacing in generated output
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f49b3fc
|
5 years |
Thierry Delisle |
Fixed memory bug in unify
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@2890212
|
5 years |
Thierry Delisle |
Startup.cfa now compiles with new ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@033ff37
|
5 years |
pabuhr |
remove attribute expression '@'name mechanism
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@504eb72
|
5 years |
Thierry Delisle |
Change node which was static to function to static ast::ptr to heap …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@96ac72c
|
5 years |
Thierry Delisle |
Merge branch 'master' into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4eb43fa
|
5 years |
Thierry Delisle |
Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@fd642d2
|
5 years |
ajbeach |
Added const in a few more places. This should be all the leaf areas …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@99da267
|
5 years |
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f53acdf8
|
5 years |
Thierry Delisle |
Merge branch 'master' into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-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
|
|
|
@8fd52e90
|
5 years |
Thierry Delisle |
Removed uses of lookupMutableXXX
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@ef5b828
|
5 years |
Thierry Delisle |
Indexer now has const lookup by default
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@7870799
|
5 years |
Thierry Delisle |
Cast cost and conversion cost now take constant parameters.
This …
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
|
|
|
@2f98fb2
|
5 years |
ajbeach |
An else-if for ZeroType? ended up in OneType? instead.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@03bf5c8
|
5 years |
ajbeach |
Check for nullptr in SpecCost?.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@417117e
|
5 years |
a3moss |
Assorted cleanup
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e0e9a0b
|
5 years |
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@6be3b7d6
|
5 years |
a3moss |
Fix mis-named visit functions in AdjustExprType?
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b604426
|
5 years |
a3moss |
Fix typo
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@9ea38de
|
5 years |
a3moss |
Fix ast::Pass guard classes
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1335e6f
|
5 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3c89751
|
5 years |
a3moss |
Port castCost, ptrsCastable
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@df9317bd
|
5 years |
ajbeach |
Filled in the definition of PtrsAssignable?.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0f6a7752
|
5 years |
a3moss |
Put in temporary patch to finish new resolver port
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@fb2bde4
|
5 years |
ajbeach |
ConversionCost? has been ported to the new AST.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c1ea11b
|
5 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@18e683b
|
5 years |
a3moss |
Port LinkReferenceToTypes? pass
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f2f22e3
|
5 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@9504a89
|
5 years |
pabuhr |
remove old code for costing
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c1ed2ee
|
5 years |
a3moss |
Continued resolver porting
* mostly initialization and validation
* …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@9af00d23
|
5 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b8524ca
|
5 years |
a3moss |
new AST porting
* mostly InitTweak? autogeneration
* added some …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f5edcb4
|
5 years |
ajbeach |
RenameVars? needed a rather significant rework for the new AST.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@234b1cb
|
5 years |
a3moss |
Port TupleAssignment? to new AST
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b69233ac
|
5 years |
a3moss |
Port assertion satisfaction to new AST
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@17a0ede2
|
5 years |
a3moss |
Further resolver porting; finish initial draft of expression handling
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@5aa4656
|
5 years |
ajbeach |
Filled in SpecCost? and PolyCost? for the new ast.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@898ae07
|
5 years |
a3moss |
More resolver porting
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
|
|
|
@c8e4d2f8
|
5 years |
a3moss |
Start porting CastExpr? resolution
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@9d5089e
|
5 years |
a3moss |
Port CandidateFinder::makeFunctionCandidates() and deps
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@aba20d2
|
5 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
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
|
|
|
@d76f32c
|
5 years |
ajbeach |
ast::UniqueExpr? was not having one of its fields initialized.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|