|
|
@a0d1f1c
|
22 months |
ajbeach |
Header Clean-up: Removed no longer needed includes from typeops, and …
ADTast-experimental
|
|
|
@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
|
|
|
@2377ca2
|
3 years |
ajbeach |
Updated some names on mutate functions to me more consistent with some …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@8631c84
|
3 years |
ajbeach |
Made ast::ptr_base swappable.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@a488783
|
3 years |
ajbeach |
Translated the first half of validate-D. HoistControlStruct? is pretty …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@302ef2a
|
4 years |
f37yu |
smart pointer memory safety
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@490fb92e
|
4 years |
f37yu |
move FixInit? to new ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@52a4d69
|
4 years |
ajbeach |
Improvements to ast::ptr_base::strict_as. Added null to null variant …
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
|
|
|
@99da267
|
5 years |
mlbrooks |
Running a deep-copy on FunctionType? at RenameVars? time. This manual …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@7d0881c
|
5 years |
mlbrooks |
Aaron added decrement-without delete option to Node infrastructure
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
|
|
|
@bcb311b
|
5 years |
a3moss |
Move trap to ref count updates from create/destroy
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
|
|
|
@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
|
|
|
@2d11663
|
5 years |
a3moss |
resolver porting; finish top level of initialization
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@60aaa51d
|
5 years |
a3moss |
More resolver porting; mostly CurrentObject?
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@8c0d801
|
5 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b7d92b96
|
5 years |
a3moss |
More resolver porting
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@546e712
|
5 years |
Thierry Delisle |
Fix for 1 bug of N
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4864a73
|
5 years |
Thierry Delisle |
Added chain mutation and example use in resolver
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1346914
|
5 years |
a3moss |
Fix Mangler port to new AST
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@ee574a2
|
5 years |
a3moss |
Port CommonType? to new AST
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@dafe9e1
|
5 years |
ajbeach |
Fixed broken destructor cycles. Cleaned up strict_dynamic_cast.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@d76c588
|
5 years |
a3moss |
Stubs for new resolver, implementation of new indexer, type environment
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f685679
|
5 years |
ajbeach |
Translation can go both ways without crashing. Don't seem to be the …
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@893e106
|
5 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@76ed81f
|
5 years |
a3moss |
Broken stuff pre-Pass fix
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@8abee136
|
5 years |
mlbrooks |
early bug fixes from running conversion old-new-old, just before resolver
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@d8938622
|
5 years |
a3moss |
Broken GenericSubstitution? version
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@10a1225
|
5 years |
Thierry Delisle |
Many errors and warning fixes.
More visit implementation
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@87701b6
|
5 years |
Thierry Delisle |
Tentative fix for increment/decrement and implented a few more visits
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@54e41b3
|
5 years |
a3moss |
Add first half of ast::Expr subclasses
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@89c2f7c9
|
5 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3648d98
|
5 years |
a3moss |
Clean up warnings/errors from ast::Type merge
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1e97287
|
5 years |
ajbeach |
Re-created the statement section of the AST.
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@69bafd2
|
5 years |
a3moss |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@9e1d485
|
5 years |
a3moss |
First draft of ast::Type with subclasses
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@be567e9
|
5 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@6d51bd7
|
5 years |
Thierry Delisle |
Fixes to the new templated pass and started on conversions
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@fdbd4fd
|
5 years |
a3moss |
Add dynamic_cast as method to ptr_base
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@14cebb7a
|
5 years |
ajbeach |
Removed trailing white-space in AST.
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@2bb4a01
|
5 years |
a3moss |
Start on new AST
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@f47f887
|
5 years |
Thierry Delisle |
First draft of Pass.hpp and some updates to node.hpp
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@6a625de
|
5 years |
Thierry Delisle |
Some clean-up, some more assertions to check assumptions and changes …
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cedb545
|
5 years |
Thierry Delisle |
Added base class for new AST nodes
ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|