source: src

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2377ca2   3 years ajbeach Updated some names on mutate functions to me more consistent with some … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @400b8be   3 years ajbeach Added StmtClause and converted the existing nodes that should be clauses. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @8631c84   3 years ajbeach Made ast::ptr_base swappable. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @94fa946   3 years ajbeach Cleaned up some files I have been looking at a lot recently. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @a76202d   3 years ajbeach Removed some code from Validate that had been used for the translation … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @41d3c8d   3 years caparson added check for mutex stmt header ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @080d2d7   3 years caparson added changes to mutex stmt pass ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @3bc69f2   3 years ajbeach May have fixed the build failure, but I'm still not sure why … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @f7496c5   3 years ajbeach class -> struct, silences a warning. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @39d8950   3 years ajbeach Thread global information through resolution. Non-top-level calls to … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @9d8124f   3 years f37yu fix some code that clearly does not accomplish the correct thing. has … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @33b7d49   3 years ajbeach Added another check to checkInvariants for code locations. I also went … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @d824715   3 years pabuhr support reverse array subscript, 3[a] => a[3], 3abc => "abc"[3] ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @4f6dda0   4 years ajbeach Converted Implement Concurrent Keywords to the new AST. Includes … ADT ast-experimental enum pthread-emulation qualifiedEnum old-sched
(edit) @a494d105   4 years ajbeach Added a semantic error if the proper includes are not used before a … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @afe9e45   4 years pabuhr add more detailed syntax-error messages ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @f53afafb   4 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @5c216b4   4 years pabuhr add detailed syntax-error messages ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @f69fac7   4 years ajbeach Got the Util module started by moving over the unused AssertAcyclic pass. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @9ef9644   4 years ajbeach Merge branch 'forall-pointer-decay' into 'master'. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @a556492   4 years ajbeach There was less extra code in ForallPointerDecay then I hopped, but it … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @7d7ef6f   4 years ajbeach Revereted some changes and added a fix to get around the current issue … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @51b8582   4 years ajbeach So it was a bug in old code that seemed to be cancelling itself out … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @0db48ca   4 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @aac37fa   4 years pabuhr remove SemanticError for "else" extension, support extern "..." for … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @eb211bf   4 years ajbeach Did some clean-up with the ast::Pass class. Moved some things out of … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @891f707   4 years Thierry Delisle Removed move in MLE as it prevents copy-ellision. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @08e4e6a   4 years Thierry Delisle Removed warning after last change. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @6668a3e   4 years Thierry Delisle Waitfor now resolves calls to get_monitor inside the resolver rather … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @1f7dc61   4 years Thierry Delisle Consistently changed TranslationUnit from struct to class. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @9490621   4 years ajbeach My work in progress implementation of ForallPointerDecay for Fangren. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @850aff1   4 years Thierry Delisle Added -Werror=return-type EVERYWHERE! Added -Wextra in some places. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @a554e5f4   4 years caparson Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @968f280   4 years Thierry Delisle Made some implicit methods explicit due to clang warning ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @ee918356   4 years Thierry Delisle Some clean-up to remove clang-only warnings ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @f8143a6   4 years Thierry Delisle Change pass visitor to avoid more transient strong references ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @b56ad5e   4 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @5f3ba11   4 years f37yu TranslateTries pass ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @2f52b18   4 years pabuhr more cleanup ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @6180274   4 years pabuhr more cleanup, make more function parameters const, remove more std:: ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @8cb149f   4 years caparson Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @4de48c5   4 years caparson fixed comment ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @4e7171f   4 years pabuhr more cleanup of build_* functions, make init parameter const for … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @ff3b0249   4 years pabuhr add else clause into WhileDoStmt and ForStmt ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @436bbe5   4 years pabuhr remove unnecessary std:: qualification, clean up build_* functions, … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @fde0a58   4 years pabuhr change assert to assertf ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @3b0bc16   4 years pabuhr change class name WhileStmt to WhileDoStmt, add else clause to … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @ab1a9ea   4 years caparson fixed merge ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @34c32f0   4 years caparson Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @3e5db5b4   4 years caparson added comments to loop portion of pass ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @89a5a1f   4 years pabuhr formatting, starting adding elsePart to while, do, and for statements ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @7b38b28   4 years pabuhr add LabelGeneratorNew.hpp and LabelGeneratorNew.cpp to module.mk ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @66daee4   4 years pabuhr formatting ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @dd3263c   4 years pabuhr new AST versions for LabelGenerator ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @ca8c0362   4 years pabuhr formatting ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @51ec1ab   4 years pabuhr formatting ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @45040b61   4 years pabuhr formatting, remove anonymous namespace ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @3a4732f   4 years pabuhr formatting ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @37eb41b   4 years pabuhr formatting, remove anonymous namespace ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @0fba0d4   4 years pabuhr remove anonymous namespace ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @473d1da0   4 years pabuhr rename "if control" to "conditional control" ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @cef7430   4 years caparson Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @6b2d444   4 years caparson changed a few mutexstmt things ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @e21f253   4 years ajbeach Removed the VISIT macro from Pass.impl.hpp. It was a very small … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @00a8e19   4 years ajbeach Missed one required file for the validate D changes, I think it was an … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @a488783   4 years ajbeach Translated the first half of validate-D. HoistControlStruct is pretty … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @451d958   4 years f37yu print function type correctly before resolver ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @91a72ef   4 years ajbeach Some assorted bits of clean-up. InitializerLength was missing some … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @a4a6802   4 years f37yu fill in FunctionType assertions early ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @56f519b   4 years ajbeach Clean-up of the last pass. Added a test for the constructor mutex … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @f27331c   4 years ajbeach Factored the AddressExpr constructor body into a helper that makes it … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @2cf3b87   4 years ajbeach Translated valitate-E after much bug hunting. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @0351e9f   4 years ajbeach Clean-up white-space and comments in the AST/Print module. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @3cc1111   4 years ajbeach Small fix in Decl.hpp and a new-ast function added in InitTweak. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @1387ea0   4 years ajbeach We can now thread the global/special declarations from convert to … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @ce36b55   4 years ajbeach Translation of Validate F; and some improvements in some helpers. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @5dcb881   4 years ajbeach Split up the validate pass. (Some statistics code is repeated, but … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @3249dd8b   4 years ajbeach Some clean-up. DeepCopyCore lost its already tenous reason to be in … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @b7fd9daf   4 years f37yu Merge branch 'new-ast-unique-expr' ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @f95634e   4 years f37yu fix unique expr pass ADT ast-experimental enum forall-pointer-decay new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @bb9924c   4 years f37yu fix unique expr pass ADT ast-experimental enum forall-pointer-decay new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @1622af5   4 years ajbeach Created CandidatePrinter from AlternativePrinter (seems to uncover a … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @5ee153d   4 years ajbeach Translated the Translate Throws pass to the new ast. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @a5a08a05   4 years ajbeach Missed a few extra references to LabelGenerator. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @cb921d4   4 years ajbeach Changed some of the new ast code so they no longer pass around the … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @de31a1d   4 years ajbeach Converted the two LabelGenerator singletons into a single pure-static … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @817bb3c   4 years ajbeach Clean-up in MultiLevelExit, including a small interface change. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @21fe17f   4 years ajbeach Clean-up the FixLabelsCore class and utilities. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @b8ab91a   4 years ajbeach Fix Labels pass translated. This is fix label, mult-level exit and … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @8e48fca4   4 years ajbeach Combined the code in FixMain so it is all done with one pass. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @0c577f7   4 years ajbeach Implemented new AST version of the Fix Names pass. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @f42fc13   4 years ajbeach Reorganize FixNames/FixMain to avoid storing main_signature for so long. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @c600df1   4 years ajbeach Added ast::WithConstTranslationUnit to give access to the surrounding … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @148ba7d   4 years ajbeach Added a return value to WithGuards::GuardValue so you can save the old … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @a36eb2d   4 years ajbeach First translation of the Gen Init pass. Passed the tests. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @da6396f   4 years ajbeach Looks like Henry's MakeLibCfa worked this entire time. ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @55cbff8   4 years ajbeach Added new ast resolver prototype support. Not exactly the same but … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @efc8f3e   4 years pabuhr change loop default-block for while/do/for to Python style ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @a73c16e   4 years pabuhr parse loop default-block for while/do/for ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @fe8c31e   4 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
Note: See TracRevisionLog for help on using the revision log.