[yosys] 15/57: Merge branch 'master' into ubuntu

[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 073f2dde289474e4ad00fa3a45b04e5af23c27ff
Merge: 92158d2 68c0595
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Tue May 13 23:46:14 2014 +0200

    Merge branch 'master' into ubuntu

 Makefile                      |   2 +-
 kernel/register.cc            |   6 ++-
 libs/ezsat/Makefile           |   4 +-
 libs/ezsat/ezsat.h            |   2 +-
 libs/ezsat/puzzle3d.cc        |   4 +-
 libs/ezsat/testbench.cc       | 120 +++++++-----------------------------------
 manual/CHAPTER_Approach.tex   |  14 ++---
 manual/CHAPTER_Overview.tex   |  50 +++++++++---------
 manual/PRESENTATION_ExAdv.tex |  71 ++++++++++++++++++++++---
 passes/cmds/show.cc           |   2 +-
 passes/opt/opt_reduce.cc      |   5 +-
 11 files changed, 129 insertions(+), 151 deletions(-)

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