[yosys] 01/02: Merge branch 'upstream'
Ruben Undheim
rubund-guest at moszumanska.debian.org
Tue Oct 28 20:39:36 UTC 2014
This is an automated email from the git hooks/post-receive script.
rubund-guest pushed a commit to branch master
in repository yosys.
commit 69742b8bbdb67a8b67a51687da6a960d89e20486
Merge: 4534501 f9c096e
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date: Tue Oct 28 21:21:46 2014 +0100
Merge branch 'upstream'
.gitignore | 7 +
CHECKLISTS | 134 ------
CodingReadme | 235 +++++++++
CodingStyle | 43 --
Makefile | 89 +++-
README | 24 +-
backends/blif/blif.cc | 4 +
backends/btor/btor.cc | 71 ++-
backends/btor/verilog2btor.sh | 4 +-
backends/edif/edif.cc | 6 +-
backends/ilang/ilang_backend.cc | 72 ++-
backends/ilang/ilang_backend.h | 4 +-
backends/intersynth/intersynth.cc | 3 +
backends/spice/spice.cc | 4 +
backends/verilog/verilog_backend.cc | 12 +-
backends/verilog/verilog_backend.h | 38 --
frontends/ast/ast.cc | 13 +-
frontends/ast/ast.h | 2 +
frontends/ast/dpicall.cc | 12 +-
frontends/ast/genrtlil.cc | 40 +-
frontends/ast/simplify.cc | 160 +++++-
frontends/ilang/.gitignore | 8 +-
frontends/ilang/Makefile.inc | 22 +-
frontends/ilang/ilang_frontend.cc | 6 +-
frontends/ilang/{lexer.l => ilang_lexer.l} | 6 +-
frontends/ilang/{parser.y => ilang_parser.y} | 0
frontends/liberty/liberty.cc | 1 -
frontends/verific/verific.cc | 23 +-
frontends/verilog/.gitignore | 8 +-
frontends/verilog/Makefile.inc | 24 +-
frontends/verilog/preproc.cc | 4 +-
frontends/verilog/verilog_frontend.cc | 34 +-
frontends/verilog/{lexer.l => verilog_lexer.l} | 4 +-
frontends/verilog/{parser.y => verilog_parser.y} | 53 +-
frontends/vhdl2verilog/vhdl2verilog.cc | 45 +-
kernel/bitpattern.h | 4 +
kernel/calc.cc | 2 +-
kernel/celltypes.h | 28 +-
kernel/consteval.h | 100 +++-
kernel/cost.h | 84 ++++
kernel/driver.cc | 95 ++--
kernel/log.cc | 29 +-
kernel/log.h | 38 +-
kernel/macc.h | 240 +++++++++
kernel/modtools.h | 6 +-
kernel/register.cc | 48 +-
kernel/rtlil.cc | 125 +++--
kernel/rtlil.h | 16 +-
kernel/satgen.h | 298 +++++++++---
kernel/sigtools.h | 8 +-
kernel/utils.h | 12 +-
kernel/yosys.cc | 356 +++++++++++++-
kernel/yosys.h | 77 ++-
libs/ezsat/ezminisat.cc | 15 +-
libs/ezsat/ezminisat.h | 2 +
libs/ezsat/ezsat.cc | 151 +++---
libs/ezsat/ezsat.h | 7 +-
libs/sha1/sha1.cpp | 5 +-
libs/subcircuit/subcircuit.cc | 4 +
manual/CHAPTER_CellLib.tex | 2 +-
manual/CHAPTER_Prog/stubnets.cc | 4 +-
manual/PRESENTATION_Prog/my_cmd.cc | 2 +-
misc/create_vcxsrc.sh | 54 +++
yosys-config.in => misc/yosys-config.in | 0
passes/abc/abc.cc | 376 ++++++++-------
passes/abc/blifparse.cc | 7 +-
passes/abc/blifparse.h | 7 +-
passes/cmds/Makefile.inc | 2 +-
passes/cmds/add.cc | 8 +-
passes/cmds/connect.cc | 4 +
passes/cmds/connwrappers.cc | 4 +
passes/cmds/copy.cc | 4 +
passes/cmds/cover.cc | 19 +-
passes/cmds/delete.cc | 8 +-
passes/cmds/{log.cc => logcmd.cc} | 4 +
passes/cmds/plugin.cc | 9 +-
passes/cmds/rename.cc | 4 +
passes/cmds/scatter.cc | 4 +
passes/cmds/scc.cc | 4 +
passes/cmds/select.cc | 34 +-
passes/cmds/setattr.cc | 4 +
passes/cmds/setundef.cc | 4 +
passes/cmds/show.cc | 22 +-
passes/cmds/splice.cc | 4 +
passes/cmds/splitnets.cc | 4 +
passes/cmds/stat.cc | 227 ++++-----
passes/cmds/tee.cc | 4 +
passes/cmds/trace.cc | 1 +
passes/cmds/write_file.cc | 8 +-
passes/fsm/fsm.cc | 4 +
passes/fsm/fsm_detect.cc | 4 +
passes/fsm/fsm_expand.cc | 6 +-
passes/fsm/fsm_export.cc | 5 +
passes/fsm/fsm_extract.cc | 20 +-
passes/fsm/fsm_info.cc | 4 +
passes/fsm/fsm_map.cc | 12 +-
passes/fsm/fsm_opt.cc | 18 +-
passes/fsm/fsm_recode.cc | 12 +-
passes/fsm/fsmdata.h | 15 +-
passes/hierarchy/hierarchy.cc | 76 ++-
passes/hierarchy/submod.cc | 4 +
passes/memory/memory.cc | 4 +
passes/memory/memory_collect.cc | 8 +-
passes/memory/memory_dff.cc | 26 +-
passes/memory/memory_map.cc | 14 +-
passes/memory/memory_share.cc | 4 +-
passes/memory/memory_unpack.cc | 8 +-
passes/opt/opt.cc | 4 +
passes/opt/opt_clean.cc | 68 +--
passes/opt/opt_const.cc | 42 +-
passes/opt/opt_muxtree.cc | 8 +-
passes/opt/opt_reduce.cc | 4 +
passes/opt/opt_rmdff.cc | 12 +-
passes/opt/opt_share.cc | 6 +-
passes/opt/share.cc | 587 ++++++++++++++++++++---
passes/opt/wreduce.cc | 105 ++--
passes/proc/proc.cc | 4 +
passes/proc/proc_arst.cc | 17 +-
passes/proc/proc_clean.cc | 15 +-
passes/proc/proc_dff.cc | 14 +-
passes/proc/proc_init.cc | 8 +-
passes/proc/proc_mux.cc | 18 +-
passes/proc/proc_rmdead.cc | 8 +-
passes/sat/eval.cc | 12 +-
passes/sat/expose.cc | 18 +-
passes/sat/freduce.cc | 6 +-
passes/sat/miter.cc | 6 +-
passes/sat/sat.cc | 14 +-
passes/techmap/Makefile.inc | 10 +-
passes/techmap/alumacc.cc | 567 ++++++++++++++++++++++
passes/techmap/dfflibmap.cc | 14 +-
passes/techmap/extract.cc | 534 ++++++++++-----------
passes/techmap/hilomap.cc | 10 +-
passes/techmap/iopadmap.cc | 6 +-
passes/techmap/libparse.cc | 39 +-
passes/techmap/libparse.h | 2 +-
passes/techmap/maccmap.cc | 404 ++++++++++++++++
passes/techmap/simplemap.cc | 30 +-
passes/techmap/techmap.cc | 146 ++++--
passes/tests/Makefile.inc | 1 +
passes/tests/test_abcloop.cc | 289 +++++++++++
passes/tests/test_autotb.cc | 5 +-
passes/tests/test_cell.cc | 350 ++++++++++----
techlibs/common/Makefile.inc | 2 +
techlibs/common/blackbox.sed | 5 +-
techlibs/common/simcells.v | 6 +
techlibs/common/simlib.v | 141 ++++++
techlibs/common/synth.cc | 160 ++++++
techlibs/common/techmap.v | 432 ++---------------
techlibs/xilinx/synth_xilinx.cc | 6 +-
tests/simple/task_func.v | 36 +-
tests/tools/autotest.sh | 7 +-
152 files changed, 6034 insertions(+), 2191 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git
More information about the debian-science-commits
mailing list