Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | | * | - passes/abc/abc.cc: #include <cerrno> for errno; use POSIX getcwd() for ↵ | Siesh1oo | 2014-03-10 | |
| | | | | | | | | | | | | | | | | | | | | portability (get_current_dir_name() does not exist on BSD). | |||
| | | | * | - passes/techmap/dfflibmap.cc, passes/fsm/fsm_recode.cc, ↵ | Siesh1oo | 2014-03-10 | |
| | | | | | | | | | | | | | | | | | | | | passes/cmds/select.cc: #include <cerrno> for errno, use c++-style includes. | |||
| | | * | | - Makefile: include $(PWD) in PATH, since 'make test' can happen before ↵ | Siesh1oo | 2014-03-11 | |
| | | | | | | | | | | | | | | | | | | | | 'make install'. | |||
| | | * | | - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here | Siesh1oo | 2014-03-11 | |
| | | | | | ||||
| | | * | | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to ↵ | Siesh1oo | 2014-03-11 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||
| | | * | | - Makefile: resolve merge conflict. | Siesh1oo | 2014-03-11 | |
| | | | | | ||||
| | * | | | - Makefile: include $(PWD) in PATH, since 'make test' can happen before ↵ | Siesh1oo | 2014-03-12 | |
| | | | | | | | | | | | | | | | | | | | | 'make install'. | |||
| | * | | | - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here | Siesh1oo | 2014-03-12 | |
| | | | | | ||||
| | * | | | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to ↵ | Siesh1oo | 2014-03-12 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||
| | * | | | - Makefile: resolve merge conflict. | Siesh1oo | 2014-03-12 | |
| | | | | | ||||
| * | | | | - kernel/register.h, kernel/driver.cc: refactor ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||
| * | | | | - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | we link minisat objects instead of library | |||
| * | | | | - Makefile: include $(PWD) in PATH, since 'make test' can happen before ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | 'make install'. | |||
| * | | | | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||
| * | | | | - kernel/register.h, kernel/driver.cc: refactor ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||
| * | | | | - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | we link minisat objects instead of library | |||
| * | | | | - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app | Siesh1oo | 2014-03-13 | |
| | | | | | ||||
| * | | | | - Makefile: include $(PWD) in PATH, since 'make test' can happen before ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | 'make install'. | |||
| * | | | | - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here | Siesh1oo | 2014-03-13 | |
| | | | | | ||||
| * | | | | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to ↵ | Siesh1oo | 2014-03-13 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||
| * | | | | - Makefile: resolve merge conflict. | Siesh1oo | 2014-03-13 | |
| | | | | | ||||
* | | | | | Merged OSX fixes from Siesh1oo with some modifications | Clifford Wolf | 2014-03-13 | |
|/ / / / | ||||
* | | | | Some fixes in libs/minisat (thanks to Siesh1oo) | Clifford Wolf | 2014-03-12 | |
| | | | | ||||
* | | | | - kernel/register.h, kernel/driver.cc: refactor ↵ | Siesh1oo | 2014-03-12 | |
|/ / / | | | | | | | | | | | | | | | | | | | 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. | |||
* | | | Fixed dependencies of "make test" | Clifford Wolf | 2014-03-12 | |
| | | | ||||
* | | | Added libs/minisat (copy of minisat git master) | Clifford Wolf | 2014-03-12 | |
|/ / | ||||
* | | OSX compatible creation of stdcells.inc, using code from ↵ | Clifford Wolf | 2014-03-11 | |
| | | | | | | | | | | | | github.com/Siesh1oo/yosys (see https://github.com/cliffordwolf/yosys/pull/28) | |||
* | | Merged addition of SED makefile variable from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | |
| | | | | | | | | (see https://github.com/cliffordwolf/yosys/pull/28) | |||
* | | Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | |
| | | | | | | | | (see https://github.com/cliffordwolf/yosys/pull/28) | |||
* | | Added support for `line compiler directive | Clifford Wolf | 2014-03-11 | |
| | | ||||
* | | Fixed memory corruption in passes/abc/blifparse.cc | Clifford Wolf | 2014-03-11 | |
| | | ||||
* | | Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh | Clifford Wolf | 2014-03-11 | |
| | | ||||
* | | Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog) | Clifford Wolf | 2014-03-11 | |
|/ | ||||
* | Fixed a typo in RTLIL::Module::addReduce... | Clifford Wolf | 2014-03-10 | |
| | ||||
* | Improved verific command (added support for some operators) | Clifford Wolf | 2014-03-10 | |
| | ||||
* | Improvements in verific command | Clifford Wolf | 2014-03-10 | |
| | ||||
* | Added RTLIL::Module::add... helper methods | Clifford Wolf | 2014-03-10 | |
| | ||||
* | Added "verific" command | Clifford Wolf | 2014-03-09 | |
| | ||||
* | Fixed dumping of timing() { .. } block in libparse | Clifford Wolf | 2014-03-09 | |
| | ||||
* | Verbose reading of liberty and constr files in ABC pass | Clifford Wolf | 2014-03-09 | |
| | ||||
* | Fixed bug in freduce command | Clifford Wolf | 2014-03-07 | |
| | ||||
* | Some minor code cleanups in freduce command | Clifford Wolf | 2014-03-07 | |
| | ||||
* | Bugfix in ilang frontend autoidx recovery | Clifford Wolf | 2014-03-07 | |
| | ||||
* | Use log_abort() and log_assert() in BTOR backend | Clifford Wolf | 2014-03-07 | |
| | ||||
* | Added freduce -dump | Clifford Wolf | 2014-03-06 | |
| | ||||
* | Added freduce -stop | Clifford Wolf | 2014-03-06 | |
| | ||||
* | Fixed gcc compiler warning | Clifford Wolf | 2014-03-06 | |
| | ||||
* | Fixed undef handling in opt_reduce | Clifford Wolf | 2014-03-06 | |
| | ||||
* | Fixes for improved techmap of shifts with large B inputs | Clifford Wolf | 2014-03-06 | |
| | ||||
* | Fixed use of frozen literals in SatGen | Clifford Wolf | 2014-03-06 | |
| |