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

Capability Leveler#250

Closed

ScottCarda-MS wants to merge 39 commits intomainfrom

ageller/CapabilityLeveler

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 on Nov 7, 2019

Removed deleted file from project file
Alan Geller
committed
Removed an obsolete reference from the solution file
Alan Geller
committed

Commits on Nov 13, 2019

WIP, cleaning up
Alan Geller
committed

Commits on Nov 18, 2019

Apply suggestions from code review

bettinaheim
and
Alan Geller
authored
getting updates from master
Bettina Heim
committed
removing all leveler specific capabilities and tests
Bettina Heim
committed
splitting out the hashing in the symbol table
Bettina Heim
committed

Commits on Nov 19, 2019

eliminating the Transformation dependency in Targeting
Bettina Heim
committed
adding back the capability levels
Bettina Heim
committed
picking up changes that got lost
Bettina Heim
committed
making sure the deserialization works
Bettina Heim
committed