2014-04-05 |
Clifford Wolf | Merge pull request #31 from bentley/posix-rm |
commit | commitdiff | tree |
2014-04-04 |
Anthony J.... | POSIX find requires a path argument. |
commit | commitdiff | tree |
2014-04-04 |
Anthony J.... | Remove non-POSIX 'rm -v'. |
commit | commitdiff | tree |
2014-04-02 |
Clifford Wolf | Added SIMLIB_NOLUT to simlib.v |
commit | commitdiff | tree |
2014-04-02 |
Clifford Wolf | Added SIMLIB_NOSR to simlib.v |
commit | commitdiff | tree |
2014-03-31 |
Clifford Wolf | Added support for dlatchsr cells |
commit | commitdiff | tree |
2014-03-20 |
Clifford Wolf | Fixed mapping of Verific WIDE_DFFRS operator |
commit | commitdiff | tree |
2014-03-20 |
Clifford Wolf | Fixed mapping of Verific FADD primitive with unconnecte... |
commit | commitdiff | tree |
2014-03-19 |
Clifford Wolf | Fixed performance problem in opt_mux with nets driven... |
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Fixed typo in RTLIL::Module::addAdff() |
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-17 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-16 |
Clifford Wolf | Added support for memories to verific bindings |
commit | commitdiff | tree |
2014-03-16 |
Clifford Wolf | Use Verific Net::{IsGnd,IsPwr} API in Verific bindings |
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Fixed typo in RTLIL::Module::{addSshl,addSshr} |
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-15 |
Clifford Wolf | Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate... |
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Added log_dump() support for generic pointers |
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-14 |
Clifford Wolf | Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API |
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Progress in Verific bindings |
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Copy Verific vdbs files to Yosys "share" data directory |
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Small improvement in SAT log messages |
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Added test_navre.ys for verific frontend |
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Hotfix for kernel/compatibility.h |
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Merge branch 'master' of https://github.com/Siesh1oo... |
commit | commitdiff | tree |
2014-03-13 |
Clifford Wolf | Merged OSX fixes from Siesh1oo with some modifications |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile, kernel/posix_compatibility.h/.cc: replay... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | Merge branch 'master' of https://github.com/Siesh1oo... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - kernel/register.h, kernel/driver.cc: refactor rewrit... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: include $(PWD) in PATH, since 'make test... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - kernel/register.h, kernel/driver.cc: refactor rewrit... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - .gitignore: ignore qmake/OSX package libs/svgviewer... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: include $(PWD) in PATH, since 'make test... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: fix typo in LDFLAGS: obviously -L, not... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and... |
commit | commitdiff | tree |
2014-03-13 |
Siesh1oo | - Makefile: resolve merge conflict. |
commit | commitdiff | tree |
2014-03-12 |
Clifford Wolf | Some fixes in libs/minisat (thanks to Siesh1oo) |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - kernel/register.h, kernel/driver.cc: refactor rewrit... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - kernel/register.h, kernel/driver.cc: refactor rewrit... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - .gitignore: ignore qmake/OSX package libs/svgviewer... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - Makefile: follow changes in https://github.com/cliff... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - libs/minisat/Solver.cc: insert spaces between string... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - libs/minisat/System.cc: fix definition/declaration... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | Merge branch 'master' of https://github.com/Siesh1oo... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - Makefile: include $(PWD) in PATH, since 'make test... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - Makefile: fix typo in LDFLAGS: obviously -L, not... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and... |
commit | commitdiff | tree |
2014-03-12 |
Siesh1oo | - Makefile: resolve merge conflict. |
commit | commitdiff | tree |
2014-03-12 |
Clifford Wolf | Fixed dependencies of "make test" |
commit | commitdiff | tree |
2014-03-12 |
Clifford Wolf | Added libs/minisat (copy of minisat git master) |
commit | commitdiff | tree |
2014-03-11 |
Siesh1oo | - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS |
commit | commitdiff | tree |
2014-03-11 |
Siesh1oo | Rebase to cliffordwolf repo HEAD finished. |
commit | commitdiff | tree |
2014-03-11 |
Siesh1oo | - Makefile: include $(PWD) in PATH, since 'make test... |
commit | commitdiff | tree |
2014-03-11 |
Siesh1oo | - Makefile: fix typo in LDFLAGS: obviously -L, not... |
commit | commitdiff | tree |
2014-03-11 |
Siesh1oo | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and... |
commit | commitdiff | tree |
2014-03-11 |
Siesh1oo | - Makefile: resolve merge conflict. |
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | OSX compatible creation of stdcells.inc, using code... |
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Merged addition of SED makefile variable from github... |
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Merged a few fixes for non-posix systems from github... |
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Added support for `line compiler directive |
commit | commitdiff | tree |
2014-03-11 |
Siesh1oo | - passes/techmap/Makefile.inc: POSIX 'od' has no ... |
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Fixed memory corruption in passes/abc/blifparse.cc |
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh |
commit | commitdiff | tree |
2014-03-11 |
Clifford Wolf | Use "verilog -noattr" in tests/techmap/mem_simple_4x1... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - Makefile: include $(PWD) in PATH, since 'make test... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - libs/ezsat/ezminisat.cc: use sigemptyset() to clear... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - Makefile: fix typo in LDFLAGS: obviously -L, not... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - Makefile, techlibs/common/Makefile.inc: call GNU... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - Makefile, kernel/posix_compatibility.h/.cc: provide... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - README: fix typo in sed-command for minisat-include... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - frontends/vhdl2verilog/vhdl2verilog.cc: #include... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - kernel/register.cc: need to #include <cerrno> or... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - kernel/driver.cc: need to #include <cerrno> or errno... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - kernel/log.h: add rusage()-based fallback for system... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - libs/ezsat/ezsat.cc: need to #include <cmath> or... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - passes/abc/abc.cc: #include <cerrno> for errno;... |
commit | commitdiff | tree |
2014-03-10 |
Siesh1oo | - passes/techmap/dfflibmap.cc, passes/fsm/fsm_recode... |
commit | commitdiff | tree |
2014-03-10 |
Clifford Wolf | Fixed a typo in RTLIL::Module::addReduce... |
commit | commitdiff | tree |
2014-03-10 |
Clifford Wolf | Improved verific command (added support for some operators) |
commit | commitdiff | tree |
2014-03-10 |
Clifford Wolf | Improvements in verific command |
commit | commitdiff | tree |
2014-03-10 |
Clifford Wolf | Added RTLIL::Module::add... helper methods |
commit | commitdiff | tree |
2014-03-09 |
Clifford Wolf | Added "verific" command |
commit | commitdiff | tree |
2014-03-09 |
Clifford Wolf | Fixed dumping of timing() { .. } block in libparse |
commit | commitdiff | tree |
2014-03-09 |
Clifford Wolf | Verbose reading of liberty and constr files in ABC... |
commit | commitdiff | tree |
2014-03-07 |
Clifford Wolf | Fixed bug in freduce command |
commit | commitdiff | tree |
2014-03-07 |
Clifford Wolf | Some minor code cleanups in freduce command |
commit | commitdiff | tree |
2014-03-07 |
Clifford Wolf | Bugfix in ilang frontend autoidx recovery |
commit | commitdiff | tree |
2014-03-07 |
Clifford Wolf | Use log_abort() and log_assert() in BTOR backend |
commit | commitdiff | tree |
next |