[yosys] 01/03: Merge tag 'upstream/0.7'

[Ruben Undheim]

This is an automated email from the git hooks/post-receive script.

rubund-guest pushed a commit to branch master
in repository yosys.

commit 1075138fe86c405f85a6ea3d7c34cf9d6a1c7b0f
Merge: 2fba240 fefe0fc
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Thu Nov 3 23:18:45 2016 +0100

    Merge tag 'upstream/0.7'

 CHANGELOG                                          |  99 +++
 Makefile                                           |  34 +-
 README                                             |  25 +-
 backends/blif/blif.cc                              |  11 +-
 backends/ilang/ilang_backend.cc                    |   8 +
 backends/smt2/smt2.cc                              |  14 +-
 backends/smt2/smtbmc.py                            |  63 +-
 backends/smt2/smtio.py                             | 101 +++-
 backends/verilog/verilog_backend.cc                |  28 +-
 examples/smtbmc/demo7.v                            |   3 +-
 frontends/ast/ast.cc                               |   9 +-
 frontends/ast/genrtlil.cc                          |  20 +-
 frontends/ast/simplify.cc                          |  10 +-
 frontends/blif/blifparse.cc                        |  20 +-
 frontends/ilang/ilang_lexer.l                      |   1 +
 frontends/ilang/ilang_parser.y                     |  16 +-
 frontends/liberty/liberty.cc                       |  85 +--
 frontends/verilog/verilog_parser.y                 |   2 +-
 kernel/celltypes.h                                 |   4 +
 kernel/driver.cc                                   |   4 +-
 kernel/log.cc                                      |   2 +
 kernel/rtlil.cc                                    |  36 +-
 kernel/rtlil.h                                     |   6 +-
 kernel/satgen.h                                    |  11 +-
 kernel/yosys.h                                     |   5 +
 manual/CHAPTER_CellLib.tex                         |   6 +-
 manual/command-reference-manual.tex                | 668 ++++++++++++++++++---
 passes/cmds/setattr.cc                             |  16 +-
 passes/fsm/fsm.cc                                  |  12 +-
 passes/fsm/fsm_expand.cc                           |  40 +-
 passes/fsm/fsm_map.cc                              |   3 +-
 passes/fsm/fsm_recode.cc                           |   6 +-
 passes/hierarchy/hierarchy.cc                      |   4 +
 passes/opt/opt.cc                                  |  10 +-
 passes/opt/opt_rmdff.cc                            |  35 +-
 passes/proc/proc_dff.cc                            |  26 +-
 passes/sat/Makefile.inc                            |   1 +
 passes/sat/clk2fflogic.cc                          | 226 +++++++
 passes/sat/miter.cc                                |  38 +-
 passes/techmap/Makefile.inc                        |   1 +
 passes/techmap/attrmap.cc                          |  23 +-
 passes/techmap/attrmvcp.cc                         |   2 +
 passes/techmap/simplemap.cc                        |  20 +-
 passes/techmap/techmap.cc                          |   9 +-
 passes/techmap/zinit.cc                            | 151 +++++
 techlibs/common/prep.cc                            |  16 +-
 techlibs/common/simcells.v                         |  17 +
 techlibs/common/simlib.v                           |  29 +
 techlibs/common/techmap.v                          |   2 +-
 techlibs/gowin/Makefile.inc                        |   6 +
 techlibs/gowin/cells_map.v                         |  31 +
 techlibs/gowin/cells_sim.v                         |  51 ++
 .../{ice40/synth_ice40.cc => gowin/synth_gowin.cc} | 128 +---
 techlibs/greenpak4/cells_sim.v                     |  39 +-
 techlibs/ice40/synth_ice40.cc                      |   2 +-
 tests/asicworld/run-test.sh                        |  14 +-
 tests/bram/generate.py                             |  50 +-
 tests/bram/run-single.sh                           |   2 +-
 tests/bram/run-test.sh                             |  17 +-
 tests/fsm/generate.py                              |  12 +-
 tests/fsm/run-test.sh                              |  14 +-
 tests/hana/run-test.sh                             |  14 +-
 tests/memories/run-test.sh                         |  13 +-
 tests/realmath/generate.py                         |  12 +-
 tests/realmath/run-test.sh                         |  16 +-
 tests/share/generate.py                            |  12 +-
 tests/share/run-test.sh                            |  14 +-
 tests/simple/run-test.sh                           |  13 +-
 tests/tools/autotest.mk                            |   7 +-
 69 files changed, 2038 insertions(+), 407 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git