Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improved building of plugins | Clifford Wolf | 2015-02-07 | 2 | -3/+36 |
* | Added "make uninstall" | Clifford Wolf | 2015-02-07 | 1 | -0/+4 |
* | Added cell->known(), cell->input(portname), cell->output(portname) | Clifford Wolf | 2015-02-07 | 2 | -0/+39 |
* | Added "select -read" | Clifford Wolf | 2015-02-06 | 1 | -5/+39 |
* | Auto-detect TCL version | Clifford Wolf | 2015-02-05 | 2 | -2/+2 |
* | Added onehot attribute | Clifford Wolf | 2015-02-04 | 3 | -0/+19 |
* | Fixed opt_clean performance bug | Clifford Wolf | 2015-02-04 | 1 | -26/+26 |
* | Disabled (unused) Xilinx tristate buffers | Clifford Wolf | 2015-02-04 | 1 | -6/+6 |
* | Using design->selected_modules() in opt_* | Clifford Wolf | 2015-02-03 | 5 | -36/+20 |
* | Skip blackbox modules in design->selected_modules() | Clifford Wolf | 2015-02-03 | 1 | -3/+5 |
* | Added "yosys -L logfile" | Clifford Wolf | 2015-02-03 | 1 | -1/+7 |
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-02-01 | 2 | -3/+3 |
|\ | |||||
| * | Merge pull request #48 from rubund/master | Clifford Wolf | 2015-02-01 | 2 | -3/+3 |
| |\ | |||||
| | * | Fixed typos found by lintian | Ruben Undheim | 2015-02-01 | 2 | -3/+3 |
* | | | no support for 6-series xilinx devices | Clifford Wolf | 2015-02-01 | 1 | -1/+1 |
|/ / | |||||
* / | Improved performance in equiv_simple | Clifford Wolf | 2015-02-01 | 2 | -23/+73 |
|/ | |||||
* | Removed old XST-based xilinx examples | Clifford Wolf | 2015-02-01 | 11 | -208/+0 |
* | Added Xilinx example for Basys3 board | Clifford Wolf | 2015-02-01 | 9 | -1/+84 |
* | Added EDIF backend support for multi-bit cell ports | Clifford Wolf | 2015-02-01 | 1 | -11/+10 |
* | Added missing ports and parameters to xilinx brams | Clifford Wolf | 2015-02-01 | 1 | -4/+18 |
* | Added "make mklibyosys", some minor API changes | Clifford Wolf | 2015-02-01 | 7 | -11/+70 |
* | Minor README changes | Clifford Wolf | 2015-02-01 | 1 | -3/+2 |
* | Removed TODO list from README file | Clifford Wolf | 2015-02-01 | 1 | -30/+0 |
* | Added yosys_banner(), Updated Copyright range | Clifford Wolf | 2015-02-01 | 4 | -26/+31 |
* | Added <algorithm> include to hashlib.h | Clifford Wolf | 2015-02-01 | 1 | -0/+1 |
* | Using selections in "ls" command | Clifford Wolf | 2015-02-01 | 1 | -34/+30 |
* | Shorter "dump" options | Clifford Wolf | 2015-01-31 | 1 | -4/+4 |
* | Bugfix in opt_const $eq -> buffer code | Clifford Wolf | 2015-01-31 | 1 | -4/+4 |
* | Log msg change | Clifford Wolf | 2015-01-31 | 1 | -1/+1 |
* | Fixed equiv_make for partially undriven nets (e.g. after "clean -purge") | Clifford Wolf | 2015-01-31 | 1 | -12/+31 |
* | Added "equiv_induct -undef" | Clifford Wolf | 2015-01-31 | 2 | -6/+51 |
* | Added "equiv_simple -undef" | Clifford Wolf | 2015-01-31 | 2 | -17/+61 |
* | Added "equiv_make -blacklist <file> -encfile <file>" | Clifford Wolf | 2015-01-31 | 4 | -5/+189 |
* | Synced RTLIL::unescape_id() to log_id() behavior | Clifford Wolf | 2015-01-30 | 1 | -3/+9 |
* | Added "fsm -encfile" | Clifford Wolf | 2015-01-30 | 3 | -14/+50 |
* | More log_id() stuff | Clifford Wolf | 2015-01-30 | 1 | -3/+7 |
* | Some cleanups in log.cc | Clifford Wolf | 2015-01-30 | 1 | -14/+16 |
* | Improved an error message | Clifford Wolf | 2015-01-28 | 1 | -1/+1 |
* | Fixed bug in equiv_miter | Clifford Wolf | 2015-01-28 | 1 | -6/+6 |
* | Added "sat -show-ports" | Clifford Wolf | 2015-01-27 | 1 | -2/+7 |
* | Bugfix in resource sharing test | Clifford Wolf | 2015-01-27 | 1 | -1/+1 |
* | Updaed ABC to hg rev 61ad5f908c03 | Clifford Wolf | 2015-01-27 | 1 | -1/+1 |
* | Rethrow with "catch(...) throw;" | Clifford Wolf | 2015-01-25 | 3 | -6/+6 |
* | Added equiv_remove | Clifford Wolf | 2015-01-25 | 2 | -0/+84 |
* | Added equiv_miter | Clifford Wolf | 2015-01-25 | 2 | -0/+344 |
* | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 12 | -12/+33 |
* | Added #ifdef NDEBUG for log_assert() | Clifford Wolf | 2015-01-24 | 1 | -1/+5 |
* | Fixed xilinx FDSE sim model | Clifford Wolf | 2015-01-24 | 1 | -2/+2 |
* | Various equiv_* improvements | Clifford Wolf | 2015-01-24 | 4 | -14/+20 |
* | Added dict/pool.sort() | Clifford Wolf | 2015-01-24 | 7 | -50/+80 |