|
|
@b230091
|
3 years |
ajbeach |
Added a 'missing' TypeInstType? constructor and rewrote some calls to …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@2377ca2
|
3 years |
ajbeach |
Updated some names on mutate functions to me more consistent with some …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@400b8be
|
3 years |
ajbeach |
Added StmtClause? and converted the existing nodes that should be clauses.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@8631c84
|
3 years |
ajbeach |
Made ast::ptr_base swappable.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@94fa946
|
3 years |
ajbeach |
Cleaned up some files I have been looking at a lot recently.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@a76202d
|
3 years |
ajbeach |
Removed some code from Validate that had been used for the translation …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@41d3c8d
|
3 years |
caparson |
added check for mutex stmt header
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@080d2d7
|
3 years |
caparson |
added changes to mutex stmt pass
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@3bc69f2
|
3 years |
ajbeach |
May have fixed the build failure, but I'm still not sure why …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@f7496c5
|
3 years |
ajbeach |
class -> struct, silences a warning.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@39d8950
|
3 years |
ajbeach |
Thread global information through resolution. Non-top-level calls to …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@9d8124f
|
3 years |
f37yu |
fix some code that clearly does not accomplish the correct thing.
has …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@33b7d49
|
3 years |
ajbeach |
Added another check to checkInvariants for code locations. I also went …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@d824715
|
3 years |
pabuhr |
support reverse array subscript, 3[a] => a[3], 3abc? => "abc"[3]
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@4f6dda0
|
3 years |
ajbeach |
Converted Implement Concurrent Keywords to the new AST. Includes …
ADTast-experimentalenumpthread-emulationqualifiedEnum
old-sched
|
|
|
@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
|
|
|