[yosys] 13/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 92158d2e946530b0e8cf6436bbdb5a01cf823bf4
Merge: ac7f4e9 7188542
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Thu Apr 24 23:39:01 2014 +0200

    Merge branch 'master' into ubuntu

 README                                     | 29 +++++++++++------------------
 frontends/ilang/lexer.l                    |  7 +++++++
 frontends/ilang/parser.y                   |  2 +-
 frontends/verilog/lexer.l                  |  5 +++++
 frontends/verilog/parser.y                 |  2 +-
 libs/minisat/PATCH_mkLit_default_arg.patch | 20 ++++++++++++++++++++
 libs/minisat/SolverTypes.h                 |  4 ++--
 libs/minisat/UPDATE.sh                     |  3 +++
 8 files changed, 50 insertions(+), 22 deletions(-)

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