source: src/AST

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @b230091   3 years ajbeach Added a 'missing' TypeInstType constructor and rewrote some calls to … ADT ast-experimental enum pthread-emulation qualifiedEnum
(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) @39d8950   4 years ajbeach Thread global information through resolution. Non-top-level calls to … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @33b7d49   4 years ajbeach Added another check to checkInvariants for code locations. I also went … 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) @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) @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) @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) @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) @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) @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) @ff3b0249   4 years pabuhr add else clause into WhileDoStmt and ForStmt 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) @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) @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) @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) @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) @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) @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) @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) @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) @68fe946e   4 years ajbeach Updated DeclStats for the new ast. Also fixed a bug in the old … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @6cebfef   4 years caparson added mutex stmt monitor ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @cc64be1d   4 years ajbeach Added VTableType to the conversion passes. ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3945abe   4 years Thierry Delisle New-AST boilerplate for vtable ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b238618   4 years ajbeach Added VTableType to the new ast. ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @943bfad   4 years Thierry Delisle Fixed several warnings for clang@head ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @6e50a6b   4 years mlbrooks Implementing language-provided syntax for (array) dimensions. Former … ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @798a8b3   4 years Thierry Delisle Attributes are now correctly visited when replacing typedefs ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @bc179fd3   4 years Thierry Delisle Removed more gcc11 warnings ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @68ff3de   4 years Thierry Delisle Removed unnecessary copy in loop ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @93f74c0f   4 years Thierry Delisle Changed how new pass visitor gets the return type of previsit to avoid … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b91bfde   4 years ajbeach Added and used some helpers. The widely useful one is a from_string … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @cd59d28   4 years ajbeach A bit of clean-up in AST/Type.cpp. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2d019af   5 years pabuhr parser global pragmas, fixes #241 ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @20207c0   5 years pabuhr fix old AST error printing for new kinds of types ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b66d14a   5 years pabuhr add new type kinds DStype and ALtype ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @302ef2a   5 years f37yu smart pointer memory safety ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @c9f6983   5 years f37yu fix non-initialization UB ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @a00a2c1   5 years f37yu fix reorder warning ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3e5dd913   5 years f37yu reimplement function type and eliminate deep copy ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @361bf01   5 years f37yu remove ParameterizedType and put content into FunctionType ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b3a0df6   5 years f37yu attempt to fix sizeType in new ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3e3f236   5 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @6a45bd78   5 years f37yu cleanup: remove params in TypeDecl (never used) ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @08ce416   5 years Thierry Delisle Changed configure to use new-ast by default. Ast options no longer … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @cd6a6ff   5 years Thierry Delisle Improved coverage of deterministic_output to be much finer grain. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @0292aa4   5 years ajbeach Fixed some formating/cleanlyness mistakes. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @4702a2c   5 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e5c3811   5 years f37yu create dedicated symbol tables for big 3 operators note: arbitrary … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @bb87dd0   5 years mlbrooks Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @a056f56   5 years Thierry Delisle Fixed forward declaration of TranslationUnit ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @23954b6   5 years ajbeach Convert now fills in the globals of the TranslationUnit. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e00c22f   5 years f37yu someone liked snake_case ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @0dd9a5e   5 years f37yu delay autogen resolve ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @16ba4a6f   5 years f37yu factor out resolver calls in pre-resolution stage ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @293dc1c   5 years ajbeach TranslationUnit is now used at the top-level of the new-ast passes. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @82f791f   5 years ajbeach Fixed ast::Pass::visit(CompoundStmt*) so it updates the right … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @c6c682cf   5 years ajbeach This should make the value of Pass[Visitor]::inFunction match the … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @1be1e5a   5 years ajbeach Added the TranslationUnit class to avoid globals. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @53d55b6   5 years Thierry Delisle Changed approach for isInFunction and implemented for old ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @5d2db68   5 years Thierry Delisle Fixed documentation and naming ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @cb25fc9   5 years Thierry Delisle Added to new ast mixin for checker whether it is inFunction or not ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e7d6968   5 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc into master ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @490fb92e   5 years f37yu move FixInit to new ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3aec25f   5 years ajbeach Some clean-up of new-ast types and the porting document. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @d5631b3   5 years ajbeach Moved VariableExpr next to NameExpr. Except in Expression.cc as I'm … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @954c954   5 years f37yu Move function argument and return variable declarations from … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b2a11ba   5 years ajbeach Rename WithConstTypeSubstitution from env to typeSubs to avoid name … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @98e8b3b   5 years ajbeach ast::ReferenceToType is now ast::BaseInstType. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b9fa85b   5 years ajbeach Should fix both trac #173 by porting the catch scoping hack to the new … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e6b42e7   5 years ajbeach Added the ast::Pass::read utility. Converted two passes to use its two … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @73f1b1c   5 years ajbeach Cleaned up comments from the PureVisitor addition. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @d3aa64f1   5 years f37yu pure visitor interface for new ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @4ef08f7   5 years Thierry Delisle Implemented KeywordCast in CandidateFinder of new AST. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @d5f4613   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b26144d   5 years f37yu do not print resolved type in tests ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @5339a87   5 years Thierry Delisle Added headers to Makefile Sources (since they are supposed to be) ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @13d33a75   5 years Thierry Delisle Merge branch 'master' into new-ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @ef9988b   5 years f37yu fix lost typeinst in resolved assertions ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @0240cd69   5 years Thierry Delisle Added overload to Pass::run with a single argument to help older compilers ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Note: See TracRevisionLog for help on using the revision log.