Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | flowmap: implement depth relaxation. | whitequark | 2019-01-08 | 6 | -0/+82 |
| | |||||
* | flowmap: cleanup for clarity. NFCI. | whitequark | 2019-01-04 | 2 | -0/+38 |
| | |||||
* | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 3 | -6/+6 |
| | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | ||||
* | Add $live and $fair cell types, add support for s_eventually keyword | Clifford Wolf | 2017-02-25 | 1 | -2/+0 |
| | |||||
* | Cosmetic fix in test_autotb.cc | Clifford Wolf | 2016-09-19 | 1 | -2/+2 |
| | |||||
* | Avoid creating very long strings in test_autotb | Clifford Wolf | 2016-09-19 | 1 | -4/+10 |
| | |||||
* | Removed $predict again | Clifford Wolf | 2016-08-28 | 1 | -1/+0 |
| | |||||
* | Bugfix in test_autotb | Clifford Wolf | 2016-08-18 | 1 | -0/+4 |
| | |||||
* | Added "test_autotb -seed" (and "autotest.sh -S") | Clifford Wolf | 2016-08-06 | 1 | -3/+8 |
| | |||||
* | Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell() | Clifford Wolf | 2016-07-25 | 1 | -1/+1 |
| | |||||
* | Improvements in CellEdgesDatabase | Clifford Wolf | 2016-07-24 | 1 | -3/+33 |
| | |||||
* | Added CellEdgesDatabase API | Clifford Wolf | 2016-07-24 | 1 | -0/+96 |
| | |||||
* | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
| | |||||
* | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 1 | -0/+2 |
| | |||||
* | Improved support for $sop cells | Clifford Wolf | 2016-06-17 | 1 | -2/+38 |
| | |||||
* | Improvements and fixes in autotest.sh script and test_autotb | Clifford Wolf | 2016-05-20 | 1 | -3/+3 |
| | |||||
* | Close opened dump file. | Kaj Tuomi | 2016-05-19 | 1 | -0/+1 |
| | |||||
* | Fix for Modelsim transcript line warp issue #164 | Kaj Tuomi | 2016-05-19 | 1 | -7/+13 |
| | |||||
* | Fixed test_autotb for modules with many cell ports | Clifford Wolf | 2016-04-25 | 1 | -3/+6 |
| | |||||
* | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 1 | -1/+1 |
| | |||||
* | Import more std:: stuff into Yosys namespace | Clifford Wolf | 2015-10-25 | 1 | -1/+1 |
| | |||||
* | Added "test_cell -noeval" | Clifford Wolf | 2015-09-25 | 1 | -1/+10 |
| | |||||
* | Re-created command-reference-manual.tex, copied some doc fixes to online help | Clifford Wolf | 2015-08-14 | 2 | -2/+2 |
| | |||||
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -1/+1 |
| | |||||
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -3/+3 |
| | |||||
* | Renamed "aig" to "aigmap" | Clifford Wolf | 2015-06-10 | 1 | -4/+4 |
| | |||||
* | Fixed cellaigs port extending | Clifford Wolf | 2015-06-10 | 1 | -0/+7 |
| | |||||
* | Replaced ezDefaultSAT with ezSatPtr | Clifford Wolf | 2015-02-21 | 2 | -17/+17 |
| | |||||
* | Some test related fixes | Clifford Wolf | 2015-02-12 | 1 | -1/+1 |
| | | | | (incl. removal of three bad test cases) | ||||
* | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 1 | -2/+2 |
| | |||||
* | Replaced std::unordered_map as implementation for Yosys::dict | Clifford Wolf | 2014-12-26 | 1 | -12/+12 |
| | |||||
* | Added "test_cell -muxdiv" | Clifford Wolf | 2014-12-25 | 1 | -2/+18 |
| | |||||
* | Added "test_cell -w" feature | Clifford Wolf | 2014-12-25 | 1 | -18/+39 |
| | |||||
* | Fixed typo in test_cell | Clifford Wolf | 2014-10-18 | 1 | -1/+1 |
| | |||||
* | Renamed SIZE() to GetSize() because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 3 | -44/+44 |
| | |||||
* | namespace Yosys | Clifford Wolf | 2014-09-27 | 3 | -0/+9 |
| | |||||
* | Added "test_abcloop" command | Clifford Wolf | 2014-09-19 | 2 | -0/+286 |
| | |||||
* | Added $lcu cell type | Clifford Wolf | 2014-09-08 | 1 | -1/+26 |
| | |||||
* | Added "$fa" cell type | Clifford Wolf | 2014-09-08 | 1 | -0/+31 |
| | |||||
* | Added "test_cell -const" | Clifford Wolf | 2014-09-08 | 1 | -2/+45 |
| | |||||
* | Added "test_cell -nosat" | Clifford Wolf | 2014-09-07 | 1 | -59/+73 |
| | |||||
* | Various bug fixes (related to $macc model testing) | Clifford Wolf | 2014-09-06 | 1 | -1/+1 |
| | |||||
* | Added $macc SAT model | Clifford Wolf | 2014-09-06 | 1 | -5/+6 |
| | |||||
* | Added $macc cell type | Clifford Wolf | 2014-09-06 | 1 | -2/+53 |
| | |||||
* | Added "test_cell -script" | Clifford Wolf | 2014-09-06 | 1 | -1/+8 |
| | |||||
* | Removed $bu0 cell type | Clifford Wolf | 2014-09-04 | 1 | -1/+0 |
| | |||||
* | Fixed "test_cells -vlog" | Clifford Wolf | 2014-09-03 | 1 | -4/+6 |
| | |||||
* | Improvements in "test_cell -vlog" | Clifford Wolf | 2014-09-02 | 1 | -3/+8 |
| | |||||
* | Added test_cell -vlog | Clifford Wolf | 2014-09-02 | 1 | -2/+79 |
| | |||||
* | Added SAT testing to test_cell eval stage | Clifford Wolf | 2014-09-02 | 1 | -1/+89 |
| |