[yosys] 37/57: Merge branch 'master' into debian

[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 856d0d5f9443ec0b106cbe04b76e663648ee3798
Merge: 21508c6 79cbf90
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Sat Sep 6 09:23:15 2014 +0200

    Merge branch 'master' into debian

 Makefile                               |  2 +-
 backends/blif/blif.cc                  |  2 +-
 frontends/ast/simplify.cc              |  2 +-
 frontends/verific/build_amd64.txt      |  2 +-
 frontends/verific/verific.cc           |  2 +-
 frontends/vhdl2verilog/vhdl2verilog.cc |  2 +-
 kernel/register.cc                     |  6 +++---
 libs/minisat/Solver.h                  |  4 ++--
 manual/CHAPTER_Prog/stubnets.cc        |  2 +-
 manual/CHAPTER_Techmap.tex             |  2 +-
 manual/CHAPTER_Verilog.tex             |  6 +++---
 manual/command-reference-manual.tex    | 14 +++++++-------
 manual/manual.tex                      |  2 +-
 passes/cmds/scc.cc                     |  2 +-
 passes/cmds/select.cc                  |  4 ++--
 passes/cmds/splice.cc                  |  4 ++--
 passes/cmds/splitnets.cc               |  2 +-
 passes/fsm/fsm_recode.cc               |  2 +-
 passes/hierarchy/hierarchy.cc          |  8 ++++----
 passes/memory/memory_share.cc          |  2 +-
 passes/opt/opt_clean.cc                |  4 ++--
 passes/sat/sat.cc                      |  2 +-
 22 files changed, 39 insertions(+), 39 deletions(-)

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