Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fixed cell array handling of positional arguments | Clifford Wolf | 2014-06-07 | 1 | -2/+11 |
| | |||||
* | Add support for cell arrays | Clifford Wolf | 2014-06-07 | 1 | -0/+34 |
| | |||||
* | added tee cmd | Clifford Wolf | 2014-06-03 | 2 | -0/+89 |
| | |||||
* | Fixed log messages in memory_dff | Clifford Wolf | 2014-06-01 | 1 | -0/+2 |
| | |||||
* | added log_header to miter and expose pass, show cell type for exposed ports | Johann Glaser | 2014-05-28 | 2 | -3/+9 |
| | |||||
* | be more verbose when techmap yielded processes | Johann Glaser | 2014-05-26 | 1 | -1/+5 |
| | |||||
* | Fixed bug in opt_reduce (see vloghammer issue_044) | Clifford Wolf | 2014-05-12 | 1 | -1/+4 |
| | |||||
* | fixed syntax error in dot file created by "show" command | Clifford Wolf | 2014-05-10 | 1 | -1/+1 |
| | |||||
* | Fixed performance problem in opt_mux with nets driven by many conflicting ↵ | Clifford Wolf | 2014-03-19 | 1 | -1/+6 |
| | | | | drivers | ||||
* | Small improvement in SAT log messages | Clifford Wolf | 2014-03-13 | 1 | -3/+3 |
| | |||||
* | Merged OSX fixes from Siesh1oo with some modifications | Clifford Wolf | 2014-03-13 | 1 | -0/+1 |
| | |||||
* | - kernel/register.h, kernel/driver.cc: refactor ↵ | Siesh1oo | 2014-03-12 | 3 | -3/+5 |
| | | | | | | | rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname(). This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems. - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics. | ||||
* | OSX compatible creation of stdcells.inc, using code from ↵ | Clifford Wolf | 2014-03-11 | 1 | -2/+3 |
| | | | | | | github.com/Siesh1oo/yosys (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 | 4 | -3/+11 |
| | | | | (see https://github.com/cliffordwolf/yosys/pull/28) | ||||
* | Fixed memory corruption in passes/abc/blifparse.cc | Clifford Wolf | 2014-03-11 | 1 | -1/+1 |
| | |||||
* | 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 |
| | |||||
* | Added freduce -dump | Clifford Wolf | 2014-03-06 | 1 | -1/+24 |
| | |||||
* | Added freduce -stop | Clifford Wolf | 2014-03-06 | 1 | -3/+18 |
| | |||||
* | Fixed undef handling in opt_reduce | Clifford Wolf | 2014-03-06 | 1 | -2/+2 |
| | |||||
* | Added techmap -max_iter option | Clifford Wolf | 2014-03-06 | 1 | -0/+10 |
| | |||||
* | fixed freduce for Minisat::SimpSolver: use frozen_literal() | Clifford Wolf | 2014-03-03 | 1 | -2/+2 |
| | |||||
* | Fixed const folding of $bu0 cells | Clifford Wolf | 2014-02-27 | 1 | -0/+1 |
| | |||||
* | Fixed bug (typo) in passes/opt/opt_const.cc | Clifford Wolf | 2014-02-22 | 1 | -1/+1 |
| | |||||
* | Added workaround for vhdl-style edge triggers from vhdl2verilog to proc_arst | Clifford Wolf | 2014-02-21 | 1 | -2/+6 |
| | |||||
* | Added _TECHMAP_REPLACE_ feature to techmap | Clifford Wolf | 2014-02-20 | 1 | -4/+21 |
| | |||||
* | Added "extract -ignore_parameters" and "extract -ignore_param ..." | Clifford Wolf | 2014-02-20 | 1 | -0/+79 |
| | |||||
* | Added "extract -map %<design_name>" | Clifford Wolf | 2014-02-20 | 1 | -10/+30 |
| | |||||
* | Added "design -push" and "design -pop" | Clifford Wolf | 2014-02-20 | 1 | -8/+45 |
| | |||||
* | Added connwrappers command | Clifford Wolf | 2014-02-20 | 2 | -0/+206 |
| | |||||
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2014-02-18 | 1 | -49/+93 |
|\ | |||||
| * | Added "sat -dump_cnf" | Clifford Wolf | 2014-02-18 | 1 | -5/+34 |
| | | |||||
| * | Coding style corrections in SatHelper::dump_model_to_vcd() | Clifford Wolf | 2014-02-18 | 1 | -31/+31 |
| | | |||||
| * | Added "sat -initsteps" | Clifford Wolf | 2014-02-18 | 1 | -14/+29 |
| | | |||||
* | | Added techmap support for _TECHMAP_CONNMAP_*_ | Clifford Wolf | 2014-02-18 | 1 | -0/+39 |
|/ | |||||
* | Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd" and some minor cleanups | Clifford Wolf | 2014-02-17 | 1 | -5/+9 |
| | |||||
* | Added "-dump_fail_to_vcd" argument to SAT solver | Andrew Zonenberg | 2014-02-17 | 1 | -0/+114 |
| | |||||
* | Better preserve wires when flattening (in comparison to techmap) | Clifford Wolf | 2014-02-17 | 1 | -12/+12 |
| | |||||
* | Added some additional checks to techmap | Clifford Wolf | 2014-02-16 | 1 | -0/+14 |
| | |||||
* | Added CONSTMSK and CONSTVAL feature to techmap | Clifford Wolf | 2014-02-16 | 1 | -0/+23 |
| | |||||
* | Fixed handling of "keep" attribute on wires in opt_clean | Clifford Wolf | 2014-02-16 | 1 | -2/+2 |
| | |||||
* | Fixed use of selection in splitnets command | Clifford Wolf | 2014-02-16 | 1 | -1/+1 |
| | |||||
* | Added recursion support to techmap | Clifford Wolf | 2014-02-16 | 1 | -260/+262 |
| | |||||
* | Added != support for relational select pattern | Clifford Wolf | 2014-02-16 | 1 | -1/+7 |
| | |||||
* | Added iopadmap -bits | Clifford Wolf | 2014-02-15 | 1 | -14/+48 |
| | |||||
* | Fixed dfflibmap for cell libraries with no set-reset-ff | Clifford Wolf | 2014-02-15 | 1 | -1/+1 |
| | |||||
* | Fixed opt_const handling of double invert with non-1 output width | Clifford Wolf | 2014-02-15 | 1 | -1/+1 |
| | |||||
* | Added abc -keepff option | Clifford Wolf | 2014-02-14 | 1 | -5/+18 |
| |