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

Add an IR for BTOR2 to reduce the dependencies on the C parser #2003

Open
wants to merge 36 commits into
base: main
Choose a base branch
from
Open

Add an IR for BTOR2 to reduce the dependencies on the C parser #2003

wants to merge 36 commits into from

Commits on Feb 5, 2024

  1. add btor2i code

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

Commits on Feb 11, 2024

  1. fix bugs with previous commit

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

Commits on Feb 12, 2024

  1. Merge branch 'main' into add-btor2i

    @obhalerao
    obhalerao committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    55bf546 View commit details
    Browse the repository at this point in the history

  2. update workflow version

    @obhalerao
    obhalerao committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    883e04c View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. delete modules

    @obhalerao
    obhalerao committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    d2a267f View commit details
    Browse the repository at this point in the history

  2. forgot to fix clippy issue

    @obhalerao
    obhalerao committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    a9ad7dc View commit details
    Browse the repository at this point in the history

  3. fix yet another formatting issue

    @obhalerao
    obhalerao committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    0f89eca View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. rewrite btor2 interface and begin to integrate with cider

    @obhalerao
    obhalerao committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    cb77d08 View commit details
    Browse the repository at this point in the history

  2. add a clippy fix

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

Commits on Feb 28, 2024

  1. write out skeleton btor2 primitive

    @obhalerao
    obhalerao committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    05a9c20 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. fix a lot of bugs

    @obhalerao
    obhalerao committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    bdc3c78 View commit details
    Browse the repository at this point in the history

  2. make formatter happy

    @obhalerao
    obhalerao committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    eb51b8c View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. add refcells for mut issues

    @obhalerao
    obhalerao committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    8da5071 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. make change to my_add

    @obhalerao
    obhalerao committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    6a9795e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into add-btor2i

    @obhalerao
    obhalerao committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    36b3e94 View commit details
    Browse the repository at this point in the history

  3. make a few changes and merge main

    @obhalerao
    obhalerao committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    f76df8c View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. add test and start debugging btor2prim

    @obhalerao
    obhalerao committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    17041f7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/calyxir/calyx into add-btor2i

    @obhalerao
    obhalerao committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    a7835f4 View commit details
    Browse the repository at this point in the history

  3. temp commit

    @obhalerao
    obhalerao committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    85b7524 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. finally finish testing

    @obhalerao
    obhalerao committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    7711fc3 View commit details
    Browse the repository at this point in the history

  2. fix warnings and format

    @obhalerao
    obhalerao committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    2b28e73 View commit details
    Browse the repository at this point in the history

  3. delete unnecessary files

    @obhalerao
    obhalerao committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    fd51064 View commit details
    Browse the repository at this point in the history

  4. fix build

    @obhalerao
    obhalerao committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    d3b7157 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2024

  1. begin adding ir

    @obhalerao
    obhalerao committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    04920d4 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2024

  1. write out IR

    @obhalerao
    obhalerao committed Mar 24, 2024
    Configuration menu
    Copy the full SHA
    6b96e9c View commit details
    Browse the repository at this point in the history

  2. make clippy happy

    @obhalerao
    obhalerao committed Mar 24, 2024
    Configuration menu
    Copy the full SHA
    cf9565c View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. refactor a bunch of things

    @obhalerao
    obhalerao committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    84e926a View commit details
    Browse the repository at this point in the history

  2. format

    @obhalerao
    obhalerao committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    34e510a View commit details
    Browse the repository at this point in the history

  3. make clippy happy

    @obhalerao
    obhalerao committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    1a76bbe View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2024

  1. fix some bugs and add tests

    @obhalerao
    obhalerao committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    9933b2a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/calyxir/calyx into add-btor… 

    …2-ir
    @obhalerao
    obhalerao committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    1510f9e View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. start implementing PR fixes

    @obhalerao
    obhalerao committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    0611caa View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2024

  1. make pr changes

    @obhalerao
    obhalerao committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    c70bab4 View commit details
    Browse the repository at this point in the history

  2. run fmt

    @obhalerao
    obhalerao committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    f839352 View commit details
    Browse the repository at this point in the history

  3. make clippy happy

    @obhalerao
    obhalerao committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    36575b4 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' of https://github.com/calyxir/calyx into add-btor… 

    …2-ir
    @obhalerao
    obhalerao committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    bd3aa30 View commit details
    Browse the repository at this point in the history