yosys.git
10 years agoHotfix for kernel/compatibility.h
Clifford Wolf [Thu, 13 Mar 2014 11:55:15 +0000 (12:55 +0100)]
Hotfix for kernel/compatibility.h

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Clifford Wolf [Thu, 13 Mar 2014 11:50:34 +0000 (12:50 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

10 years agoMerged OSX fixes from Siesh1oo with some modifications
Clifford Wolf [Thu, 13 Mar 2014 11:48:10 +0000 (12:48 +0100)]
Merged OSX fixes from Siesh1oo with some modifications

10 years ago - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compati...
Siesh1oo [Thu, 13 Mar 2014 10:34:21 +0000 (11:34 +0100)]
 - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compatibility patch.

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Siesh1oo [Thu, 13 Mar 2014 10:30:50 +0000 (11:30 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

Conflicts:
Makefile
libs/minisat/System.cc

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app
Siesh1oo [Wed, 12 Mar 2014 13:18:07 +0000 (14:18 +0100)]
 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoSome fixes in libs/minisat (thanks to Siesh1oo)
Clifford Wolf [Wed, 12 Mar 2014 22:28:10 +0000 (23:28 +0100)]
Some fixes in libs/minisat (thanks to Siesh1oo)

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app
Siesh1oo [Wed, 12 Mar 2014 13:18:07 +0000 (14:18 +0100)]
 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

10 years ago - Makefile: follow changes in https://github.com/cliffordwolf/yosys
Siesh1oo [Wed, 12 Mar 2014 13:16:55 +0000 (14:16 +0100)]
 - Makefile: follow changes in https://github.com/cliffordwolf/yosys

10 years ago - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise...
Siesh1oo [Wed, 12 Mar 2014 13:15:53 +0000 (14:15 +0100)]
 - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13).

10 years ago - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPe...
Siesh1oo [Wed, 12 Mar 2014 13:12:52 +0000 (14:12 +0100)]
 - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Siesh1oo [Wed, 12 Mar 2014 13:01:10 +0000 (14:01 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoFixed dependencies of "make test"
Clifford Wolf [Wed, 12 Mar 2014 09:46:27 +0000 (10:46 +0100)]
Fixed dependencies of "make test"

10 years agoAdded libs/minisat (copy of minisat git master)
Clifford Wolf [Wed, 12 Mar 2014 09:17:51 +0000 (10:17 +0100)]
Added libs/minisat (copy of minisat git master)

10 years ago - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS
Siesh1oo [Tue, 11 Mar 2014 21:00:49 +0000 (22:00 +0100)]
 - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS

10 years agoRebase to cliffordwolf repo HEAD finished.
Siesh1oo [Tue, 11 Mar 2014 18:44:34 +0000 (19:44 +0100)]
Rebase to cliffordwolf repo HEAD finished.

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoOSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:52:37 +0000 (14:52 +0100)]
OSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoMerged addition of SED makefile variable from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:42:58 +0000 (14:42 +0100)]
Merged addition of SED makefile variable from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoMerged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:24:24 +0000 (14:24 +0100)]
Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoAdded support for `line compiler directive
Clifford Wolf [Tue, 11 Mar 2014 13:06:57 +0000 (14:06 +0100)]
Added support for `line compiler directive

10 years ago - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead...
Siesh1oo [Tue, 11 Mar 2014 13:06:41 +0000 (14:06 +0100)]
 - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead. Replace awk by simple shell commands for portability.

10 years agoFixed memory corruption in passes/abc/blifparse.cc
Clifford Wolf [Tue, 11 Mar 2014 12:09:01 +0000 (13:09 +0100)]
Fixed memory corruption in passes/abc/blifparse.cc

10 years agoFixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh
Clifford Wolf [Tue, 11 Mar 2014 10:59:58 +0000 (11:59 +0100)]
Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh

10 years agoUse "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)
Clifford Wolf [Tue, 11 Mar 2014 10:39:30 +0000 (11:39 +0100)]
Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RES...
Siesh1oo [Mon, 10 Mar 2014 19:23:55 +0000 (20:23 +0100)]
 - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RESTART flag for improved robustness of code that is not signal-aware.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

10 years ago - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include <climits>...
Siesh1oo [Mon, 10 Mar 2014 18:50:02 +0000 (19:50 +0100)]
 - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include <climits> for PATH_MAX.

10 years ago - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on OSX...
Siesh1oo [Mon, 10 Mar 2014 14:07:37 +0000 (15:07 +0100)]
 - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on OSX (for extended regular expressions).

10 years ago - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portable signal().
Siesh1oo [Mon, 10 Mar 2014 14:02:58 +0000 (15:02 +0100)]
 - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portable signal().

10 years ago - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation...
Siesh1oo [Mon, 10 Mar 2014 13:38:01 +0000 (14:38 +0100)]
 - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation of open_memstream()/fmemopen() for pre-POSIX.2008 systems.
 - Makefile: OSX build rules (Apple's gcc and clang have no -rdynamic option and no librt).
 - Makefile: Generate debugger symbols and don't optimize for size in debug target (otherwise the debugger pretty hard to use).
 - Makefile: Reorder target concatenation in order to avoid use-before-built problems for source-include and linker dependencies.
 - Makefile: On OSX/macports, qmake-qt4 is named 'qmake' (the default Qt4 installation name, unless the distribution changes it).
 - Makefile: For OSX/Macports, we need to pass -I/opt/local/include and -L/opt/local/lib to give GNU libraries precedence over Apple's.
 - Makefile: Build a local minisat copy just like abc (to avoid dependency on broken/unmaintained distribution header files).
 - .gitignore: Ignore minisat directory.

10 years ago - README: fix typo in sed-command for minisat-include fix.
Siesh1oo [Mon, 10 Mar 2014 13:37:14 +0000 (14:37 +0100)]
 - README: fix typo in sed-command for minisat-include fix.

10 years ago - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use POSIX...
Siesh1oo [Mon, 10 Mar 2014 13:36:27 +0000 (14:36 +0100)]
 - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use POSIX getcwd() for portability.

10 years ago - kernel/register.cc: need to #include <cerrno> or errno.h for errno.
Siesh1oo [Mon, 10 Mar 2014 13:36:23 +0000 (14:36 +0100)]
 - kernel/register.cc: need to #include <cerrno> or errno.h for errno.

10 years ago - kernel/driver.cc: need to #include <cerrno> or errno.h for errno.
Siesh1oo [Mon, 10 Mar 2014 13:36:12 +0000 (14:36 +0100)]
 - kernel/driver.cc: need to #include <cerrno> or errno.h for errno.

10 years ago - kernel/log.h: add rusage()-based fallback for systems without clock_gettime().
Siesh1oo [Mon, 10 Mar 2014 13:36:07 +0000 (14:36 +0100)]
 - kernel/log.h: add rusage()-based fallback for systems without clock_gettime().

10 years ago - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.
Siesh1oo [Mon, 10 Mar 2014 13:35:59 +0000 (14:35 +0100)]
 - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.

10 years ago - passes/abc/abc.cc: #include <cerrno> for errno; use POSIX getcwd() for portability...
Siesh1oo [Mon, 10 Mar 2014 13:35:53 +0000 (14:35 +0100)]
 - passes/abc/abc.cc: #include <cerrno> for errno; use POSIX getcwd() for portability (get_current_dir_name() does not exist on BSD).

10 years ago - passes/techmap/dfflibmap.cc, passes/fsm/fsm_recode.cc, passes/cmds/select.cc:...
Siesh1oo [Mon, 10 Mar 2014 13:35:46 +0000 (14:35 +0100)]
 - passes/techmap/dfflibmap.cc, passes/fsm/fsm_recode.cc, passes/cmds/select.cc: #include <cerrno> for errno, use c++-style includes.

10 years agoFixed a typo in RTLIL::Module::addReduce...
Clifford Wolf [Mon, 10 Mar 2014 11:07:26 +0000 (12:07 +0100)]
Fixed a typo in RTLIL::Module::addReduce...

10 years agoImproved verific command (added support for some operators)
Clifford Wolf [Mon, 10 Mar 2014 11:06:57 +0000 (12:06 +0100)]
Improved verific command (added support for some operators)

10 years agoImprovements in verific command
Clifford Wolf [Mon, 10 Mar 2014 02:03:08 +0000 (03:03 +0100)]
Improvements in verific command

10 years agoAdded RTLIL::Module::add... helper methods
Clifford Wolf [Mon, 10 Mar 2014 02:02:27 +0000 (03:02 +0100)]
Added RTLIL::Module::add... helper methods

10 years agoAdded "verific" command
Clifford Wolf [Sun, 9 Mar 2014 19:40:04 +0000 (20:40 +0100)]
Added "verific" command

10 years agoFixed dumping of timing() { .. } block in libparse
Clifford Wolf [Sun, 9 Mar 2014 14:16:07 +0000 (15:16 +0100)]
Fixed dumping of timing() { .. } block in libparse

10 years agoVerbose reading of liberty and constr files in ABC pass
Clifford Wolf [Sun, 9 Mar 2014 14:15:38 +0000 (15:15 +0100)]
Verbose reading of liberty and constr files in ABC pass

10 years agoFixed bug in freduce command
Clifford Wolf [Fri, 7 Mar 2014 17:44:23 +0000 (18:44 +0100)]
Fixed bug in freduce command

10 years agoSome minor code cleanups in freduce command
Clifford Wolf [Fri, 7 Mar 2014 17:29:04 +0000 (18:29 +0100)]
Some minor code cleanups in freduce command

10 years agoBugfix in ilang frontend autoidx recovery
Clifford Wolf [Fri, 7 Mar 2014 16:19:14 +0000 (17:19 +0100)]
Bugfix in ilang frontend autoidx recovery

10 years agoUse log_abort() and log_assert() in BTOR backend
Clifford Wolf [Fri, 7 Mar 2014 14:56:10 +0000 (15:56 +0100)]
Use log_abort() and log_assert() in BTOR backend

10 years agoAdded freduce -dump
Clifford Wolf [Thu, 6 Mar 2014 21:06:58 +0000 (22:06 +0100)]
Added freduce -dump

10 years agoAdded freduce -stop
Clifford Wolf [Thu, 6 Mar 2014 17:14:26 +0000 (18:14 +0100)]
Added freduce -stop

10 years agoFixed gcc compiler warning
Clifford Wolf [Thu, 6 Mar 2014 15:37:19 +0000 (16:37 +0100)]
Fixed gcc compiler warning

10 years agoFixed undef handling in opt_reduce
Clifford Wolf [Thu, 6 Mar 2014 13:18:34 +0000 (14:18 +0100)]
Fixed undef handling in opt_reduce

10 years agoFixes for improved techmap of shifts with large B inputs
Clifford Wolf [Thu, 6 Mar 2014 12:22:10 +0000 (13:22 +0100)]
Fixes for improved techmap of shifts with large B inputs

10 years agoFixed use of frozen literals in SatGen
Clifford Wolf [Thu, 6 Mar 2014 12:08:44 +0000 (13:08 +0100)]
Fixed use of frozen literals in SatGen

10 years agoStrictly zero-extend unsigned A-inputs of shift operations in techmap
Clifford Wolf [Thu, 6 Mar 2014 11:15:44 +0000 (12:15 +0100)]
Strictly zero-extend unsigned A-inputs of shift operations in techmap

10 years agoAdded techmap -max_iter option
Clifford Wolf [Thu, 6 Mar 2014 11:15:17 +0000 (12:15 +0100)]
Added techmap -max_iter option

10 years agoImproved techmap of shift with wide B inputs
Clifford Wolf [Thu, 6 Mar 2014 10:54:22 +0000 (11:54 +0100)]
Improved techmap of shift with wide B inputs

10 years agoStrictly zero-extend unsigned A-inputs of shift operations
Clifford Wolf [Thu, 6 Mar 2014 10:53:37 +0000 (11:53 +0100)]
Strictly zero-extend unsigned A-inputs of shift operations

10 years agoSwitched to EZMINISAT_SIMPSOLVER as default SAT solver
Clifford Wolf [Wed, 5 Mar 2014 18:57:10 +0000 (19:57 +0100)]
Switched to EZMINISAT_SIMPSOLVER as default SAT solver

10 years agoInclude id2ast pointers when dumping AST
Clifford Wolf [Wed, 5 Mar 2014 18:56:31 +0000 (19:56 +0100)]
Include id2ast pointers when dumping AST

10 years agoFixed merging of compatible wire decls in AST frontend
Clifford Wolf [Wed, 5 Mar 2014 18:55:58 +0000 (19:55 +0100)]
Fixed merging of compatible wire decls in AST frontend

10 years agoBugfix in recursive AST simplification
Clifford Wolf [Wed, 5 Mar 2014 18:45:33 +0000 (19:45 +0100)]
Bugfix in recursive AST simplification

10 years agofixed freduce for Minisat::SimpSolver: use frozen_literal()
Clifford Wolf [Mon, 3 Mar 2014 01:14:27 +0000 (02:14 +0100)]
fixed freduce for Minisat::SimpSolver: use frozen_literal()

10 years agoezSAT: Added frozen_literal() API
Clifford Wolf [Mon, 3 Mar 2014 01:13:17 +0000 (02:13 +0100)]
ezSAT: Added frozen_literal() API

10 years agoezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
Clifford Wolf [Mon, 3 Mar 2014 01:12:45 +0000 (02:12 +0100)]
ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions

10 years agoAdded ezSAT::eliminated API to help the SAT solver remember eliminated variables
Clifford Wolf [Sat, 1 Mar 2014 20:00:34 +0000 (21:00 +0100)]
Added ezSAT::eliminated API to help the SAT solver remember eliminated variables

10 years agoezSAT bugfix: don't call virtual methods in base class constructor
Clifford Wolf [Sat, 1 Mar 2014 19:59:00 +0000 (20:59 +0100)]
ezSAT bugfix: don't call virtual methods in base class constructor

10 years agoRemoved ezSAT::assumed() API
Clifford Wolf [Sat, 1 Mar 2014 19:55:06 +0000 (20:55 +0100)]
Removed ezSAT::assumed() API

10 years agoRemoved ezSAT built-in brute-froce solver
Clifford Wolf [Sat, 1 Mar 2014 19:53:09 +0000 (20:53 +0100)]
Removed ezSAT built-in brute-froce solver

10 years agoFixed vhdl2verilog temp dir name
Clifford Wolf [Sat, 1 Mar 2014 16:48:15 +0000 (17:48 +0100)]
Fixed vhdl2verilog temp dir name

10 years agoFixed vhdl2verilog help message
Clifford Wolf [Sat, 1 Mar 2014 16:47:19 +0000 (17:47 +0100)]
Fixed vhdl2verilog help message

10 years agoFixed const folding of $bu0 cells
Clifford Wolf [Thu, 27 Feb 2014 03:09:32 +0000 (04:09 +0100)]
Fixed const folding of $bu0 cells

10 years agoFixed bit-extending in $mux argument (use $bu0 instead of $pos)
Clifford Wolf [Wed, 26 Feb 2014 20:32:19 +0000 (21:32 +0100)]
Fixed bit-extending in $mux argument (use $bu0 instead of $pos)

10 years agoAdded support for $bu0 to SatGen
Clifford Wolf [Wed, 26 Feb 2014 20:31:34 +0000 (21:31 +0100)]
Added support for $bu0 to SatGen

10 years agoDon't blow up constants unneccessarily in Verilog frontend
Clifford Wolf [Mon, 24 Feb 2014 11:41:25 +0000 (12:41 +0100)]
Don't blow up constants unneccessarily in Verilog frontend

10 years agoAdded support for Minisat::SimpSolver + ezSAT frezze() API
Clifford Wolf [Sun, 23 Feb 2014 00:35:59 +0000 (01:35 +0100)]
Added support for Minisat::SimpSolver + ezSAT frezze() API