|
|
|
@d68a3f7
|
4 months |
j82liang |
Update makeEnumOffsetCast to not report error for cast to non-parent …
|
|
|
|
@bfa7bf0
|
4 months |
ajbeach |
Silenced a warning.
|
|
|
|
@0c327ce
|
4 months |
j82liang |
1. Add bound check to Serial function: now compiler generates the …
|
|
|
|
@d3aa55e9
|
5 months |
j82liang |
1. Disallow implicit conversion from cfa enum to int during on the …
|
|
|
|
@5eb3f65
|
5 months |
pabuhr |
change enumeration function names labelE, valueE, posE to label, …
|
|
|
|
@525f7ad
|
5 months |
j82liang |
1. Add count_e( enum_name ), a pseudo function that return the …
|
|
|
|
@85855b0
|
5 months |
j82liang |
1. Implement enum cast; 2. Change valueE so that opague enum returns …
|
|
|
|
@0f5e8cd
|
5 months |
f37yu |
attempt to fix #286
|
|
|
|
@31f4837
|
6 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
|
@acb33f15
|
6 months |
j82liang |
Change enum conversion steps
|
|
|
|
@c92bdcc
|
6 months |
ajbeach |
Updated the rest of the names in src/ (except for the generated files).
|
|
|
|
@0b6c1c9
|
6 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
|
@c333ed2
|
6 months |
j82liang |
Remove intermeidate type (enum attribute type); remove …
|
|
|
|
@b2ea0cd
|
6 months |
ajbeach |
First wave of file renaming. Rename files in src/ and update all …
|
|
|
|
@eb7586e
|
7 months |
j82liang |
1. Change return value of typed Enum in null context: they now return …
|
|
|
|
@fc1a3e2
|
7 months |
ajbeach |
Style update. Focused on indentation and trailing whitespace.
|
|
|
|
@38093ae
|
7 months |
j82liang |
Resolve conflict
|
|
|
|
@7a780ad
|
7 months |
ajbeach |
Moved ast::BasicType::Kind to ast::BasicKind? in its own hearder. This …
|
|
|
|
@cdb4eaa
|
7 months |
j82liang |
Fix succ(Enum) error and resolution ambiguity of enum with inheritance
|
|
|
|
@7aa209e7
|
7 months |
ajbeach |
Fixing some whitespace around a recent merge. That lead to some …
|
|
|
|
@dc58e5d
|
7 months |
j82liang |
Small cleanup
|
|
|
|
@af746cc
|
7 months |
j82liang |
Reimplement the resolution of Enum instance type
|
|
|
|
@ab780e6
|
7 months |
ajbeach |
notZeroExpr (in the parser) has become createCondExpr (in the …
|
|
|
|
@a4da45e
|
9 months |
j82liang |
Resolve conflict
|
|
|
|
@0522ebe
|
9 months |
j82liang |
Add EnumPosType? to type system
|
|
|
|
@2beaf9b
|
9 months |
ajbeach |
Forgot to update comments from the last commit.
|
|
|
|
@2810700
|
9 months |
ajbeach |
The two argument form of the conditional operator now only has two …
|
|
|
|
@14755e5
|
9 months |
ajbeach |
Updated indentation in Resolver. Removed trailing whitespace.
|
|
|
|
@a55ebcc
|
9 months |
j82liang |
1. Add debug print option for replacePseudoFunc; 2. Change resolver …
|
|
|
|
@9ddcee1
|
9 months |
j82liang |
Remove EnumPosExpr?, an early design that no longer used. The …
|
|
|
|
@496ffc17
|
9 months |
j82liang |
Fix dangling reference to posE function
|
|
|
|
@c75b30a
|
9 months |
j82liang |
Introduce posE, valueE, labelE pseudo language to the language. Rework …
|
|
|
|
@61e362f
|
10 months |
ajbeach |
Changed notZeroExpr so that expressions with conditional contexts are …
|
|
|
|
@59c8dff
|
10 months |
j82liang |
Draft Implementation for enum position pesudo function (posE). …
|
|
|
|
@4a89b52
|
12 months |
ajbeach |
Renamed ResolvMode? to ResolveMode?. This is less consistent with the …
|
|
|
|
@2908f08
|
12 months |
ajbeach |
Most of ResolvExpr? was written before the new style standard. Some …
|
|
|
|
@0bd3faf
|
12 months |
ajbeach |
Removed forward declarations missed in the BaseSyntaxNode? removal. …
|
|
|
|
@fa761c2
|
13 months |
ajbeach |
Changed some new uses of UniqueId? to the ast version. Changed where …
|
|
|
|
@64727bd
|
17 months |
ajbeach |
Did my best to reimplement all the improvements made to …
|
|
|
|
@b96b1c0
|
17 months |
ajbeach |
Reproduing changes from commit eb8d791. This fixes most of the errors …
|
|
|
|
@24d6572
|
17 months |
f37yu |
Merge branch 'master' into ast-experimental
ast-experimental
|
|
|
|
@251ce80
|
18 months |
f37yu |
remove reference to symbol table in unify
ast-experimental
|
|
|
|
@46da46b
|
19 months |
f37yu |
current progress
ast-experimental
|
|
|
|
@eb8d791
|
19 months |
ajbeach |
CandidateFinder? fills in the CodeLocation? on a generated expression. …
ADTast-experimental
|
|
|
|
@153d3440
|
19 months |
ajbeach |
Reorganize CandidateFinder? to lower indentation. I did not flatten the …
ADTast-experimental
|
|
|
|
@5bf3976
|
22 months |
ajbeach |
Header Clean-Up: Created new headers for new AST typeops and moved …
ADTast-experimental
|
|
|
|
@fed6a0f
|
22 months |
ajbeach |
Header Clean-up: Moving more declarations to the header of the …
ADTast-experimental
|
|
|
|
@93c10de
|
2 years |
ajbeach |
Minimal changes to pull out nested types, TypeInstType::TypeEnvKey? and …
ADTast-experimental
|
|
|
|
@5408b59
|
2 years |
j82liang |
Remove var in QualifiedNameExpr?
ADTast-experimental
|
|
|
|
@4520b77e
|
2 years |
j82liang |
Merge to Master Sept 19
ADTast-experimentalpthread-emulation
|
|
|
|
@09f34a84
|
2 years |
Thierry Delisle |
Remove some of the warnings on the new clang
ADTast-experimentalpthread-emulation
|
|
|
|
@b0d9ff7
|
2 years |
j82liang |
Fix up the QualifiedNameExpr?. It should now work on both old AST and …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@def751f
|
2 years |
j82liang |
Merge branch 'master' into qualifiedEnum
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@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
|
|
|
|
@d958834b
|
2 years |
j82liang |
Save a minimal compilable version. The enum pointer …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@b9f8274
|
2 years |
ajbeach |
Removed the validate sub-pass interface. This also showed an extra …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@fc134a48
|
2 years |
j82liang |
Implement the struct enum
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@39d8950
|
3 years |
ajbeach |
Thread global information through resolution. Non-top-level calls to …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@7f62b708
|
3 years |
Thierry Delisle |
Step 2 of $thread to thread$ Missed some of the source
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@943bfad
|
3 years |
Thierry Delisle |
Fixed several warnings for clang@head
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@0536c03
|
4 years |
f37yu |
remove unnecessary prune
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@3e5dd913
|
4 years |
f37yu |
reimplement function type and eliminate deep copy
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@361bf01
|
4 years |
f37yu |
remove ParameterizedType? and put content into FunctionType?
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@e3282fe
|
4 years |
f37yu |
optimize out some mangle calls
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@88a0ff6
|
4 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@1389810
|
4 years |
f37yu |
consolidate prune and satisfy assertion
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@0292aa4
|
4 years |
ajbeach |
Fixed some formating/cleanlyness mistakes.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4702a2c
|
4 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@e5c3811
|
4 years |
f37yu |
create dedicated symbol tables for big 3 operators
note: arbitrary …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@bb87dd0
|
4 years |
mlbrooks |
Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@954c954
|
4 years |
f37yu |
Move function argument and return variable declarations from …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@98e8b3b
|
4 years |
ajbeach |
ast::ReferenceToType? is now ast::BaseInstType?.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4ef08f7
|
4 years |
Thierry Delisle |
Implemented KeywordCast? in CandidateFinder? of new AST.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@ef9988b
|
4 years |
f37yu |
fix lost typeinst in resolved assertions
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@7ff3e522
|
4 years |
ajbeach |
{pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@0d070ca
|
4 years |
Thierry Delisle |
disabled new heaptrace feature
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c15085d
|
4 years |
f37yu |
tracing memory allocation of resolver passes
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@71d6bd8
|
5 years |
Thierry Delisle |
First attempt at better errors on 'No reasonable alternatives' split …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@cf32116
|
5 years |
ajbeach |
Implemented expression based lvalue resolution on new ast.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4e13e2a
|
5 years |
Thierry Delisle |
Added setting of result in Comma expression.
Added asserts in …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@2890212
|
5 years |
Thierry Delisle |
Startup.cfa now compiles with new ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@417117e
|
5 years |
a3moss |
Assorted cleanup
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@e0e9a0b
|
5 years |
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@9ea38de
|
5 years |
a3moss |
Fix ast::Pass guard classes
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@18e683b
|
5 years |
a3moss |
Port LinkReferenceToTypes? pass
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c1ed2ee
|
5 years |
a3moss |
Continued resolver porting
* mostly initialization and validation
* …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@b8524ca
|
5 years |
a3moss |
new AST porting
* mostly InitTweak? autogeneration
* added some …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@b69233ac
|
5 years |
a3moss |
Port assertion satisfaction to new AST
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@17a0ede2
|
5 years |
a3moss |
Further resolver porting; finish initial draft of expression handling
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@898ae07
|
5 years |
a3moss |
More resolver porting
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@c8e4d2f8
|
5 years |
a3moss |
Start porting CastExpr? resolution
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@9d5089e
|
5 years |
a3moss |
Port CandidateFinder::makeFunctionCandidates() and deps
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@432ce7a
|
5 years |
a3moss |
Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@4b7cce6
|
5 years |
a3moss |
Fill in CandidateFinder? boilerplate in resolver port
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@d57e349
|
5 years |
a3moss |
More resolver porting
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@396037d
|
5 years |
a3moss |
Start stubbing CandidateFinder? in
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@2773ab8
|
5 years |
a3moss |
Add new resolver overload for WaitForStmt?
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
|
@99d4584
|
5 years |
a3moss |
Further stubs for resolver port
* also switched order of constructor …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
