Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix launchers and completion injection #135

Draft
wants to merge 23 commits into
base: main
Choose a base branch
from

Commits on Apr 28, 2023

  1. WIP - Creates non transform launchers

    * Working on completion injection
    * Working on completion substitutiton
    jackcviers committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    eb1c556 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2023

  1. Configuration menu
    Copy the full SHA
    ca892bd View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2023

  1. Configuration menu
    Copy the full SHA
    cdead22 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2023

  1. WIP: Many states

    jackcviers committed May 1, 2023
    Configuration menu
    Copy the full SHA
    ede9854 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f12aeb7 View commit details
    Browse the repository at this point in the history
  3. Updates frame class building

    * Moves the frame builder to an external extension method on the transformedMethodSymbol
    * Adds typeExtensions to make making OrNull and OrTypes easier:
      ```scala
    	someType | someOtherType =:= OrType(someType, someOtherType, true)
    	someType.? =:= OrNull(someType)
    	```
    * Fixes block application in Deferred launcher
    * moves some additional string names to the constants file
    jackcviers committed May 1, 2023
    Configuration menu
    Copy the full SHA
    db0953d View commit details
    Browse the repository at this point in the history

Commits on May 2, 2023

  1. Configuration menu
    Copy the full SHA
    1986778 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    775663a View commit details
    Browse the repository at this point in the history

Commits on May 3, 2023

  1. WIP: Adds linear casedef constructuction.

    * Adds TransformedMethodKey and TransformedMethod to the
    * Uses putAttachment to attatch the transformed method to its subtrees
    to allow for local variable reconstruction in the transformation
    ContinuationsPhase companion
    * Constructs a Thicket around the original method rhs. Then collects
    the trees until a tree calling shift is encountered into a list of
    thickets, each ending in a call to shift. Finally, constructs the
    state machine match tree, creating a CaseDef for each thicket, then
    appends the final invocation error case.
    * Extracts IllegalArgumentException full name to constants
    * Extracts resumeBeforeInvoke message to constants
    jackcviers committed May 3, 2023
    Configuration menu
    Copy the full SHA
    d580038 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ca02470 View commit details
    Browse the repository at this point in the history
  3. WIP -- constructing the safe resumes

    * Identifies the inlined calls to replace
    * TODO -- add initialization
    * TODO finish the safe resume transformation
    jackcviers committed May 3, 2023
    Configuration menu
    Copy the full SHA
    9343a77 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2023

  1. WIP: Adds casedef initialization

    * fixes bad denotation
    * TODO -- on 0 case, remove second part of iteration initialization
    and generated label.
    jackcviers committed May 4, 2023
    Configuration menu
    Copy the full SHA
    0446703 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2023

  1. WIP: Finishes applying safe continuations to state machine

    * TODO: Check intermediate variable names
    * TODO: Handle ownership of nested trees
    jackcviers committed May 5, 2023
    Configuration menu
    Copy the full SHA
    843c2d2 View commit details
    Browse the repository at this point in the history
  2. WIP: Adding continuation value forwarding to the suspension points

    * TODO: Debug which option in the return value is not working
    * TODO: Replace suspension point values with reserved variables
    jackcviers committed May 5, 2023
    Configuration menu
    Copy the full SHA
    f2230a1 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2023

  1. WIP: Fixes the safe resume return constructions

    * Makes the intermediate states return from the appropiate label
    * Replaces the raw values with continuation initialized value refs
    jackcviers committed May 7, 2023
    Configuration menu
    Copy the full SHA
    a069d13 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2023

  1. Configuration menu
    Copy the full SHA
    b85f7c5 View commit details
    Browse the repository at this point in the history
  2. WIP: Complete transformation

    * TODO: Fix unbound placeholder parameter
    jackcviers committed May 8, 2023
    Configuration menu
    Copy the full SHA
    88b6e25 View commit details
    Browse the repository at this point in the history
  3. WIP: Completes transformation.

    * Todo: Fix GenBCode (probably a non-entered symbol somewhere)
    jackcviers committed May 8, 2023
    Configuration menu
    Copy the full SHA
    65e2524 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. Configuration menu
    Copy the full SHA
    68a145a View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Fixes transformation

    * Transformation is now fully done via TreeTypeMap with substitution
    * TODO values inside the anonymous function appear to be discarded --
    figure out why
    jackcviers committed May 12, 2023
    Configuration menu
    Copy the full SHA
    41035e3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5a9996a View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. Configuration menu
    Copy the full SHA
    718eef9 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. WIP- example launchers

    jackcviers committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    24b888a View commit details
    Browse the repository at this point in the history