2014-06-14 |
Clifford Wolf | Added real->int convertion in ast genrtlil |
commit | commitdiff | tree |
2014-06-13 |
Clifford Wolf | Added Verilog lexer and parser support for real values |
commit | commitdiff | tree |
2014-06-12 |
Clifford Wolf | Added read_verilog -sv options, added support for bit... |
commit | commitdiff | tree |
2014-06-08 |
Clifford Wolf | Now we are in Yoys 0.3.0+ development |
commit | commitdiff | tree |
2014-06-08 |
Clifford Wolf | Tagging Yosys 0.3.0 yosys-0.3.0 |
commit | commitdiff | tree |
2014-06-08 |
Clifford Wolf | Updated ABC to 7600ffb9340c |
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | added tests for new verilog features |
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | fixed cell array handling of positional arguments |
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | Add support for cell arrays |
commit | commitdiff | tree |
2014-06-07 |
Clifford Wolf | Added support for repeat stmt in const functions |
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | further improved const function support |
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | made the generate..endgenrate keywords optional |
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | improved const function support |
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | fix functions with no block (but single statement,... |
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | Added tests/simple/repwhile.v |
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | improved ast simplify of const functions |
commit | commitdiff | tree |
2014-06-06 |
Clifford Wolf | added while and repeat support to verilog parser |
commit | commitdiff | tree |
2014-06-04 |
Clifford Wolf | Improved error message for options after front-end... |
commit | commitdiff | tree |
2014-06-03 |
Clifford Wolf | added tee cmd |
commit | commitdiff | tree |
2014-06-01 |
Clifford Wolf | Fixed log messages in memory_dff |
commit | commitdiff | tree |
2014-05-29 |
Clifford Wolf | Updated ABC to rev fa4404b395f0 |
commit | commitdiff | tree |
2014-05-29 |
Clifford Wolf | Merge pull request #36 from hansiglaser/master |
commit | commitdiff | tree |
2014-05-28 |
Johann Glaser | added log_header to miter and expose pass, show cell... |
commit | commitdiff | tree |
2014-05-28 |
Johann Glaser | new flags -ignore_miss_func and -ignore_miss_dir for... |
commit | commitdiff | tree |
2014-05-26 |
Johann Glaser | be more verbose when techmap yielded processes |
commit | commitdiff | tree |
2014-05-12 |
Clifford Wolf | Fixed bug in opt_reduce (see vloghammer issue_044) |
commit | commitdiff | tree |
2014-05-10 |
Clifford Wolf | fixed syntax error in dot file created by "show" command |
commit | commitdiff | tree |
2014-05-09 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
2014-05-09 |
Clifford Wolf | Updated ABC to 67c84cdd49e4 |
commit | commitdiff | tree |
2014-05-06 |
Clifford Wolf | Progress in presentation |
commit | commitdiff | tree |
2014-05-06 |
Clifford Wolf | Improved ezsat stand-alone tests |
commit | commitdiff | tree |
2014-05-03 |
Clifford Wolf | workaround for OpenBSD 'stdout' implementation |
commit | commitdiff | tree |
2014-05-02 |
Clifford Wolf | workaround for OpenBSD 'stdin' implementation |
commit | commitdiff | tree |
2014-05-02 |
Clifford Wolf | Merge pull request #35 from bentley/dox |
commit | commitdiff | tree |
2014-05-02 |
Anthony J.... | Typos and grammar fixes through chapter 4. |
commit | commitdiff | tree |
2014-04-20 |
Clifford Wolf | Fixed clang -Wdeprecated-register warnings |
commit | commitdiff | tree |
2014-04-20 |
Clifford Wolf | Replaced depricated %name-prefix= bison directive |
commit | commitdiff | tree |
2014-04-20 |
Clifford Wolf | minisat compile fix |
commit | commitdiff | tree |
2014-04-18 |
Clifford Wolf | Updated README |
commit | commitdiff | tree |
2014-04-11 |
Clifford Wolf | Merge pull request #33 from bentley/dox |
commit | commitdiff | tree |
2014-04-11 |
Anthony J.... | Typos and grammar fixes through chapter 2. |
commit | commitdiff | tree |
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 |
next |