2014-08-14 |
Clifford Wolf | Some improvements in FSM mapping and recoding |
commit | commitdiff | tree |
2014-08-14 |
Clifford Wolf | Added "abc -D" for setting delay target |
commit | commitdiff | tree |
2014-08-14 |
Clifford Wolf | Updated ABC to 4935c2b946de |
commit | commitdiff | tree |
2014-08-13 |
Clifford Wolf | Added techmap support for actual lookahead carry unit |
commit | commitdiff | tree |
2014-08-13 |
Clifford Wolf | Preparations for lookahead ALU support in techmap.v |
commit | commitdiff | tree |
2014-08-13 |
Clifford Wolf | Filter ANSI escape sequences from ABC output |
commit | commitdiff | tree |
2014-08-13 |
Clifford Wolf | New interface for $__alu in techmap.v |
commit | commitdiff | tree |
2014-08-13 |
Clifford Wolf | Added support for non-standard """ macro bodies |
commit | commitdiff | tree |
2014-08-12 |
Clifford Wolf | Fixed handling of constant-true branches in proc_clean |
commit | commitdiff | tree |
2014-08-12 |
Clifford Wolf | Added test_verific mode to tests/fsm/generate.py |
commit | commitdiff | tree |
2014-08-12 |
Clifford Wolf | Fixed SigBit(RTLIL::Wire *wire) constructor |
commit | commitdiff | tree |
2014-08-12 |
Clifford Wolf | Fixed building verific bindings |
commit | commitdiff | tree |
2014-08-12 |
Clifford Wolf | Added multi-dim memory test (requires iverilog git... |
commit | commitdiff | tree |
2014-08-11 |
Clifford Wolf | Another build fix by americanrouter (via reddit) |
commit | commitdiff | tree |
2014-08-10 |
Clifford Wolf | Fixed FSM mapping for multiple reset-like signals |
commit | commitdiff | tree |
2014-08-09 |
Clifford Wolf | Fixed "share" for complex scenarios with never-active... |
commit | commitdiff | tree |
2014-08-09 |
Clifford Wolf | Do not share any $reduce_* cells (its complicated and... |
commit | commitdiff | tree |
2014-08-09 |
Clifford Wolf | Some improvements in fsm_opt and fsm_map for FSM with... |
commit | commitdiff | tree |
2014-08-08 |
Clifford Wolf | Improved FSM tests |
commit | commitdiff | tree |
2014-08-08 |
Clifford Wolf | Another fsm_extract bugfix |
commit | commitdiff | tree |
2014-08-08 |
Clifford Wolf | Fixed "fsm -export" |
commit | commitdiff | tree |
2014-08-08 |
Clifford Wolf | Fixed sharing of reduce operator |
commit | commitdiff | tree |
2014-08-08 |
Clifford Wolf | Fixed fsm_extract for wreduced muxes |
commit | commitdiff | tree |
2014-08-08 |
Clifford Wolf | Added FSM test bench |
commit | commitdiff | tree |
2014-08-08 |
Clifford Wolf | Added "sat -prove-skip" |
commit | commitdiff | tree |
2014-08-07 |
Clifford Wolf | Fixed build with gcc-4.6 |
commit | commitdiff | tree |
2014-08-07 |
Clifford Wolf | Use "-keepdc" in "miter -equiv -flatten" |
commit | commitdiff | tree |
2014-08-07 |
Clifford Wolf | Also allow "module foobar(input foo, output bar, .... |
commit | commitdiff | tree |
2014-08-07 |
Clifford Wolf | Added adff2dff.v (for techmap -share_map) |
commit | commitdiff | tree |
2014-08-06 |
Clifford Wolf | Added AST_MULTIRANGE (arrays with more than 1 dimension) |
commit | commitdiff | tree |
2014-08-06 |
Clifford Wolf | Various improvements in memory_dff pass |
commit | commitdiff | tree |
2014-08-05 |
Clifford Wolf | Various fixes and improvements in wreduce pass |
commit | commitdiff | tree |
2014-08-05 |
Clifford Wolf | Removed old "constmap" from wreduce code |
commit | commitdiff | tree |
2014-08-05 |
Clifford Wolf | Added support for truncating of wires to wreduce pass |
commit | commitdiff | tree |
2014-08-05 |
Clifford Wolf | Cleanups and improvements in wreduce pass |
commit | commitdiff | tree |
2014-08-05 |
Clifford Wolf | Added mux support to wreduce command |
commit | commitdiff | tree |
2014-08-05 |
Clifford Wolf | Improved scope resolution of local regs in Verilog... |
commit | commitdiff | tree |
2014-08-05 |
Clifford Wolf | Fixed AST handling of variables declared inside a funct... |
commit | commitdiff | tree |
2014-08-04 |
Clifford Wolf | Added "show -signed" |
commit | commitdiff | tree |
2014-08-04 |
Clifford Wolf | Added support for non-standard "module mod_name(..... |
commit | commitdiff | tree |
2014-08-04 |
Clifford Wolf | Added RTLIL::IdString::in(...) |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Fixed "share" for memory read ports |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Added "wreduce" to some of the standard test benches |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Progress in "wreduce" pass |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Added "wreduce" command (work in progress) |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Added query() API to ModIndex |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Added ID() macro for static IdStrings |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Implemented recursive techmap |
commit | commitdiff | tree |
2014-08-03 |
Clifford Wolf | Fixes in show command (related to new IdString) |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Implemented simplemap support for "techmap -extern" |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Fixed a va_list corruption in logv_error() |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Be more conservative with printing decimal numbers... |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Improved verilog output for ordinary $mux cells |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Bugfix in "techmap -extern" |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Removed at() method from RTLIL::IdString |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | No implicit conversion from IdString to anything else |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | More bugfixes related to new RTLIL::IdString |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Limit size of log_signal buffer to 100 elements |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Improvements in new RTLIL::IdString implementation |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Fixed a performance bug in opt_reduce |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Implemented new reference counting RTLIL::IdString |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | Fixed memory corruption related to id2cstr() |
commit | commitdiff | tree |
2014-08-02 |
Clifford Wolf | More cleanups related to RTLIL::IdString usage |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Preparations for RTLIL::IdString redesign: cleanup... |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Added logfile hash to statistics footer |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Replaced sha1 implementation |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Added per-pass cpu usage statistics |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Added ModIndex helper class, some changes to RTLIL... |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Packed SigBit::data and SigBit::offset in a union |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Consolidated hana test benches into fewer files |
commit | commitdiff | tree |
2014-08-01 |
Clifford Wolf | Added "test_autotb -n <num_iter>" option |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Renamed modwalker.h to modtools.h |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Various cleanups in Makefile, Renamed default configura... |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Added compiler + compiler version + compiler flags... |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Fixed build of verific bindings |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Renamed port access function on RTLIL::Cell, added... |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Added "trace" command |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Added RTLIL::Monitor |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Added module->design and cell->module, wire->module... |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Moved some stuff to kernel/yosys.{h,cc}, using Yosys... |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Renamed "stdcells.v" to "techmap.v" |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Added "techmap -assert" |
commit | commitdiff | tree |
2014-07-31 |
Clifford Wolf | Reorganized stdcells.v (no actual code change, just... |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added "yosys -A" |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added "yosys -Q" |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added techmap CONSTMAP feature |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Fixed counting verilog line numbers for "// synopsys... |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added write_file command |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added "make -j{N}" support to "make test" |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Improvements in test_cell |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | New techmap default rules for $shr $sshr $shl $sshl |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Using native ezSAT shift ops in satgen, fixed $shift... |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added native support for shift operations to ezSAT |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added "log_dump_val_worker(char *v)" |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added CodingStyle document |
commit | commitdiff | tree |
2014-07-30 |
Clifford Wolf | Added "kernel/yosys.h" and "kernel/yosys.cc" |
commit | commitdiff | tree |
2014-07-29 |
Clifford Wolf | Added "test_cell" command |
commit | commitdiff | tree |
2014-07-29 |
Clifford Wolf | Renamed "write_autotest" to "test_autotb" and moved... |
commit | commitdiff | tree |
2014-07-29 |
Clifford Wolf | Fixed Verilog pre-processor for files with no trailing... |
commit | commitdiff | tree |
2014-07-29 |
Clifford Wolf | Bugfix in simlib.v for iverilog |
commit | commitdiff | tree |
next |