[yosys] branch master updated (b460749 -> ec48ab2)

[Ruben Undheim]

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

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

      from  b460749   More things in changelog entry
      adds  893fe87   Improved performance in equiv_simple
      adds  bebbf2e   no support for 6-series xilinx devices
      adds  49649d6   Fixed typos found by lintian
      adds  6eb3403   Merge pull request #48 from rubund/master
      adds  30ec646   Merge branch 'master' of github.com:cliffordwolf/yosys
      adds  8514fe7   Added "yosys -L logfile"
      adds  5b41470   Skip blackbox modules in design->selected_modules()
      adds  a8f4a09   Using design->selected_modules() in opt_*
      adds  853e949   Disabled (unused) Xilinx tristate buffers
      adds  8805c24   Fixed opt_clean performance bug
      adds  a038787   Added onehot attribute
      adds  ac7d5e0   Auto-detect TCL version
      adds  d5e3097   Added "select -read"
      adds  dce1fae   Added cell->known(), cell->input(portname), cell->output(portname)
      adds  cc400b2   Added "make uninstall"
      adds  743da01   Improved building of plugins
      adds  2ef812d   Removed "make mklibyosys"
      adds  0da320f   Cleanup in add_share_file make macro
      adds  05d4223   Added SigSpec::has_const()
      adds  bbfc1bd   Added "yosys-config --build modname.so cppsources.."
      adds  fbb1671   fixed typo
      adds  c8305e3   Fixed a bug with autowire bit size (removed leftover from when we tried to auto-size the wires)
      adds  234a45a   Ignore explicit assignments to constants in HDL code
      adds  5170b86   Added equiv_add
      adds  c3ce824   Various updates to CodingReadme
      adds  b10f008   Added Yosys 0.5 Changelog
      adds  6d2f31c   Various ModIndex improvements
      adds  0fcc8c1   Minor "make vgtest" changes
      adds  09ee65a   Added eval_select_args() and eval_select_op()
      adds  bcd8a2f   Fixed eval_select_op() api
      adds  183d4f8   Added new APIs to changelog
      adds  07afb14   Fixed bug in "show -format .."
      adds  1396485   CodingReadme update
      adds  f889e3d   Fixed iterator invalidation bug in "rename" command
      adds  85887de   Various presentation fixes
      adds  b944fef   Updated command reference in manual
      adds  8901f40   Bugfix in "make vcxsrc"
      adds  c3c9fbf   Yosys 0.5
       new  ca65300   Merge tag 'yosys-0.5'
       new  82863aa   Updated d/changelog
       new  af60ba6   Refreshed patches
       new  84a69b3   Changed to dependency tcl-dev
       new  ec48ab2   Added d/gbp.conf

The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 CHANGELOG                              |  51 +++-
 CodingReadme                           |  33 ++-
 Makefile                               |  66 +++--
 README                                 |   5 +-
 debian/changelog                       |   6 +-
 debian/control                         |   2 +-
 debian/gbp.conf                        |   2 +
 debian/patches/01_gitrevision.patch    |  10 +-
 debian/patches/02_removeabc.patch      |   6 +-
 debian/patches/03_notruntests.patch    |   8 +-
 debian/patches/04_installpath.patch    |  12 +-
 debian/patches/05_abc_executable.patch |   4 +-
 debian/patches/06_cflags_ldflags.patch |  26 +-
 frontends/ast/genrtlil.cc              |  24 +-
 kernel/driver.cc                       |   8 +-
 kernel/modtools.h                      |  67 ++++-
 kernel/register.h                      |   2 +
 kernel/rtlil.cc                        |  54 +++-
 kernel/rtlil.h                         |   6 +
 libs/ezsat/ezsat.h                     |   1 +
 manual/PRESENTATION_ExSyn.tex          |   2 +-
 manual/PRESENTATION_Prog.tex           |  21 +-
 manual/command-reference-manual.tex    | 515 ++++++++++++++++++++++++++++-----
 misc/yosys-config.in                   |  16 +-
 passes/abc/abc.cc                      |   2 +-
 passes/cmds/rename.cc                  |   7 +-
 passes/cmds/select.cc                  |  75 ++++-
 passes/cmds/show.cc                    |   2 +-
 passes/equiv/Makefile.inc              |   1 +
 passes/equiv/equiv_add.cc              |  89 ++++++
 passes/equiv/equiv_simple.cc           |  95 ++++--
 passes/fsm/fsm_map.cc                  |   3 +
 passes/memory/memory_bram.cc           |   4 +-
 passes/memory/memory_share.cc          |  13 +
 passes/opt/opt_clean.cc                |  78 +++--
 passes/opt/opt_const.cc                |   2 +-
 passes/opt/opt_muxtree.cc              |  11 +-
 passes/opt/opt_reduce.cc               |  11 +-
 passes/opt/opt_share.cc                |   6 +-
 techlibs/xilinx/cells_sim.v            |  12 +-
 techlibs/xilinx/synth_xilinx.cc        |   2 +-
 41 files changed, 1067 insertions(+), 293 deletions(-)
 create mode 100644 debian/gbp.conf
 create mode 100644 passes/equiv/equiv_add.cc

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