projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2014-03-14 Clifford WolfAdded RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API commit | commitdiff | tree
2014-03-13 Clifford WolfProgress in Verific bindings commit | commitdiff | tree
2014-03-13 Clifford WolfCopy Verific vdbs files to Yosys "share" data directory commit | commitdiff | tree
2014-03-13 Clifford WolfSmall improvement in SAT log messages commit | commitdiff | tree
2014-03-13 Clifford WolfAdded test_navre.ys for verific frontend commit | commitdiff | tree
2014-03-13 Clifford WolfHotfix for kernel/compatibility.h commit | commitdiff | tree
2014-03-13 Clifford WolfMerge branch 'master' of https://github.com/Siesh1oo... commit | commitdiff | tree
2014-03-13 Clifford WolfMerged 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 Siesh1ooMerge 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 WolfSome 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 Siesh1ooMerge 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 WolfFixed dependencies of "make test" commit | commitdiff | tree
2014-03-12 Clifford WolfAdded 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 Siesh1ooRebase 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 WolfOSX compatible creation of stdcells.inc, using code... commit | commitdiff | tree
2014-03-11 Clifford WolfMerged addition of SED makefile variable from github... commit | commitdiff | tree
2014-03-11 Clifford WolfMerged a few fixes for non-posix systems from github... commit | commitdiff | tree
2014-03-11 Clifford WolfAdded 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 WolfFixed memory corruption in passes/abc/blifparse.cc commit | commitdiff | tree
2014-03-11 Clifford WolfFixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh commit | commitdiff | tree
2014-03-11 Clifford WolfUse "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 WolfFixed a typo in RTLIL::Module::addReduce... commit | commitdiff | tree
2014-03-10 Clifford WolfImproved verific command (added support for some operators) commit | commitdiff | tree
2014-03-10 Clifford WolfImprovements in verific command commit | commitdiff | tree
2014-03-10 Clifford WolfAdded RTLIL::Module::add... helper methods commit | commitdiff | tree
2014-03-09 Clifford WolfAdded "verific" command commit | commitdiff | tree
2014-03-09 Clifford WolfFixed dumping of timing() { .. } block in libparse commit | commitdiff | tree
2014-03-09 Clifford WolfVerbose reading of liberty and constr files in ABC... commit | commitdiff | tree
2014-03-07 Clifford WolfFixed bug in freduce command commit | commitdiff | tree
2014-03-07 Clifford WolfSome minor code cleanups in freduce command commit | commitdiff | tree
2014-03-07 Clifford WolfBugfix in ilang frontend autoidx recovery commit | commitdiff | tree
2014-03-07 Clifford WolfUse log_abort() and log_assert() in BTOR backend commit | commitdiff | tree
2014-03-06 Clifford WolfAdded freduce -dump commit | commitdiff | tree
2014-03-06 Clifford WolfAdded freduce -stop commit | commitdiff | tree
2014-03-06 Clifford WolfFixed gcc compiler warning commit | commitdiff | tree
2014-03-06 Clifford WolfFixed undef handling in opt_reduce commit | commitdiff | tree
2014-03-06 Clifford WolfFixes for improved techmap of shifts with large B inputs commit | commitdiff | tree
2014-03-06 Clifford WolfFixed use of frozen literals in SatGen commit | commitdiff | tree
2014-03-06 Clifford WolfStrictly zero-extend unsigned A-inputs of shift operati... commit | commitdiff | tree
2014-03-06 Clifford WolfAdded techmap -max_iter option commit | commitdiff | tree
2014-03-06 Clifford WolfImproved techmap of shift with wide B inputs commit | commitdiff | tree
2014-03-06 Clifford WolfStrictly zero-extend unsigned A-inputs of shift operations commit | commitdiff | tree
2014-03-05 Clifford WolfSwitched to EZMINISAT_SIMPSOLVER as default SAT solver commit | commitdiff | tree
2014-03-05 Clifford WolfInclude id2ast pointers when dumping AST commit | commitdiff | tree
2014-03-05 Clifford WolfFixed merging of compatible wire decls in AST frontend commit | commitdiff | tree
2014-03-05 Clifford WolfBugfix in recursive AST simplification commit | commitdiff | tree
2014-03-03 Clifford Wolffixed freduce for Minisat::SimpSolver: use frozen_literal() commit | commitdiff | tree
2014-03-03 Clifford WolfezSAT: Added frozen_literal() API commit | commitdiff | tree
2014-03-03 Clifford WolfezSAT: Fixed handling of eliminated Literals, added... commit | commitdiff | tree
2014-03-01 Clifford WolfAdded ezSAT::eliminated API to help the SAT solver... commit | commitdiff | tree
2014-03-01 Clifford WolfezSAT bugfix: don't call virtual methods in base class... commit | commitdiff | tree
2014-03-01 Clifford WolfRemoved ezSAT::assumed() API commit | commitdiff | tree
2014-03-01 Clifford WolfRemoved ezSAT built-in brute-froce solver commit | commitdiff | tree
2014-03-01 Clifford WolfFixed vhdl2verilog temp dir name commit | commitdiff | tree
2014-03-01 Clifford WolfFixed vhdl2verilog help message commit | commitdiff | tree
next