[yosys] 14/57: Merge branch 'master' of https://github.com/cliffordwolf/yosys 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 8c2828bc8f417d2580288b1a35c64a57547d1ffa
Merge: 92158d2 51a615b
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Thu May 8 23:18:54 2014 +0200

    Merge branch 'master' of https://github.com/cliffordwolf/yosys into ubuntu

 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 ++++++++++++++++++++++---
 8 files changed, 123 insertions(+), 148 deletions(-)

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