[yosys] 01/05: Merge tag 'yosys-0.5'

[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 ca65300b4d10a480b104ce9953e2b672a0cea2aa
Merge: b460749 c3c9fbf
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Mon Feb 9 20:37:13 2015 +0100

    Merge tag 'yosys-0.5'

 CHANGELOG                           |  51 +++-
 CodingReadme                        |  33 ++-
 Makefile                            |  66 +++--
 README                              |   5 +-
 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 +-
 32 files changed, 1026 insertions(+), 258 deletions(-)

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