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

Improve compile expansions #6

Merged
merged 23 commits into from
May 29, 2024
Merged

Improve compile expansions #6

merged 23 commits into from
May 29, 2024

Commits on May 15, 2024

  1. Add some automatic bindings for compiled parameters

    @yitzchak
    yitzchak committed May 15, 2024
    Configuration menu
    Copy the full SHA
    0df2947 View commit details
    Browse the repository at this point in the history

  2. Add print-key-sequence

    @yitzchak
    yitzchak committed May 15, 2024
    Configuration menu
    Copy the full SHA
    f8015d9 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Simplify some expansions

    @yitzchak
    yitzchak committed May 16, 2024
    Configuration menu
    Copy the full SHA
    27e1ff8 View commit details
    Browse the repository at this point in the history

  2. Add ignorable to expansion

    @yitzchak
    yitzchak committed May 16, 2024
    Configuration menu
    Copy the full SHA
    05d5c3b View commit details
    Browse the repository at this point in the history

  3. Fix typo

    @yitzchak
    yitzchak committed May 16, 2024
    Configuration menu
    Copy the full SHA
    112ebf0 View commit details
    Browse the repository at this point in the history

  4. Add some parameter names for compile expansion

    @yitzchak
    yitzchak committed May 16, 2024
    Configuration menu
    Copy the full SHA
    fa22b0b View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Update ~^ and some pretty printer ops

    @yitzchak
    yitzchak committed May 17, 2024
    Configuration menu
    Copy the full SHA
    d33cceb View commit details
    Browse the repository at this point in the history

Commits on May 19, 2024

  1. Add ABCL

    @yitzchak
    yitzchak committed May 19, 2024
    Configuration menu
    Copy the full SHA
    0a39a14 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Fix unit-test for ABCL 

    Also fix some style errors
    @yitzchak
    yitzchak committed May 20, 2024
    Configuration menu
    Copy the full SHA
    7c38e15 View commit details
    Browse the repository at this point in the history

  2. Add name for count parameter

    @yitzchak
    yitzchak committed May 20, 2024
    Configuration menu
    Copy the full SHA
    b6dd281 View commit details
    Browse the repository at this point in the history

  3. Improve expansion of goto and conditional directives

    @yitzchak
    yitzchak committed May 20, 2024
    Configuration menu
    Copy the full SHA
    f47d401 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. Improve interpreter for conditional directive

    @yitzchak
    yitzchak committed May 22, 2024
    Configuration menu
    Copy the full SHA
    5c91ffd View commit details
    Browse the repository at this point in the history

  2. Add ECL

    @yitzchak
    yitzchak committed May 22, 2024
    Configuration menu
    Copy the full SHA
    c3f385f View commit details
    Browse the repository at this point in the history

  3. Add ACL

    @yitzchak
    yitzchak committed May 22, 2024
    Configuration menu
    Copy the full SHA
    1cd0098 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2024

  1. Improve some misc directives

    @yitzchak
    yitzchak committed May 25, 2024
    Configuration menu
    Copy the full SHA
    e5077b6 View commit details
    Browse the repository at this point in the history

  2. Improve some basic output directives

    @yitzchak
    yitzchak committed May 25, 2024
    Configuration menu
    Copy the full SHA
    3a6be0b View commit details
    Browse the repository at this point in the history

  3. Improve compile expansion for Justification

    @yitzchak
    yitzchak committed May 25, 2024
    Configuration menu
    Copy the full SHA
    5866289 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. More updates

    @yitzchak
    yitzchak committed May 29, 2024
    Configuration menu
    Copy the full SHA
    56a9d64 View commit details
    Browse the repository at this point in the history

  2. Add ccl

    @yitzchak
    yitzchak committed May 29, 2024
    Configuration menu
    Copy the full SHA
    fc92aeb View commit details
    Browse the repository at this point in the history

  3. Add expected failures for CCL

    @yitzchak
    yitzchak committed May 29, 2024
    Configuration menu
    Copy the full SHA
    5cabde1 View commit details
    Browse the repository at this point in the history

  4. Add cmucl

    @yitzchak
    yitzchak committed May 29, 2024
    Configuration menu
    Copy the full SHA
    1610848 View commit details
    Browse the repository at this point in the history

  5. Set seccomp

    @yitzchak
    yitzchak committed May 29, 2024
    Configuration menu
    Copy the full SHA
    0fa119a View commit details
    Browse the repository at this point in the history

  6. Update

    @yitzchak
    yitzchak committed May 29, 2024
    Configuration menu
    Copy the full SHA
    7af028b View commit details
    Browse the repository at this point in the history