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

Commits on May 8, 2017

  1. Copy the full SHA
    1a4b7c6 View commit details

Commits on May 11, 2017

  1. Copy the full SHA
    241dc7d View commit details

Commits on May 12, 2017

  1. Copy the full SHA
    bd4ed19 View commit details
  2. Copy the full SHA
    7931e1e View commit details
  3. Improve simplec back-end

    cliffordwolf committed May 12, 2017
    Copy the full SHA
    ef7594c View commit details

Commits on May 13, 2017

  1. Improve simplec back-end

    cliffordwolf committed May 13, 2017
    Copy the full SHA
    628daab View commit details

Commits on May 14, 2017

  1. Improve simplec back-end

    cliffordwolf committed May 14, 2017
    Copy the full SHA
    9c397ea View commit details

Commits on May 15, 2017

  1. Improve simplec back-end

    cliffordwolf committed May 15, 2017
    Copy the full SHA
    8d3c706 View commit details
Showing with 878 additions and 19 deletions.
  1. +1 −1 Makefile
  2. +2 −0 backends/simplec/.gitignore
  3. +3 −0 backends/simplec/Makefile.inc
  4. +748 −0 backends/simplec/simplec.cc
  5. +5 −0 backends/simplec/test00.sh
  6. +87 −0 backends/simplec/test00_tb.c
  7. +14 −0 backends/simplec/test00_uut.v
  8. +18 −18 backends/smt2/smtio.py
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
@@ -94,7 +94,7 @@ OBJS = kernel/version_$(GIT_REV).o
# is just a symlink to your actual ABC working directory, as 'make mrproper'
# will remove the 'abc' directory and you do not want to accidentally
# delete your work on ABC..
ABCREV = 3a95bfa55df7
ABCREV = e79576e10d72
ABCPULL = 1
ABCURL ?= https://bitbucket.org/alanmi/abc
ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"
2 changes: 2 additions & 0 deletions backends/simplec/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
test00_tb
test00_uut.c
3 changes: 3 additions & 0 deletions backends/simplec/Makefile.inc
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@

OBJS += backends/simplec/simplec.o

Loading