Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS | Siesh1oo | 2014-03-11 |
| | |||
* | Rebase to cliffordwolf repo HEAD finished. | Siesh1oo | 2014-03-11 |
|\ | |||
| * | - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' ↵ | Siesh1oo | 2014-03-11 |
| | | | | | | | | instead. Replace awk by simple shell commands for portability. | ||
| * | - Makefile: include $(PWD) in PATH, since 'make test' can happen before ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | 'make install'. | ||
| * | - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | use SA_RESTART flag for improved robustness of code that is not signal-aware. | ||
| * | - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here | Siesh1oo | 2014-03-10 |
| | | |||
| * | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | | | | | | | 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. | ||
| * | - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | <climits> for PATH_MAX. | ||
| * | - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | on OSX (for extended regular expressions). | ||
| * | - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | non-portable signal(). | ||
| * | - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||
| * | - README: fix typo in sed-command for minisat-include fix. | Siesh1oo | 2014-03-10 |
| | | |||
| * | - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | POSIX getcwd() for portability. | ||
| * | - kernel/register.cc: need to #include <cerrno> or errno.h for errno. | Siesh1oo | 2014-03-10 |
| | | |||
| * | - kernel/driver.cc: need to #include <cerrno> or errno.h for errno. | Siesh1oo | 2014-03-10 |
| | | |||
| * | - kernel/log.h: add rusage()-based fallback for systems without ↵ | Siesh1oo | 2014-03-10 |
| | | | | | | | | clock_gettime(). | ||
| * | - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions. | Siesh1oo | 2014-03-10 |
| | | |||
| * | - 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 |
| | | |||
* | | 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 |
| | |||
* | Strictly zero-extend unsigned A-inputs of shift operations in techmap | Clifford Wolf | 2014-03-06 |
| | |||
* | Added techmap -max_iter option | Clifford Wolf | 2014-03-06 |
| | |||
* | Improved techmap of shift with wide B inputs | Clifford Wolf | 2014-03-06 |
| |