| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added design -stash/-copy-from/-copy-to | Clifford Wolf | 2014-02-06 | 1 | -13/+99 |
| | | |||||
| * | Added support for s: select expressions (wire width) | Clifford Wolf | 2014-02-06 | 1 | -1/+21 |
| | | |||||
| * | Added i:, o:, and x: selection pattern | Clifford Wolf | 2014-02-06 | 1 | -0/+18 |
| | | |||||
| * | Added support for %m selection op | Clifford Wolf | 2014-02-06 | 1 | -0/+16 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2014-02-06 | 1 | -0/+25 |
| |\ | |||||
| | * | Merge pull request #23 from hansiglaser/master | Clifford Wolf | 2014-02-06 | 1 | -0/+25 |
| | |\ | | | | | | | new %s: add sub-modules to selection | ||||
| | | * | new %s: add sub-modules to selection | Johann Glaser | 2014-02-06 | 1 | -0/+25 |
| | |/ | |||||
| * / | Added generic RTLIL::SigSpec::parse_sel() with support for selection variables | Clifford Wolf | 2014-02-06 | 5 | -37/+39 |
| |/ | |||||
| * | Added support for sat -show @<sel_name> | Clifford Wolf | 2014-02-06 | 1 | -0/+17 |
| | | |||||
| * | Added sat -set-init-def and sat -tempinduct-def | Clifford Wolf | 2014-02-06 | 1 | -4/+34 |
| | | |||||
| * | Added opt_const -undriven | Clifford Wolf | 2014-02-06 | 2 | -3/+68 |
| | | |||||
| * | Added expose -dff | Clifford Wolf | 2014-02-06 | 1 | -1/+44 |
| | | |||||
| * | Added support for #-comments in same line as command | Clifford Wolf | 2014-02-06 | 1 | -0/+2 |
| | | |||||
| * | presentation progress | Clifford Wolf | 2014-02-06 | 10 | -12/+265 |
| | | |||||
| * | Changed techmap description from "simple" to "generic" | Clifford Wolf | 2014-02-06 | 1 | -1/+1 |
| | | |||||
| * | Added miter -make_outcmp | Clifford Wolf | 2014-02-06 | 1 | -2/+23 |
| | | |||||
| * | Added sat -set-init-zero support | Clifford Wolf | 2014-02-06 | 1 | -2/+22 |
| | | |||||
| * | Added support for backslash continuation in script files | Clifford Wolf | 2014-02-06 | 1 | -2/+13 |
| | | |||||
| * | Added counters sat test case | Clifford Wolf | 2014-02-06 | 2 | -0/+45 |
| | | |||||
| * | Added sat -verify and -falsify support for non-prove cases | Clifford Wolf | 2014-02-06 | 1 | -14/+26 |
| | | |||||
| * | Added expose command | Clifford Wolf | 2014-02-05 | 2 | -0/+264 |
| | | |||||
| * | presentation progress | Clifford Wolf | 2014-02-05 | 4 | -64/+221 |
| | | |||||
| * | Simplified select "Assertation failed" message generation | Clifford Wolf | 2014-02-05 | 1 | -16/+4 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2014-02-05 | 1 | -7/+24 |
| |\ | |||||
| | * | Merge pull request #22 from hansiglaser/master | Clifford Wolf | 2014-02-05 | 1 | -7/+24 |
| | |\ | | | | | | | Little improvements for "select" | ||||
| | | * | be more verbose for select -assert-any and -assert-none | Johann Glaser | 2014-02-05 | 1 | -2/+16 |
| | | | | |||||
| | | * | improved help for "select" | Johann Glaser | 2014-02-05 | 1 | -5/+8 |
| | |/ | |||||
| * | | Added BTOR backend README file | Clifford Wolf | 2014-02-05 | 2 | -1/+24 |
| | | | |||||
| * | | Added selection support for r: and selection with relational operators | Clifford Wolf | 2014-02-05 | 1 | -34/+80 |
| |/ | |||||
| * | presentation progress | Clifford Wolf | 2014-02-05 | 5 | -3/+62 |
| | | |||||
| * | presentation progress | Clifford Wolf | 2014-02-05 | 5 | -8/+230 |
| | | |||||
| * | Added read_verilog -setattr | Clifford Wolf | 2014-02-05 | 1 | -0/+15 |
| | | |||||
| * | Added setattr and setparam commands | Clifford Wolf | 2014-02-05 | 2 | -0/+181 |
| | | |||||
| * | Updated todo items in README file | Clifford Wolf | 2014-02-05 | 1 | -2/+2 |
| | | |||||
| * | Removed old unused files from tests/ | Clifford Wolf | 2014-02-05 | 14 | -2602/+0 |
| | | |||||
| * | Added support for dump -append | Clifford Wolf | 2014-02-04 | 1 | -3/+12 |
| | | |||||
| * | Throw errors if non-existing selection variables are used | Clifford Wolf | 2014-02-04 | 1 | -3/+4 |
| | | |||||
| * | Added select -none | Clifford Wolf | 2014-02-04 | 1 | -4/+20 |
| | | |||||
| * | presentation progress | Clifford Wolf | 2014-02-04 | 3 | -34/+104 |
| | | |||||
| * | Fixed detection of init attribute in opt_rmdff | Clifford Wolf | 2014-02-04 | 1 | -1/+1 |
| | | |||||
| * | Added support for inline commands to abc -script | Clifford Wolf | 2014-02-04 | 1 | -39/+75 |
| | | |||||
| * | presentation progress | Clifford Wolf | 2014-02-04 | 9 | -3/+206 |
| | | |||||
| * | Added hierarchy -purge_lib option | Clifford Wolf | 2014-02-04 | 1 | -3/+14 |
| | | |||||
| * | Added test cases for sat command | Clifford Wolf | 2014-02-04 | 7 | -0/+127 |
| | | |||||
| * | added sat -falsify | Clifford Wolf | 2014-02-04 | 1 | -4/+28 |
| | | |||||
| * | Fixed bug in sequential sat proofs and improved handling of asserts | Clifford Wolf | 2014-02-04 | 3 | -9/+45 |
| | | |||||
| * | Improved handling of reg init in opt_share and opt_rmdff | Clifford Wolf | 2014-02-04 | 2 | -7/+48 |
| | | |||||
| * | presentation progress | Clifford Wolf | 2014-02-04 | 2 | -11/+55 |
| | | |||||
| * | presentation progress | Clifford Wolf | 2014-02-03 | 6 | -1/+152 |
| | | |||||
| * | Addred sat option -ignore_unknown_cells | Clifford Wolf | 2014-02-03 | 1 | -3/+17 |
| | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |