summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Added FSM test benchClifford Wolf2014-08-08
* Added "sat -prove-skip"Clifford Wolf2014-08-08
* Fixed build with gcc-4.6Clifford Wolf2014-08-07
* Use "-keepdc" in "miter -equiv -flatten"Clifford Wolf2014-08-07
* Also allow "module foobar(input foo, output bar, ...);" syntaxClifford Wolf2014-08-07
* Added adff2dff.v (for techmap -share_map)Clifford Wolf2014-08-07
* Added AST_MULTIRANGE (arrays with more than 1 dimension)Clifford Wolf2014-08-06
* Various improvements in memory_dff passClifford Wolf2014-08-06
* Various fixes and improvements in wreduce passClifford Wolf2014-08-05
* Removed old "constmap" from wreduce codeClifford Wolf2014-08-05
* Added support for truncating of wires to wreduce passClifford Wolf2014-08-05
* Cleanups and improvements in wreduce passClifford Wolf2014-08-05
* Added mux support to wreduce commandClifford Wolf2014-08-05
* Improved scope resolution of local regs in Verilog+AST frontendClifford Wolf2014-08-05
* Fixed AST handling of variables declared inside a functions main blockClifford Wolf2014-08-05
* Added "show -signed"Clifford Wolf2014-08-04
* Added support for non-standard "module mod_name(...);" syntaxClifford Wolf2014-08-04
* Added RTLIL::IdString::in(...)Clifford Wolf2014-08-04
* Fixed "share" for memory read portsClifford Wolf2014-08-03
* Added "wreduce" to some of the standard test benchesClifford Wolf2014-08-03
* Progress in "wreduce" passClifford Wolf2014-08-03
* Added "wreduce" command (work in progress)Clifford Wolf2014-08-03
* Added query() API to ModIndexClifford Wolf2014-08-03
* Added ID() macro for static IdStringsClifford Wolf2014-08-03
* Implemented recursive techmapClifford Wolf2014-08-03
* Fixes in show command (related to new IdString)Clifford Wolf2014-08-03
* Implemented simplemap support for "techmap -extern"Clifford Wolf2014-08-02
* Fixed a va_list corruption in logv_error()Clifford Wolf2014-08-02
* Be more conservative with printing decimal numbers in verilog backendClifford Wolf2014-08-02
* Improved verilog output for ordinary $mux cellsClifford Wolf2014-08-02
* Bugfix in "techmap -extern"Clifford Wolf2014-08-02
* Removed at() method from RTLIL::IdStringClifford Wolf2014-08-02
* No implicit conversion from IdString to anything elseClifford Wolf2014-08-02
* More bugfixes related to new RTLIL::IdStringClifford Wolf2014-08-02
* Limit size of log_signal buffer to 100 elementsClifford Wolf2014-08-02
* Improvements in new RTLIL::IdString implementationClifford Wolf2014-08-02
* Fixed a performance bug in opt_reduceClifford Wolf2014-08-02
* Implemented new reference counting RTLIL::IdStringClifford Wolf2014-08-02
* Fixed memory corruption related to id2cstr()Clifford Wolf2014-08-02
* More cleanups related to RTLIL::IdString usageClifford Wolf2014-08-02
* Preparations for RTLIL::IdString redesign: cleanup of existing codeClifford Wolf2014-08-02
* Added logfile hash to statistics footerClifford Wolf2014-08-01
* Replaced sha1 implementationClifford Wolf2014-08-01
* Added per-pass cpu usage statisticsClifford Wolf2014-08-01
* Added ModIndex helper class, some changes to RTLIL::MonitorClifford Wolf2014-08-01
* Packed SigBit::data and SigBit::offset in a unionClifford Wolf2014-08-01
* Consolidated hana test benches into fewer filesClifford Wolf2014-08-01
* Added "test_autotb -n <num_iter>" optionClifford Wolf2014-08-01
* Renamed modwalker.h to modtools.hClifford Wolf2014-07-31
* Various cleanups in Makefile, Renamed default configurationsClifford Wolf2014-07-31