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

refactor: binary encoding of at most one clauses #37

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

refactor: binary encoding of at most one clauses #37

wants to merge 13 commits into from

Commits on May 30, 2024

  1. refactor: variable ids

    @baszalmstra
    baszalmstra committed May 30, 2024
    Configuration menu
    Copy the full SHA
    c57e642 View commit details
    Browse the repository at this point in the history

  2. refactor: binary encoding

    @baszalmstra
    baszalmstra committed May 30, 2024
    Configuration menu
    Copy the full SHA
    37e87c1 View commit details
    Browse the repository at this point in the history

  3. fix: fmt

    @baszalmstra
    baszalmstra committed May 30, 2024
    Configuration menu
    Copy the full SHA
    5ac362b View commit details
    Browse the repository at this point in the history

  4. fix: clippy

    @baszalmstra
    baszalmstra committed May 30, 2024
    Configuration menu
    Copy the full SHA
    5290eab View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. fix: problems

    @baszalmstra
    baszalmstra committed May 31, 2024
    Configuration menu
    Copy the full SHA
    0f483a0 View commit details
    Browse the repository at this point in the history

  2. fix: problem merging

    @baszalmstra
    baszalmstra committed May 31, 2024
    Configuration menu
    Copy the full SHA
    7e80cf5 View commit details
    Browse the repository at this point in the history

  3. wip

    @baszalmstra
    baszalmstra committed May 31, 2024
    Configuration menu
    Copy the full SHA
    a64894c View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Merge remote-tracking branch 'upstream/main' into refactor/binary_enc… 

    …oding
    @baszalmstra
    baszalmstra committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    7b66a1e View commit details
    Browse the repository at this point in the history

  2. fix: doctest

    @baszalmstra
    baszalmstra committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    7b248ca View commit details
    Browse the repository at this point in the history

  3. fix: doctest

    @baszalmstra
    baszalmstra committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    4c8c6e5 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Merge branch 'main' into refactor/binary_encoding

    @jjerphan
    jjerphan committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    12ffa47 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Merge pull request #1 from jjerphan/refactor/binary_encoding 

    Sync with `main` + potential suggestions / rest of implementation (if any)
    @baszalmstra
    baszalmstra authored Jul 29, 2024
    Configuration menu
    Copy the full SHA
    1ba5ecf View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Merge remote-tracking branch 'upstream/main' into refactor/binary_enc… 

    …oding
    @baszalmstra
    baszalmstra committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    e42b8b1 View commit details
    Browse the repository at this point in the history