|
|
@14c0f7b
|
13 months |
ajbeach |
Added invariant to check that referenced declarations are in scope. …
|
|
|
@b7c53a9d
|
13 months |
ajbeach |
Added a new invariant check and the fixes required to make it pass. …
|
|
|
@e0069bd
|
13 months |
ajbeach |
Renaming of some SymbolTable? functions because they are different and …
|
|
|
@8f31be6
|
14 months |
ajbeach |
Fixed some warnings, deleted some commented out code.
|
|
|
@c8bf1b5
|
14 months |
ajbeach |
Removed a comment that referenced a long gone pass.
|
|
|
@260dad7
|
14 months |
ajbeach |
Updated indentation in AST/LinckageSpec.
|
|
|
@97b47ec
|
14 months |
ajbeach |
The 'sized' trait is now implemented on top of 'T *' declarations and …
|
|
|
@e172f42
|
14 months |
caparson |
Merge branch 'ast-experimental'
|
|
|
@8f557161
|
14 months |
mlbrooks |
Clarify and fix accuracy in eval public API, on reporting "unable to …
|
|
|
@62d62db
|
14 months |
caparson |
Merge branch 'master' into ast-experimental
ast-experimental
|
|
|
@24d6572
|
14 months |
f37yu |
Merge branch 'master' into ast-experimental
ast-experimental
|
|
|
@0658672
|
14 months |
ajbeach |
Improved hoisting. However, I had to change some code because of other …
ast-experimental
|
|
|
@148f836e
|
14 months |
ajbeach |
Cleaned up namespacing, indentation and whitespacing in Pass.impl.hpp.
ast-experimental
|
|
|
@334801b
|
14 months |
ajbeach |
Simplify one of the Pass::visit methods for CompoundStmt?. It repeats …
ast-experimental
|
|
|
@b9fe89b
|
15 months |
mlbrooks |
Make the symbol table's error-checking times explicit.
Previously, …
ast-experimental
|
|
|
@251ce80
|
15 months |
f37yu |
remove reference to symbol table in unify
ast-experimental
|
|
|
@efe89894
|
15 months |
ajbeach |
Fixed small whitespace issue.
ast-experimental
|
|
|
@bccd70a
|
15 months |
ajbeach |
Removed internal code from TypeSubstitution? header. It caused a chain …
ast-experimental
|
|
|
@2d0f918
|
15 months |
ajbeach |
Clean up methods for result1/N/Nstmt classes and the padantic pass macros.
ADTast-experimental
|
|
|
@46da46b
|
16 months |
f37yu |
current progress
ast-experimental
|
|
|
@6e1e2d0
|
16 months |
caparson |
resolved merge conflicts
ADTast-experimental
|
|
|
@c86b08d
|
16 months |
caparson |
added support for the waituntil statement in the compiler
ADTast-experimental
|
|
|
@d859a30
|
16 months |
ajbeach |
Some SymbolTable? clean-up I did while trying a change I didn't go …
ADTast-experimental
|
|
|
@fb4dc28
|
16 months |
ajbeach |
Moved new ast code out of one of the old files. The new file may have …
ADTast-experimental
|
|
|
@94c98f0e
|
16 months |
ajbeach |
Added/cleaned some AST comments.
ADTast-experimental
|
|
|
@fac05b3
|
17 months |
ajbeach |
Removed members from TupleType?. They were only used in one place, …
ADTast-experimental
|
|
|
@835d6e8
|
17 months |
ajbeach |
ast::SuspendStmt::Type -> ::Kind, this fits the new convention where …
ADTast-experimental
|
|
|
@3e94a23
|
17 months |
ajbeach |
More use of the new AST named boolean types.
ADTast-experimental
|
|
|
@bb7422a
|
17 months |
ajbeach |
Translated parser to the new ast. This incuded a small fix in the …
ADTast-experimental
|
|
|
@afdb74b
|
17 months |
ajbeach |
Looks like we missed one of the ast 'should be in every derived class' …
ADTast-experimental
|
|
|
@056bee8
|
17 months |
ajbeach |
Added printing of with clauses to the printing of both new and old ast …
ADTast-experimental
|
|
|
@fed03b3
|
17 months |
ajbeach |
Make sure fields of the TranslationUnit?, and its TranslationGlobal? …
ADTast-experimental
|
|
|
@257a8f5
|
18 months |
ajbeach |
Made some of the AST/Print helpers public.
ADTast-experimental
|
|
|
@8f06277
|
18 months |
ajbeach |
Some clean-up in Common/utility.h. Deleted some unused declarations …
ADTast-experimental
|
|
|
@26e6d88
|
18 months |
ajbeach |
Updated indentation in Pass.proto.hpp.
ADTast-experimental
|
|
|
@cad9edb
|
18 months |
ajbeach |
Split the forward include namespace from the declaration namespace in …
ADTast-experimental
|
|
|
@d3bffdb
|
18 months |
ajbeach |
Added some notes to porting.md.
ADTast-experimental
|
|
|
@a0d1f1c
|
19 months |
ajbeach |
Header Clean-up: Removed no longer needed includes from typeops, and …
ADTast-experimental
|
|
|
@fed6a0f
|
19 months |
ajbeach |
Header Clean-up: Moving more declarations to the header of the …
ADTast-experimental
|
|
|
@7b5694d
|
19 months |
ajbeach |
Header Clean-up: Moved more things from typeops to Unify.
ADTast-experimental
|
|
|
@e563edf
|
19 months |
ajbeach |
Header Clean-up: Clearing out typeops, moving things to Unify because …
ADTast-experimental
|
|
|
@66a89e7
|
20 months |
ajbeach |
pass::get_result -> pass::result::get for consistency with the …
ADTast-experimental
|
|
|
@d0bdb18
|
20 months |
ajbeach |
Removed extra scope calls in the new Pass. Added some documentation on …
ADTast-experimental
|
|
|
@93c10de
|
21 months |
ajbeach |
Minimal changes to pull out nested types, TypeInstType::TypeEnvKey? and …
ADTast-experimental
|
|
|
@db6cdc0
|
21 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimental
|
|
|
@e4d7c1c
|
21 months |
j82liang |
Implement enum Hiding
ADTast-experimental
|
|
|
@19a8c40
|
21 months |
ajbeach |
Some clean-up I had stashed from before I knew the InlineMemberDecl? …
ADTast-experimental
|
|
|
@71806e0
|
21 months |
j82liang |
Rename InlineValueDecl? to InlineMemberDecl?
ADTast-experimental
|
|
|
@44547b0
|
22 months |
ajbeach |
Removed the ObjectDecl? fields now represented on InlineValueDecl?. …
ADTast-experimental
|
|
|
@f2ff0a6
|
22 months |
ajbeach |
Function attributes are now visited earlier, so they are not …
ADTast-experimental
|
|
|
@93d2219
|
22 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimental
|
|
|
@e874605
|
22 months |
j82liang |
Add class InlineValueDecl?, which is a Declaration class that works as …
ADTast-experimental
|
|
|
@63d1ebe
|
22 months |
ajbeach |
Changed GenPoly::TypeVarMap? to use the same key type as …
ADTast-experimental
|
|
|
@bc899d6
|
22 months |
ajbeach |
Added ast::vector as a short hand and used it in one file as a test.
ADTast-experimental
|
|
|
@77de429
|
22 months |
j82liang |
Fix overriding enum value
ADTast-experimental
|
|
|
@c2b3243
|
22 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimental
|
|
|
@5408b59
|
22 months |
j82liang |
Remove var in QualifiedNameExpr?
ADTast-experimental
|
|
|
@1e30df7
|
22 months |
j82liang |
Supports inline enums
ADTast-experimental
|
|
|
@fad1f14
|
22 months |
ajbeach |
Small bits of clean-up I would rather not want to keep looking at.
ADTast-experimental
|
|
|
@4b8b2a4
|
23 months |
ajbeach |
Make unset locations earier to find with a search for 'CodeLocation?()'.
ADTast-experimental
|
|
|
@c02cef1
|
23 months |
ajbeach |
Clean-up in AST/Inspect.
ADTast-experimental
|
|
|
@3f7e68b7
|
23 months |
ajbeach |
It has been ~3 years, still no one is using GuardMethod?.
ADTast-experimental
|
|
|
@b859f59
|
23 months |
ajbeach |
Reordered fields in FunctionDecl? and removed some trailing white-space.
ADTast-experimental
|
|
|
@e01eb4a
|
23 months |
ajbeach |
Moved some functions from InitTweak? to Inspect.
ADTast-experimental
|
|
|
@20737104
|
23 months |
ajbeach |
Wrote a new asForward helper for Autogen.
ADTast-experimentalpthread-emulation
|
|
|
@e9e9f56
|
23 months |
ajbeach |
Used the WithCodeLocation? helper in more passes. This cleans up some …
ADTast-experimentalpthread-emulation
|
|
|
@a065f1f
|
2 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulation
|
|
|
@4520b77e
|
2 years |
j82liang |
Merge to Master Sept 19
ADTast-experimentalpthread-emulation
|
|
|
@ef1da0e2
|
2 years |
f37yu |
try to make parameter qualifier conversion work for assertions
ADTast-experimentalpthread-emulation
|
|
|
@8f1e035
|
2 years |
ajbeach |
Created a new module for more ast helpers. Put in code to efficiently …
ADTast-experimentalpthread-emulation
|
|
|
@ae1d151
|
2 years |
ajbeach |
White-space fixes and an improvement to some clean-up.
ADTast-experimentalpthread-emulation
|
|
|
@09f34a84
|
2 years |
Thierry Delisle |
Remove some of the warnings on the new clang
ADTast-experimentalpthread-emulation
|
|
|
@747d0fa
|
2 years |
ajbeach |
White-space clean-up in DeclReplacer?.
ADTast-experimentalpthread-emulation
|
|
|
@95e5018
|
2 years |
ajbeach |
Changed ast::pass::make_location_guard so it should work with C++14.
ADTast-experimentalpthread-emulation
|
|
|
@a9762dc
|
2 years |
Thierry Delisle |
Passvisitor can now track code location
ADTast-experimentalpthread-emulation
|
|
|
@3606fe4
|
2 years |
ajbeach |
Translated Instantiate Generic to the new AST. This includes various …
ADTast-experimentalpthread-emulation
|
|
|
@b0d9ff7
|
2 years |
j82liang |
Fix up the QualifiedNameExpr?. It should now work on both old AST and …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@ed9a1ae
|
2 years |
Thierry Delisle |
Cfa now distinguishes between thread and _Thread_local.
ADTast-experimentalpthread-emulation
|
|
|
@3992098
|
2 years |
ajbeach |
Changed the default Linkage on ast::FunctionDecl? from C to Cforall to …
ADTast-experimentalpthread-emulation
|
|
|
@e8616b6
|
2 years |
ajbeach |
Changed the default Linkage on ast::ObjectDecl? from C to Cforall. …
ADTast-experimentalpthread-emulation
|
|
|
@ffec1bf
|
2 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@9e23b446
|
2 years |
f37yu |
add specialize pass
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@6a896b0
|
2 years |
ajbeach |
Translated the Exception Declaration pass.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@1931bb01
|
2 years |
ajbeach |
Converted 'Validate A' to the new AST. There some utility changes as well.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@7b71402
|
2 years |
ajbeach |
Some white-space and comment fixes.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@b70abaf
|
2 years |
Thierry Delisle |
Added inspect file for asking questions about the ast.
So far only …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@eb5962a
|
2 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@1df492a
|
2 years |
j82liang |
Convert TypeInstType? to PointerType? before resolution
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@6739590
|
2 years |
ajbeach |
A small spacing fix.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@a8b87d3
|
2 years |
ajbeach |
Various bits of clean-up. The big one was some renaming inside …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@e6cf857f
|
2 years |
ajbeach |
call -> createCall: The template wrapper has been removed and now it …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@491bb81
|
2 years |
ajbeach |
Fixed some whitespace and indentation issues.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@7675f58
|
2 years |
ajbeach |
Labels on statements (not all Labels in the AST) now have all their …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@3f681b1
|
2 years |
ajbeach |
Added the new invariant checks. There seems to be a few unset …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@7edd5c1
|
2 years |
ajbeach |
Assorted fixes to the AST, found while I was trying to add more …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@24ceace
|
2 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@9e7236f4
|
2 years |
j82liang |
Resolution of struct enum. The codegen of struct enum will be in the …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@298fe57
|
2 years |
ajbeach |
Translated 3/4 of validate_B. Link Reference To Types has been removed …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@f6e6a55
|
2 years |
ajbeach |
Added ast::WaitForClause? and changed ast::WaitForStmt? to use it. This …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@374cb117
|
2 years |
j82liang |
Replace the interface for EnumDecl? node construction to support …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|