| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | 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 |
| |\ |
|
| | * | Update README | Ahmed Irfan | 2015-04-03 | 1 | -1/+1 |
| | * | Delete btor.ys | Ahmed Irfan | 2015-04-03 | 1 | -18/+0 |
| | * | Update README | Ahmed Irfan | 2015-04-03 | 1 | -1/+1 |
| | * | 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 |
| * | | Minor "write_smt2" help msg change | Clifford Wolf | 2015-02-22 | 1 | -1/+1 |
| * | | Fixed "check -assert" | Clifford Wolf | 2015-02-22 | 1 | -1/+1 |
| * | | Added "<mod>_a" and "<mod>_i" to write_smt2 output | Clifford Wolf | 2015-02-22 | 1 | -23/+149 |
| * | | Added "check -assert" doc | Clifford Wolf | 2015-02-22 | 1 | -0/+3 |
| * | | Added "check -assert" | Clifford Wolf | 2015-02-22 | 1 | -0/+8 |
| * | | Fixed "sat -initsteps" off-by-one bug | Clifford Wolf | 2015-02-22 | 1 | -1/+1 |
| * | | Added "sat -stepsize" and "sat -tempinduct-step" | Clifford Wolf | 2015-02-21 | 1 | -21/+64 |
| * | | sat docu change | Clifford Wolf | 2015-02-21 | 1 | -0/+3 |
| * | | When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing. | Clifford Wolf | 2015-02-21 | 1 | -0/+5 |
| * | | Added "sat -tempinduct-baseonly -tempinduct-inductonly" | Clifford Wolf | 2015-02-21 | 1 | -66/+92 |
| * | | Fixed basecase init for "sat -tempinduct" | Clifford Wolf | 2015-02-21 | 1 | -1/+6 |
| * | | Fixed "flatten" for non-pre-derived modules | Clifford Wolf | 2015-02-21 | 1 | -2/+2 |
| * | | Hotfix for yosysjs/demo03.html | Clifford Wolf | 2015-02-21 | 1 | -4/+4 |
| * | | YosysJS: Wait for Viz to load | Clifford Wolf | 2015-02-21 | 2 | -16/+33 |
| * | | Replaced ezDefaultSAT with ezSatPtr | Clifford Wolf | 2015-02-21 | 12 | -139/+186 |
| * | | Catch constants assigned to cell outputs in "flatten" | Clifford Wolf | 2015-02-21 | 1 | -0/+6 |
