Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Added support for "file names with blanks" | Clifford Wolf | 2015-04-08 |
| | |||
* | Removed "techmap -share_map" (use "-map +/filename" instead) | Clifford Wolf | 2015-04-08 |
| | |||
* | Added %M and %C select operators | Clifford Wolf | 2015-04-07 |
| | |||
* | Added "pmuxtree" command | Clifford Wolf | 2015-04-07 |
| | |||
* | Added "chparam -list" | Clifford Wolf | 2015-04-07 |
| | |||
* | Added decoder generation to "muxcover" | Clifford Wolf | 2015-04-07 |
| | |||
* | Added hashlib support for std::tuple<> | Clifford Wolf | 2015-04-07 |
| | |||
* | Added "muxcover" command | Clifford Wolf | 2015-04-07 |
| | |||
* | Added pool<K>::pop() | Clifford Wolf | 2015-04-07 |
| | |||
* | typo fix | Clifford Wolf | 2015-04-07 |
| | |||
* | Added "chparam" command | Clifford Wolf | 2015-04-07 |
| | |||
* | Added support for initialized xilinx brams | Clifford Wolf | 2015-04-06 |
| | |||
* | Added support for initialized brams | Clifford Wolf | 2015-04-06 |
| | |||
* | Added Xilinx test case for initialized brams | Clifford Wolf | 2015-04-06 |
| | |||
* | Added Xilinx bram black-box modules | Clifford Wolf | 2015-04-06 |
| | |||
* | Added "port_directions" to write_json output | Clifford Wolf | 2015-04-06 |
| | |||
* | Avoid parameter values with size 0 ($mem cells) | Clifford Wolf | 2015-04-05 |
| | |||
* | make all vector-size related integer params in $mem sim model signed | Clifford Wolf | 2015-04-05 |
| | | | | | | this fixes iverilog crashes such as the following: warning: verinum::as_long() truncated 32 bits to 31, returns 2147483647 draw_net_input.c:711: Error: malloc() ran out of memory. | ||
* | Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types | Clifford Wolf | 2015-04-05 |
| | |||
* | Added "dffinit", Support for initialized Xilinx DFF | Clifford Wolf | 2015-04-04 |
| | |||
* | Added "init" attribute support to verilog backend | Clifford Wolf | 2015-04-04 |
| | |||
* | appnote 012 fix | Clifford Wolf | 2015-04-04 |
| | |||
* | Appnote 012 | Clifford Wolf | 2015-04-04 |
| | |||
* | Updated ABC to 51705b168d7a | Clifford Wolf | 2015-04-04 |
| | |||
* | Merge pull request #55 from ahmedirfan1983/master | Clifford Wolf | 2015-04-04 |
|\ | | | | | added appnote and impr in btor | ||
| * | Update README | Ahmed Irfan | 2015-04-03 |
| | | | | | | corrected url | ||
| * | Delete btor.ys | Ahmed Irfan | 2015-04-03 |
| | | | | | | .ys script not needed | ||
| * | Update README | Ahmed Irfan | 2015-04-03 |
| | | | | | | pmux cell is implemented | ||
| * | separated memory next from write cell | Ahmed Irfan | 2015-04-03 |
| | | |||
| * | Merge branch 'master' of https://github.com/cliffordwolf/yosys | Ahmed Irfan | 2015-04-03 |
| |\ | |/ |/| | |||
* | | documentation improvements | Clifford Wolf | 2015-03-29 |
| | | |||
* | | Ignore celldefine directive in verilog front-end | Clifford Wolf | 2015-03-25 |
| | | |||
* | | Fixes in cmos_cells.v | Clifford Wolf | 2015-03-25 |
| | | |||
* | | Fixed detection of absolute paths in ABC for win32 | Clifford Wolf | 2015-03-22 |
| | | |||
* | | Added blif reference to appnote 010 | Clifford Wolf | 2015-03-22 |
| | | |||
* | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-03-20 |
|\ \ | |||
| * | | Fixed handling of quotes in liberty parser | Clifford Wolf | 2015-03-18 |
| | | | |||
* | | | fix for python 2.6.6 | Clifford Wolf | 2015-03-20 |
|/ / | |||
* | | Added hierarchy -auto-top | Clifford Wolf | 2015-03-18 |
| | | |||
* | | Added Verilog backend $dffsr support | Clifford Wolf | 2015-03-18 |
| | | |||
* | | Documentation for JSON format, added attributes | Clifford Wolf | 2015-03-06 |
| | | |||
* | | Added very first version of "synth_ice40" | Clifford Wolf | 2015-03-05 |
| | | |||
* | | Fixed bug in "hierarchy" for parametric designs | Clifford Wolf | 2015-03-04 |
| | | |||
* | | Json bugfix | Clifford Wolf | 2015-03-03 |
| | | |||
* | | Json backend improvements | Clifford Wolf | 2015-03-03 |
| | | |||
* | | Added write_blif -attr | Clifford Wolf | 2015-03-02 |
| | | |||
* | | Added JSON backend | Clifford Wolf | 2015-03-02 |
| | | |||
* | | Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker() | Clifford Wolf | 2015-03-01 |
| | | |||
* | | Added $assume support to write_smt2 | Clifford Wolf | 2015-02-26 |
| | | |||
* | | Added non-std verilog assume() statement | Clifford Wolf | 2015-02-26 |
| | |