8000 Comparing master...btor2aiger · hwmcc/btor2tools · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: hwmcc/btor2tools
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: hwmcc/btor2tools
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: btor2aiger
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 15 commits
  • 11 files changed
  • 1 contributor

Commits on Sep 24, 2019

  1. Add initial version of BTOR2 to AIGER bitblaster.

    @mpreiner
    mpreiner committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    f4e1b9d View commit details
    Browse the repository at this point in the history

  2. cmake: Add more options. Refactor configure script.

    @mpreiner
    mpreiner committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    ae16c94 View commit details
    Browse the repository at this point in the history

  3. Add script to setup all dependencies.

    @mpreiner
    mpreiner committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    64fdbfb View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2019

  1. Add btorsplit to split multi-property files into single-property files.

    @mpreiner
    mpreiner committed Sep 30, 2019
    Configuration menu
    Copy the full SHA
    6e99078 View commit details
    Browse the repository at this point in the history

  2. btor2aiger: Abort if file cannot be opened.

    @mpreiner
    mpreiner committed Sep 30, 2019
    Configuration menu
    Copy the full SHA
    8b42fea View commit details
    Browse the repository at this point in the history

  3. btor2aiger: Add option to ignore AIGER errors.

    @mpreiner
    mpreiner committed Sep 30, 2019
    Configuration menu
    Copy the full SHA
    e5ebcfd View commit details
    Browse the repository at this point in the history

  4. btor2aiger: Fix adding outputs.

    @mpreiner
    mpreiner committed Sep 30, 2019
    Configuration menu
    Copy the full SHA
    e5ff286 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2019

  1. btor2aiger: Add missing calls to AIGER library.

    @mpreiner
    mpreiner committed Oct 2, 2019
    Configuration menu
    Copy the full SHA
    f67502c View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2019

  1. btor2aiger: Fix handling of states without next functions.

    @mpreiner
    mpreiner committed Oct 3, 2019
    Configuration menu
    Copy the full SHA
    64f95d5 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2019

  1. btor2aiger: Do not translate BTOR outputs.

    @mpreiner
    mpreiner committed Oct 10, 2019
    Configuration menu
    Copy the full SHA
    48d0fb8 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2019

  1. btorsim: Allow state assignments for k > 0. 

    If a state does not have a next function, the witness must contain the
assignment in each time frame since the state is essentially an input.
    @mpreiner
    mpreiner committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    8760c31 View commit details
    Browse the repository at this point in the history

  2. Add missing copyright headers.

    @mpreiner
    mpreiner committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    6b2d3d5 View commit details
    Browse the repository at this point in the history

  3. btorsim: Add support for more operators.

    @mpreiner
    mpreiner committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    7f4ff9c View commit details
    Browse the repository at this point in the history

  4. Move.

    @mpreiner
    mpreiner committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    78d61ff View commit details
    Browse the repository at this point in the history

  5. btorsim: Ignore outputs.

    @mpreiner
    mpreiner committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    a8e491c View commit details
    Browse the repository at this point in the history
Loading
0