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: azonenberg/yosys
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: c1f762ca5644
Choose a base ref
...
head repository: azonenberg/yosys
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: a44cc7a3d1c2
Choose a head ref
  • 7 commits
  • 8 files changed
  • 1 contributor

Commits on Dec 1, 2016

  1. Added "write_aiger -zinit -symbols -vmap"

    @cliffordwolf
    cliffordwolf committed Dec 1, 2016
    Copy the full SHA
    5fa1fa1 View commit details

  2. Added support for partially initialized regs to smt2 back-end

    @cliffordwolf
    cliffordwolf committed Dec 1, 2016
    Copy the full SHA
    52c243c View commit details

  3. Added "yosys-smtbmc --aig"

    @cliffordwolf
    cliffordwolf committed Dec 1, 2016
    Copy the full SHA
    88b9733 View commit details

  4. Added examples/aiger/

    @cliffordwolf
    cliffordwolf committed Dec 1, 2016
    Copy the full SHA
    105b637 View commit details

  5. Updated ABV to hg rev 8b555d9e67cf

    @cliffordwolf
    cliffordwolf committed Dec 1, 2016
    Copy the full SHA
    8a90e61 View commit details

Commits on Dec 3, 2016

  1. Improved yosys-smtbmc default -t/--assume-skipped for --cex and --aig

    @cliffordwolf
    cliffordwolf committed Dec 3, 2016

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    GPG key ID: 4AEE18F83AFDEB23
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    3776054 View commit details

  2. Added $assert/$assume support to AIGER back-end

    @cliffordwolf
    cliffordwolf committed Dec 3, 2016

    Unverified

    This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
    Learn about vigilant mode
    Copy the full SHA
    a44cc7a View commit details
Loading