| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added hashlib support for std::tuple<> | Clifford Wolf | 2015-04-07 | 1 | -0/+15 |
| | | |||||
| * | Added "muxcover" command | Clifford Wolf | 2015-04-07 | 2 | -0/+542 |
| | | |||||
| * | Added pool<K>::pop() | Clifford Wolf | 2015-04-07 | 1 | -0/+8 |
| | | |||||
| * | typo fix | Clifford Wolf | 2015-04-07 | 1 | -1/+1 |
| | | |||||
| * | Added "chparam" command | Clifford Wolf | 2015-04-07 | 1 | -0/+57 |
| | | |||||
| * | Added support for initialized xilinx brams | Clifford Wolf | 2015-04-06 | 11 | -92/+315 |
| | | |||||
| * | Added support for initialized brams | Clifford Wolf | 2015-04-06 | 2 | -9/+45 |
| | | |||||
| * | Added Xilinx test case for initialized brams | Clifford Wolf | 2015-04-06 | 4 | -0/+80 |
| | | |||||
| * | Added Xilinx bram black-box modules | Clifford Wolf | 2015-04-06 | 3 | -0/+322 |
| | | |||||
| * | Added "port_directions" to write_json output | Clifford Wolf | 2015-04-06 | 1 | -0/+20 |
| | | |||||
| * | Avoid parameter values with size 0 ($mem cells) | Clifford Wolf | 2015-04-05 | 3 | -11/+16 |
| | | |||||
| * | make all vector-size related integer params in $mem sim model signed | Clifford Wolf | 2015-04-05 | 1 | -6/+6 |
| | | | | | | | 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 | 4 | -2/+131 |
| | | |||||
| * | Added "dffinit", Support for initialized Xilinx DFF | Clifford Wolf | 2015-04-04 | 6 | -8/+132 |
| | | |||||
| * | Added "init" attribute support to verilog backend | Clifford Wolf | 2015-04-04 | 1 | -0/+5 |
| | | |||||
| * | appnote 012 fix | Clifford Wolf | 2015-04-04 | 1 | -2/+2 |
| | | |||||
| * | Appnote 012 | Clifford Wolf | 2015-04-04 | 2 | -115/+115 |
| | | |||||
| * | Updated ABC to 51705b168d7a | Clifford Wolf | 2015-04-04 | 1 | -2/+2 |
| | | |||||
| * | Merge pull request #55 from ahmedirfan1983/master | Clifford Wolf | 2015-04-04 | 4 | -27/+492 |
| |\ | | | | | added appnote and impr in btor | ||||
| | * | Update README | Ahmed Irfan | 2015-04-03 | 1 | -1/+1 |
| | | | | | | | corrected url | ||||
| | * | Delete btor.ys | Ahmed Irfan | 2015-04-03 | 1 | -18/+0 |
| | | | | | | | .ys script not needed | ||||
| | * | Update README | Ahmed Irfan | 2015-04-03 | 1 | -1/+1 |
| | | | | | | | pmux cell is implemented | ||||
| | * | separated memory next from write cell | Ahmed Irfan | 2015-04-03 | 1 | -7/+55 |
| | | | |||||
| | * | Merge branch 'master' of https://github.com/cliffordwolf/yosys | Ahmed Irfan | 2015-04-03 | 266 | -4671/+18443 |
| | |\ | |/ |/| | |||||
| * | | documentation improvements | Clifford Wolf | 2015-03-29 | 2 | -1/+5 |
| | | | |||||
| * | | Ignore celldefine directive in verilog front-end | Clifford Wolf | 2015-03-25 | 1 | -0/+3 |
| | | | |||||
| * | | Fixes in cmos_cells.v | Clifford Wolf | 2015-03-25 | 1 | -3/+12 |
| | | | |||||
| * | | Fixed detection of absolute paths in ABC for win32 | Clifford Wolf | 2015-03-22 | 3 | -3/+13 |
| | | | |||||
| * | | Added blif reference to appnote 010 | Clifford Wolf | 2015-03-22 | 1 | -1/+5 |
| | | | |||||
| * | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-03-20 | 1 | -2/+2 |
| |\ \ | |||||
| | * | | Fixed handling of quotes in liberty parser | Clifford Wolf | 2015-03-18 | 1 | -2/+2 |
| | | | | |||||
| * | | | fix for python 2.6.6 | Clifford Wolf | 2015-03-20 | 3 | -165/+172 |
| |/ / | |||||
| * | | Added hierarchy -auto-top | Clifford Wolf | 2015-03-18 | 1 | -1/+33 |
| | | | |||||
| * | | Added Verilog backend $dffsr support | Clifford Wolf | 2015-03-18 | 1 | -1/+51 |
| | | | |||||
| * | | Documentation for JSON format, added attributes | Clifford Wolf | 2015-03-06 | 1 | -16/+156 |
| | | | |||||
| * | | Added very first version of "synth_ice40" | Clifford Wolf | 2015-03-05 | 4 | -0/+211 |
| | | | |||||
| * | | Fixed bug in "hierarchy" for parametric designs | Clifford Wolf | 2015-03-04 | 1 | -20/+19 |
| | | | |||||
| * | | Json bugfix | Clifford Wolf | 2015-03-03 | 1 | -1/+1 |
| | | | |||||
| * | | Json backend improvements | Clifford Wolf | 2015-03-03 | 1 | -4/+12 |
| | | | |||||
| * | | Added write_blif -attr | Clifford Wolf | 2015-03-02 | 1 | -18/+33 |
| | | | |||||
| * | | Added JSON backend | Clifford Wolf | 2015-03-02 | 2 | -0/+262 |
| | | | |||||
| * | | Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker() | Clifford Wolf | 2015-03-01 | 1 | -2/+4 |
| | | | |||||
| * | | Added $assume support to write_smt2 | Clifford Wolf | 2015-02-26 | 1 | -4/+19 |
| | | | |||||
| * | | Added non-std verilog assume() statement | Clifford Wolf | 2015-02-26 | 10 | -25/+67 |
| | | | |||||
| * | | Added $assume cell type | Clifford Wolf | 2015-02-26 | 5 | -2/+57 |
| | | | |||||
| * | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-02-25 | 2 | -14/+54 |
| |\ \ | |||||
| | * | | Added "keep_hierarchy" attribute | Clifford Wolf | 2015-02-25 | 2 | -14/+54 |
| | | | | |||||
| * | | | Bugfix in iopadmap | Clifford Wolf | 2015-02-25 | 1 | -10/+3 |
| |/ / | |||||
| * | | Some cleanups in "clean" | Clifford Wolf | 2015-02-24 | 3 | -7/+26 |
| | | | |||||
| * | | Fixed compilation problems with gcc 4.6.3; use enum instead of const ints. | Clifford Wolf | 2015-02-24 | 1 | -2/+4 |
| | | | | | | | | | (original patch by Andrew Becker <andrew.becker@epfl.ch>) | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |