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

WIP Syntactic simplifications #4022

Draft
wants to merge 16 commits into
base: master
Choose a base branch
from
Draft

WIP Syntactic simplifications #4022

wants to merge 16 commits into from

Commits on Aug 21, 2024

  1. Parse and internalise the syntactic attribute 

    Fix unit tests
    @geo2a
    geo2a committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    893052f View commit details
    Browse the repository at this point in the history

  2. Add -lsecp256k1

    @geo2a
    geo2a committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    a498521 View commit details
    Browse the repository at this point in the history

  3. Add test-syntactic-simplification 

    Run test-syntactic-simplification

Fix test
    @geo2a
    geo2a committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    47966d4 View commit details
    Browse the repository at this point in the history

  4. Add matchTermsWithSubst

    @geo2a
    geo2a committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    f17af8a View commit details
    Browse the repository at this point in the history

  5. Add CtxSyntactic

    @geo2a
    geo2a committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    8c571c1 View commit details
    Browse the repository at this point in the history

  6. Refactor requires check, use syntactic clauses

    @geo2a
    geo2a committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    3ca61d1 View commit details
    Browse the repository at this point in the history

  7. Remove commented-out code

    @geo2a
    geo2a committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    908ddf6 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. loop over syntactic side-conditions before applying semantically

    @goodlyrottenapple
    goodlyrottenapple committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    6bb4f96 View commit details
    Browse the repository at this point in the history

  2. Format with fourmolu

    github-actions committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    263c8a7 View commit details
    Browse the repository at this point in the history

  3. syntactic attribute should index starting with 1, not 0

    @goodlyrottenapple
    goodlyrottenapple committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    f03ad95 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. add more logging

    @goodlyrottenapple
    goodlyrottenapple committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    ef7343e View commit details
    Browse the repository at this point in the history

  2. make checkConcreteness less strict to accomodate for initially missin… 

    …g variables that only appear in the requires clause with syntactic
    @goodlyrottenapple
    goodlyrottenapple committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    30106fb View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. fix typos and unused import

    @goodlyrottenapple
    goodlyrottenapple committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    37653ab View commit details
    Browse the repository at this point in the history

  2. update integration test

    @goodlyrottenapple
    goodlyrottenapple committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    fc5776e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into 4579-syntactic-simplifications

    @goodlyrottenapple
    goodlyrottenapple committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    2962dbc View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. Merge branch 'master' into 4579-syntactic-simplifications

    @PetarMax
    PetarMax committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    fcf50be View commit details
    Browse the repository at this point in the history