| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS | Siesh1oo | 2014-03-11 | 1 | -2/+2 |
| * | Rebase to cliffordwolf repo HEAD finished. | Siesh1oo | 2014-03-11 | 4 | -6/+190 |
| |\ |
|
| | * | - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' inst... | Siesh1oo | 2014-03-11 | 1 | -4/+6 |
| | * | - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'mak... | Siesh1oo | 2014-03-10 | 1 | -1/+1 |
| | * | - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; us... | Siesh1oo | 2014-03-10 | 1 | -2/+2 |
| | * | - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here | Siesh1oo | 2014-03-10 | 1 | -1/+1 |
| | * | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to m... | Siesh1oo | 2014-03-10 | 1 | -2/+6 |
| | * | - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include <climi... | Siesh1oo | 2014-03-10 | 2 | -0/+2 |
| | * | - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on... | Siesh1oo | 2014-03-10 | 2 | -3/+5 |
| | * | - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portabl... | Siesh1oo | 2014-03-10 | 1 | -4/+8 |
| | * | - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implem... | Siesh1oo | 2014-03-10 | 4 | -10/+211 |
| | * | - README: fix typo in sed-command for minisat-include fix. | Siesh1oo | 2014-03-10 | 1 | -1/+1 |
| | * | - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use P... | Siesh1oo | 2014-03-10 | 1 | -4/+11 |
| | * | - kernel/register.cc: need to #include <cerrno> or errno.h for errno. | Siesh1oo | 2014-03-10 | 1 | -0/+1 |
| | * | - kernel/driver.cc: need to #include <cerrno> or errno.h for errno. | Siesh1oo | 2014-03-10 | 1 | -0/+1 |
| | * | - kernel/log.h: add rusage()-based fallback for systems without clock_gettim... | Siesh1oo | 2014-03-10 | 1 | -0/+16 |
| | * | - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions. | Siesh1oo | 2014-03-10 | 1 | -1/+2 |
| | * | - passes/abc/abc.cc: #include <cerrno> for errno; use POSIX getcwd() for por... | Siesh1oo | 2014-03-10 | 1 | -2/+6 |
| | * | - passes/techmap/dfflibmap.cc, passes/fsm/fsm_recode.cc, passes/cmds/select.... | Siesh1oo | 2014-03-10 | 3 | -1/+4 |
| * | | - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'mak... | Siesh1oo | 2014-03-11 | 1 | -1/+1 |
| * | | - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here | Siesh1oo | 2014-03-11 | 1 | -1/+1 |
| * | | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to m... | Siesh1oo | 2014-03-11 | 1 | -2/+6 |
| * | | - Makefile: resolve merge conflict. | Siesh1oo | 2014-03-11 | 1 | -5/+23 |
| * | | OSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/... | Clifford Wolf | 2014-03-11 | 1 | -2/+3 |
| * | | Merged addition of SED makefile variable from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | 2 | -2/+3 |
| * | | Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | 11 | -13/+52 |
| * | | Added support for `line compiler directive | Clifford Wolf | 2014-03-11 | 1 | -0/+11 |
| * | | Fixed memory corruption in passes/abc/blifparse.cc | Clifford Wolf | 2014-03-11 | 1 | -1/+1 |
| * | | Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh | Clifford Wolf | 2014-03-11 | 1 | -1/+1 |
| * | | Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog) | Clifford Wolf | 2014-03-11 | 1 | -1/+1 |
| |/ |
|
| * | Fixed a typo in RTLIL::Module::addReduce... | Clifford Wolf | 2014-03-10 | 1 | -5/+5 |
| * | Improved verific command (added support for some operators) | Clifford Wolf | 2014-03-10 | 1 | -2/+160 |
| * | Improvements in verific command | Clifford Wolf | 2014-03-10 | 1 | -59/+39 |
| * | Added RTLIL::Module::add... helper methods | Clifford Wolf | 2014-03-10 | 2 | -0/+293 |
| * | Added "verific" command | Clifford Wolf | 2014-03-09 | 3 | -2/+501 |
| * | Fixed dumping of timing() { .. } block in libparse | Clifford Wolf | 2014-03-09 | 1 | -2/+3 |
| * | Verbose reading of liberty and constr files in ABC pass | Clifford Wolf | 2014-03-09 | 1 | -2/+2 |
| * | Fixed bug in freduce command | Clifford Wolf | 2014-03-07 | 1 | -0/+30 |
| * | Some minor code cleanups in freduce command | Clifford Wolf | 2014-03-07 | 1 | -5/+5 |
| * | Bugfix in ilang frontend autoidx recovery | Clifford Wolf | 2014-03-07 | 1 | -2/+2 |
| * | Use log_abort() and log_assert() in BTOR backend | Clifford Wolf | 2014-03-07 | 1 | -18/+17 |
| * | Added freduce -dump | Clifford Wolf | 2014-03-06 | 1 | -1/+24 |
| * | Added freduce -stop | Clifford Wolf | 2014-03-06 | 1 | -3/+18 |
| * | Fixed gcc compiler warning | Clifford Wolf | 2014-03-06 | 1 | -1/+2 |
| * | Fixed undef handling in opt_reduce | Clifford Wolf | 2014-03-06 | 1 | -2/+2 |
| * | Fixes for improved techmap of shifts with large B inputs | Clifford Wolf | 2014-03-06 | 1 | -8/+8 |
| * | Fixed use of frozen literals in SatGen | Clifford Wolf | 2014-03-06 | 1 | -3/+2 |
| * | Strictly zero-extend unsigned A-inputs of shift operations in techmap | Clifford Wolf | 2014-03-06 | 1 | -4/+4 |
| * | Added techmap -max_iter option | Clifford Wolf | 2014-03-06 | 1 | -0/+10 |
| * | Improved techmap of shift with wide B inputs | Clifford Wolf | 2014-03-06 | 1 | -13/+37 |
