|
|
@a494d105
|
3 years |
ajbeach |
Added a semantic error if the proper includes are not used before a …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@afe9e45
|
3 years |
pabuhr |
add more detailed syntax-error messages
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@f53afafb
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@5c216b4
|
3 years |
pabuhr |
add detailed syntax-error messages
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@f69fac7
|
3 years |
ajbeach |
Got the Util module started by moving over the unused AssertAcyclic? pass.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@9ef9644
|
3 years |
ajbeach |
Merge branch 'forall-pointer-decay' into 'master'.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@a556492
|
3 years |
ajbeach |
There was less extra code in ForallPointerDecay? then I hopped, but it …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@7d7ef6f
|
3 years |
ajbeach |
Revereted some changes and added a fix to get around the current issue …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@51b8582
|
3 years |
ajbeach |
So it was a bug in old code that seemed to be cancelling itself out …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@0db48ca
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@aac37fa
|
3 years |
pabuhr |
remove SemanticError? for "else" extension, support extern "..." for …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@eb211bf
|
3 years |
ajbeach |
Did some clean-up with the ast::Pass class. Moved some things out of …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@891f707
|
3 years |
Thierry Delisle |
Removed move in MLE as it prevents copy-ellision.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@08e4e6a
|
3 years |
Thierry Delisle |
Removed warning after last change.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@6668a3e
|
3 years |
Thierry Delisle |
Waitfor now resolves calls to get_monitor inside the resolver rather …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@1f7dc61
|
3 years |
Thierry Delisle |
Consistently changed TranslationUnit? from struct to class.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@9490621
|
3 years |
ajbeach |
My work in progress implementation of ForallPointerDecay? for Fangren.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@850aff1
|
3 years |
Thierry Delisle |
Added -Werror=return-type EVERYWHERE!
Added -Wextra in some places.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a554e5f4
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@968f280
|
3 years |
Thierry Delisle |
Made some implicit methods explicit due to clang warning
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ee918356
|
3 years |
Thierry Delisle |
Some clean-up to remove clang-only warnings
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@f8143a6
|
3 years |
Thierry Delisle |
Change pass visitor to avoid more transient strong references
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@b56ad5e
|
3 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@5f3ba11
|
3 years |
f37yu |
TranslateTries? pass
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@2f52b18
|
3 years |
pabuhr |
more cleanup
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@6180274
|
3 years |
pabuhr |
more cleanup, make more function parameters const, remove more std::
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@8cb149f
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@4de48c5
|
3 years |
caparson |
fixed comment
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@4e7171f
|
3 years |
pabuhr |
more cleanup of build_* functions, make init parameter const for …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ff3b0249
|
3 years |
pabuhr |
add else clause into WhileDoStmt? and ForStmt?
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@436bbe5
|
3 years |
pabuhr |
remove unnecessary std:: qualification, clean up build_* functions, …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@fde0a58
|
3 years |
pabuhr |
change assert to assertf
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3b0bc16
|
3 years |
pabuhr |
change class name WhileStmt? to WhileDoStmt?, add else clause to …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ab1a9ea
|
3 years |
caparson |
fixed merge
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@34c32f0
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3e5db5b4
|
3 years |
caparson |
added comments to loop portion of pass
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@89a5a1f
|
3 years |
pabuhr |
formatting, starting adding elsePart to while, do, and for statements
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@7b38b28
|
3 years |
pabuhr |
add LabelGeneratorNew?.hpp and LabelGeneratorNew?.cpp to module.mk
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@66daee4
|
3 years |
pabuhr |
formatting
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@dd3263c
|
3 years |
pabuhr |
new AST versions for LabelGenerator?
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ca8c0362
|
3 years |
pabuhr |
formatting
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@51ec1ab
|
3 years |
pabuhr |
formatting
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@45040b61
|
3 years |
pabuhr |
formatting, remove anonymous namespace
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3a4732f
|
3 years |
pabuhr |
formatting
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@37eb41b
|
3 years |
pabuhr |
formatting, remove anonymous namespace
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@0fba0d4
|
3 years |
pabuhr |
remove anonymous namespace
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@473d1da0
|
3 years |
pabuhr |
rename "if control" to "conditional control"
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@cef7430
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@6b2d444
|
3 years |
caparson |
changed a few mutexstmt things
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@e21f253
|
3 years |
ajbeach |
Removed the VISIT macro from Pass.impl.hpp. It was a very small …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@00a8e19
|
3 years |
ajbeach |
Missed one required file for the validate D changes, I think it was an …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a488783
|
3 years |
ajbeach |
Translated the first half of validate-D. HoistControlStruct? is pretty …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@451d958
|
3 years |
f37yu |
print function type correctly before resolver
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@91a72ef
|
3 years |
ajbeach |
Some assorted bits of clean-up. InitializerLength? was missing some …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a4a6802
|
3 years |
f37yu |
fill in FunctionType? assertions early
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@56f519b
|
3 years |
ajbeach |
Clean-up of the last pass. Added a test for the constructor mutex …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@f27331c
|
3 years |
ajbeach |
Factored the AddressExpr? constructor body into a helper that makes it …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@2cf3b87
|
3 years |
ajbeach |
Translated valitate-E after much bug hunting.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@0351e9f
|
3 years |
ajbeach |
Clean-up white-space and comments in the AST/Print module.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3cc1111
|
3 years |
ajbeach |
Small fix in Decl.hpp and a new-ast function added in InitTweak?.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@1387ea0
|
3 years |
ajbeach |
We can now thread the global/special declarations from convert to …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ce36b55
|
3 years |
ajbeach |
Translation of Validate F; and some improvements in some helpers.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@5dcb881
|
3 years |
ajbeach |
Split up the validate pass. (Some statistics code is repeated, but …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3249dd8b
|
3 years |
ajbeach |
Some clean-up. DeepCopyCore? lost its already tenous reason to be in …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@b7fd9daf
|
3 years |
f37yu |
Merge branch 'new-ast-unique-expr'
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@f95634e
|
3 years |
f37yu |
fix unique expr pass
ADTast-experimentalenumforall-pointer-decaynew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@bb9924c
|
3 years |
f37yu |
fix unique expr pass
ADTast-experimentalenumforall-pointer-decaynew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1622af5
|
3 years |
ajbeach |
Created CandidatePrinter? from AlternativePrinter? (seems to uncover a …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@5ee153d
|
3 years |
ajbeach |
Translated the Translate Throws pass to the new ast.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a5a08a05
|
3 years |
ajbeach |
Missed a few extra references to LabelGenerator?.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@cb921d4
|
3 years |
ajbeach |
Changed some of the new ast code so they no longer pass around the …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@de31a1d
|
3 years |
ajbeach |
Converted the two LabelGenerator? singletons into a single pure-static …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@817bb3c
|
3 years |
ajbeach |
Clean-up in MultiLevelExit?, including a small interface change.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@21fe17f
|
3 years |
ajbeach |
Clean-up the FixLabelsCore? class and utilities.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@b8ab91a
|
3 years |
ajbeach |
Fix Labels pass translated. This is fix label, mult-level exit and …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@8e48fca4
|
3 years |
ajbeach |
Combined the code in FixMain? so it is all done with one pass.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@0c577f7
|
3 years |
ajbeach |
Implemented new AST version of the Fix Names pass.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@f42fc13
|
3 years |
ajbeach |
Reorganize FixNames/FixMain? to avoid storing main_signature for so long.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@c600df1
|
3 years |
ajbeach |
Added ast::WithConstTranslationUnit? to give access to the surrounding …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@148ba7d
|
3 years |
ajbeach |
Added a return value to WithGuards::GuardValue? so you can save the old …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a36eb2d
|
3 years |
ajbeach |
First translation of the Gen Init pass. Passed the tests.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@da6396f
|
3 years |
ajbeach |
Looks like Henry's MakeLibCfa? worked this entire time.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@55cbff8
|
3 years |
ajbeach |
Added new ast resolver prototype support. Not exactly the same but …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@efc8f3e
|
3 years |
pabuhr |
change loop default-block for while/do/for to Python style
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a73c16e
|
3 years |
pabuhr |
parse loop default-block for while/do/for
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@fe8c31e
|
3 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@05c941a
|
3 years |
pabuhr |
change mutex expression syntax from mutex@ to mutex(), add rule to …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@68fe946e
|
3 years |
ajbeach |
Updated DeclStats? for the new ast. Also fixed a bug in the old …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@e16eb460
|
3 years |
pabuhr |
further restrict locations where @ occurs, remove empty argument list …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@4d8fbf4
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a8367eb
|
3 years |
caparson |
fixed mutexStmt bug related to pointers/references
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@63b3279e
|
3 years |
pabuhr |
add C++-style constructor initialization, T t{3,4} versus T t = {3,4}
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@bbe3719
|
3 years |
caparson |
cleaned up some mutex stmt related code
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@1d402be
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
|
|
|
@5b7c8b5
|
3 years |
caparson |
small changes and hopefully fixed build
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
|
|
|
@52fad0c
|
3 years |
y58xue |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
|
|
|
@6c2dc00
|
3 years |
y58xue |
Convert makeLibCfa to use new AST
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
|
|
|
@af67ee1
|
3 years |
caparson |
Added support for locks as parameters to mutex stmt
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
|
|
|
@9f5a19fa
|
3 years |
y58xue |
Enable expandMemberTuples new AST pass
Other work still needs to be …
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
|
|
|
@d249e0b
|
3 years |
y58xue |
Add expandMemberTuples pass to use new AST
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
|
|
|