| Commit message (Expand) | Author | Age | Files | Lines |
* | Fixed build of verific bindings | Clifford Wolf | 2014-07-31 | 1 | -11/+11 |
* | Renamed port access function on RTLIL::Cell, added param access functions | Clifford Wolf | 2014-07-31 | 46 | -1059/+1086 |
* | Added "trace" command | Clifford Wolf | 2014-07-31 | 4 | -2/+103 |
* | Added RTLIL::Monitor | Clifford Wolf | 2014-07-31 | 2 | -96/+97 |
* | Added module->design and cell->module, wire->module pointers | Clifford Wolf | 2014-07-31 | 15 | -44/+142 |
* | Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespace | Clifford Wolf | 2014-07-31 | 41 | -665/+790 |
* | Renamed "stdcells.v" to "techmap.v" | Clifford Wolf | 2014-07-31 | 9 | -12/+15 |
* | Added "techmap -assert" | Clifford Wolf | 2014-07-31 | 2 | -14/+43 |
* | Reorganized stdcells.v (no actual code change, just moved and indented stuff) | Clifford Wolf | 2014-07-31 | 1 | -747/+590 |
* | Added "yosys -A" | Clifford Wolf | 2014-07-31 | 1 | -1/+10 |
* | Added "yosys -Q" | Clifford Wolf | 2014-07-31 | 1 | -26/+35 |
* | Added techmap CONSTMAP feature | Clifford Wolf | 2014-07-30 | 3 | -12/+126 |
* | Fixed counting verilog line numbers for "// synopsys translate_off" sections | Clifford Wolf | 2014-07-30 | 2 | -4/+4 |
* | Added write_file command | Clifford Wolf | 2014-07-30 | 4 | -5/+84 |
* | Added "make -j{N}" support to "make test" | Clifford Wolf | 2014-07-30 | 7 | -22/+39 |
* | Improvements in test_cell | Clifford Wolf | 2014-07-30 | 1 | -35/+89 |
* | New techmap default rules for $shr $sshr $shl $sshl | Clifford Wolf | 2014-07-30 | 1 | -282/+62 |
* | Using native ezSAT shift ops in satgen, fixed $shift and $shiftx SAT models | Clifford Wolf | 2014-07-30 | 1 | -36/+39 |
* | Added native support for shift operations to ezSAT | Clifford Wolf | 2014-07-30 | 2 | -1/+95 |
* | Added "log_dump_val_worker(char *v)" | Clifford Wolf | 2014-07-30 | 1 | -0/+1 |
* | Added CodingStyle document | Clifford Wolf | 2014-07-30 | 1 | -0/+43 |
* | Added "kernel/yosys.h" and "kernel/yosys.cc" | Clifford Wolf | 2014-07-30 | 8 | -61/+133 |
* | Added "test_cell" command | Clifford Wolf | 2014-07-29 | 3 | -1/+186 |
* | Renamed "write_autotest" to "test_autotb" and moved to passes/tests/ | Clifford Wolf | 2014-07-29 | 5 | -10/+12 |
* | Fixed Verilog pre-processor for files with no trailing newline | Clifford Wolf | 2014-07-29 | 1 | -1/+1 |
* | Bugfix in simlib.v for iverilog | Clifford Wolf | 2014-07-29 | 1 | -5/+6 |
* | Allow "hierarchy -generate" for $__ cells | Clifford Wolf | 2014-07-29 | 1 | -1/+3 |
* | Added "techmap -map %{design-name}" | Clifford Wolf | 2014-07-29 | 4 | -10/+29 |
* | Added $shift and $shiftx cell types (needed for correct part select behavior) | Clifford Wolf | 2014-07-29 | 12 | -40/+214 |
* | Removed left over debug code | Clifford Wolf | 2014-07-28 | 2 | -2/+0 |
* | Fixed part selects of parameters | Clifford Wolf | 2014-07-28 | 2 | -7/+31 |
* | Set results of out-of-bounds static bit/part select to undef | Clifford Wolf | 2014-07-28 | 1 | -5/+31 |
* | Fixed RTLIL code generator for part select of parameter | Clifford Wolf | 2014-07-28 | 1 | -2/+2 |
* | Fixed width detection for part selects | Clifford Wolf | 2014-07-28 | 1 | -2/+2 |
* | Added support for "upto" wires to Verilog front- and back-end | Clifford Wolf | 2014-07-28 | 6 | -22/+96 |
* | Added wire->upto flag for signals such as "wire [0:7] x;" | Clifford Wolf | 2014-07-28 | 6 | -2/+13 |
* | Using log_assert() instead of assert() | Clifford Wolf | 2014-07-28 | 52 | -251/+236 |
* | Added std::initializer_list<> constructor to SigSpec | Clifford Wolf | 2014-07-28 | 2 | -0/+15 |
* | Added cover() to all SigSpec constructors | Clifford Wolf | 2014-07-28 | 1 | -0/+22 |
* | Fixed signdness detection of expressions with bit- and part-selects | Clifford Wolf | 2014-07-28 | 1 | -0/+1 |
* | Improvements in tests/vloghtb | Clifford Wolf | 2014-07-28 | 2 | -11/+17 |
* | Added techmap -extern | Clifford Wolf | 2014-07-27 | 3 | -17/+92 |
* | Added proper Design->addModule interface | Clifford Wolf | 2014-07-27 | 3 | -4/+43 |
* | Added topological sorting to techmap | Clifford Wolf | 2014-07-27 | 2 | -21/+54 |
* | Added SigPool::check(bit) | Clifford Wolf | 2014-07-27 | 2 | -2/+7 |
* | Small improvements in PerformanceTimer API | Clifford Wolf | 2014-07-27 | 1 | -6/+7 |
* | Fixed bug in opt_clean | Clifford Wolf | 2014-07-27 | 1 | -1/+1 |
* | Improved performance of opt_const on large modules | Clifford Wolf | 2014-07-27 | 2 | -29/+157 |
* | Added RTLIL::SigSpec::remove_const() handling of packed SigSpecs | Clifford Wolf | 2014-07-27 | 1 | -9/+26 |
* | Added RTLIL::SigSpecConstIterator | Clifford Wolf | 2014-07-27 | 1 | -0/+18 |