aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Updated minisatClifford Wolf2014-07-2120-45/+45
* Using relative path names in minisat headersClifford Wolf2014-07-211-1/+1
* Added yet another resource sharing test caseClifford Wolf2014-07-202-0/+49
* Added support for resource sharing in mux control logicClifford Wolf2014-07-201-86/+155
* Added "select -assert-count"Clifford Wolf2014-07-201-6/+43
* Supercell creation for $div/$mod worked all along, fixed test benchesClifford Wolf2014-07-203-8/+3
* Improved tests/share/generate.pyClifford Wolf2014-07-201-2/+12
* Fixed creation of shift supercells in "share" passClifford Wolf2014-07-201-4/+20
* Small fix in tests/vloghtb/run-test.shClifford Wolf2014-07-201-0/+2
* Activated tests/share in "make test"Clifford Wolf2014-07-201-0/+1
* Added "miter -equiv -flatten"Clifford Wolf2014-07-202-2/+15
* Added call_on_selection() and call_on_module() APIClifford Wolf2014-07-204-16/+37
* Added tests/vloghtb/test_share.shClifford Wolf2014-07-205-1/+57
* Added tests/share for testing "share" supercell creationClifford Wolf2014-07-203-0/+58
* Added "share" supercell creationClifford Wolf2014-07-201-1/+115
* Added removing of always inactive cells to "share" passClifford Wolf2014-07-201-8/+42
* Progress in "share" passClifford Wolf2014-07-201-112/+185
* Added std::set<RTLIL::SigBit> to RTLIL::SigSpec conversionClifford Wolf2014-07-202-3/+11
* Added SIZE() macroClifford Wolf2014-07-201-0/+2
* Added log_cell()Clifford Wolf2014-07-202-0/+17
* Progress in "share" passClifford Wolf2014-07-201-19/+56
* Added tests/vloghtbClifford Wolf2014-07-202-0/+18
* Use functions instead of always blocks for $mux/$pmux/$safe_pmux in verilog b...Clifford Wolf2014-07-201-17/+21
* Added support for $bu0 to verilog backendClifford Wolf2014-07-201-0/+16
* Started to implement real resource sharingClifford Wolf2014-07-192-0/+444
* Fixed log_id() memory corruptionClifford Wolf2014-07-192-5/+10
* Improved memory_share log messagesClifford Wolf2014-07-191-3/+3
* More verbose memory_share help messageClifford Wolf2014-07-191-0/+17
* Added SAT-based write-port sharing to memory_shareClifford Wolf2014-07-192-0/+205
* Added ModWalker helper classClifford Wolf2014-07-191-0/+298
* Some "const" cleanups in SigMapClifford Wolf2014-07-191-4/+4
* Fixed bug in memory_share feedback-to-en codeClifford Wolf2014-07-192-4/+36
* Added translation from read-feedback to en-signals in memory_shareClifford Wolf2014-07-183-10/+264
* Improved seeding of color rng in show commandClifford Wolf2014-07-181-1/+3
* Only create collision detect logic in memory_share if necessaryClifford Wolf2014-07-181-4/+47
* Bugfix in tests/memories/run-test.shClifford Wolf2014-07-181-2/+2
* added tests/memoriesClifford Wolf2014-07-185-0/+133
* Added memory_shareClifford Wolf2014-07-183-0/+266
* Added automatic conversion from RTLIL::SigSpec to std::vector<RTLIL::SigBit>Clifford Wolf2014-07-181-0/+1
* Apply opt_reduce WR_EN opts to the whole mux tree driving the WR_EN portClifford Wolf2014-07-181-0/+15
* Added function-like cell creation helpersClifford Wolf2014-07-182-73/+158
* Added log_id() helper functionClifford Wolf2014-07-181-0/+8
* Also simulate unmapped memories in "make test"Clifford Wolf2014-07-171-1/+1
* Implemented dynamic bit-/part-select for memory writesClifford Wolf2014-07-172-3/+66
* Fixed simlib.v model for $memClifford Wolf2014-07-171-15/+15
* Added support for bit/part select to mem2reg rewriterClifford Wolf2014-07-172-0/+30
* Added support for constant bit- or part-select for memory writesClifford Wolf2014-07-172-9/+56
* Improved opt_reduce handling of mem wr_en mux bitsClifford Wolf2014-07-171-5/+18
* Fixed RTLIL::SigSpec::append_bit() for appending constantsClifford Wolf2014-07-171-2/+3
* Added support for "blackbox" attribute to iopadmapClifford Wolf2014-07-171-1/+1