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.

Sign up for GitHub

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

Jump to bottom

Assume Schema- New Schema Solves Context with Assume #315

Merged
merged 18 commits into from
Feb 6, 2024
Merged

Assume Schema- New Schema Solves Context with Assume #315

merged 18 commits into from
Feb 6, 2024

Commits on Feb 2, 2024

  1. working on input schema

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    b0888c1 View commit details
    Browse the repository at this point in the history

  2. comment tweaks

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    9928e51 View commit details
    Browse the repository at this point in the history

  3. move schema to tree-inputs

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    0490d7a View commit details
    Browse the repository at this point in the history

  4. tweak semantics so loops are sound

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    a332665 View commit details
    Browse the repository at this point in the history

  5. semantics doc start

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    4839676 View commit details
    Browse the repository at this point in the history

  6. some examples

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    7a70012 View commit details
    Browse the repository at this point in the history

  7. move call up

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    acaf5f0 View commit details
    Browse the repository at this point in the history

  8. gitignore

    @oflatt
    oflatt committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    5e8f85c View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2024

  1. update to only use assumes

    @oflatt
    oflatt committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    072c624 View commit details
    Browse the repository at this point in the history

  2. rip out ctx

    @oflatt
    oflatt committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    6014a93 View commit details
    Browse the repository at this point in the history

  3. add as the way to make tuples

    @oflatt
    oflatt committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    418491f View commit details
    Browse the repository at this point in the history

  4. add unit back

    @oflatt
    oflatt committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    f89dc6e View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2024

  1. add Extend, remove unit

    @oflatt
    oflatt committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    76c3edb View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. remove type from arg, replace push with single

    @oflatt
    oflatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    2c60660 View commit details
    Browse the repository at this point in the history

  2. use alloc and add pointer type

    @oflatt
    oflatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    ea3c75a View commit details
    Browse the repository at this point in the history

  3. separate type and base type

    @oflatt
    oflatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    ebac75d View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. move to tree assume with better schema

    @oflatt
    oflatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    a5b565a View commit details
    Browse the repository at this point in the history

  2. fix up a comment

    @oflatt
    oflatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    f76ac0b View commit details
    Browse the repository at this point in the history