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: babd8dc5b179
Choose a base ref
...
head repository: azonenberg/yosys
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: ac90de73beca
Choose a head ref
  • 9 commits
  • 5 files changed
  • 2 contributors

Commits on Jan 2, 2017

  1. Handle "always 1" like "always -1" in .smtc files

    @cliffordwolf
    cliffordwolf committed Jan 2, 2017
    Copy the full SHA
    81bb952 View commit details

Commits on Jan 3, 2017

  1. Added Verilog $rtoi and $itor support

    @cliffordwolf
    cliffordwolf committed Jan 3, 2017
    Copy the full SHA
    dfb461f View commit details

Commits on Jan 4, 2017

  1. Fixed "yosys-smtbmc --noprogress"

    @cliffordwolf
    cliffordwolf committed Jan 4, 2017
    Copy the full SHA
    ed812ea View commit details

  2. Fixed typo in tests/simple/arraycells.v

    @cliffordwolf
    cliffordwolf committed Jan 4, 2017
    Copy the full SHA
    080004b View commit details

  3. Implicitly set "yosys-smtbmc --noprogress" on windows

    @cliffordwolf
    cliffordwolf committed Jan 4, 2017
    Copy the full SHA
    b9ad91b View commit details

  4. Added handling of local memories and error for local decls in unnamed… 

    … blocks
    @cliffordwolf
    cliffordwolf committed Jan 4, 2017
    Copy the full SHA
    81a9ee2 View commit details

  5. Added "check -initdrv"

    @cliffordwolf
    cliffordwolf committed Jan 4, 2017
    Copy the full SHA
    0cac95e View commit details

Commits on Jan 5, 2017

  1. Fixed handling of local memories in functions

    @cliffordwolf
    cliffordwolf committed Jan 5, 2017
    Copy the full SHA
    2d32c6c View commit details

  2. Merge https://github.com/cliffordwolf/yosys

    @azonenberg
    azonenberg committed Jan 5, 2017
    Copy the full SHA
    ac90de7 View commit details
Loading