This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Syntax Tree Walkers#233

Merged

bettinaheim merged 34 commits intomasterfrom

ageller/targetValidation

Nov 15, 2019

Commits on Nov 6, 2019

Added target skeleton

Alan Geller
authored and
Alan Geller
committed
A bit more fleshed out and broken into more files

Alan Geller
authored and
Alan Geller
committed
Initial change to use cpability levels

Alan Geller
authored and
Alan Geller
committed
Added more leveling infrastructure. The real work is still TBD.
Alan Geller
committed
Lots more plumbing, getting close to gluing it all together
Alan Geller
committed
Dependency tracking is done for now. Next step is to figure out levels based on the code, which will require levels to be defined.

Alan Geller
authored and
Alan Geller
committed
Started on actual levels

Alan Geller
authored and
Alan Geller
committed
Couple of changes. Next step is to figure out how to handle quantum-ness of expressions in `if` statements.

Alan Geller
authored and
Alan Geller
committed
WIP: Working on expression checking for if statements.
Alan Geller
committed
Basic checks in place. Time to start thinking about tests...

Alan Geller
authored and
Alan Geller
committed
WIP -- restructuring to work on a syntax tree, and starting to add unit tests
Alan Geller
committed
The transformations are restructured and cleaned up, and no more hidden state (everything is wrapped in the top-level transformation). Still tests to add, as well as a few TODOs left in the code.
Alan Geller
committed
WIP -- tests crashing
Alan Geller
committed
First test case passes!!

Alan Geller
authored and
Alan Geller
committed
Almost all test cases working

Alan Geller
authored and
Alan Geller
committed
TRying to get the Level attribute recognized...

Alan Geller
authored and
Alan Geller
committed
Got the attribute working with help from Bettina, now all tests pass!
Alan Geller
committed
FIxed test name and comments
Alan Geller
committed
Initial versions of walkers, compiling cleanly
Alan Geller
committed
Stole a transformation test to use as a walker test
Alan Geller
committed
Refactored into the leveler (a transformation) and a call graph building walker.
Alan Geller
committed
Refactored to make the leveler more efficient by walking the implementation of specializations, rather than transforming them, avoiding a bunch of copying and allocation.
Alan Geller
committed
Removing a file that's not needed yet
Alan Geller
committed
Cleaned up some refactoring cruft
Alan Geller
committed

Commits

Commits on Nov 6, 2019

Commits on Nov 7, 2019

Commits on Nov 13, 2019

Commits on Nov 14, 2019

Commits on Nov 15, 2019