| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Added copy command | Clifford Wolf | 2014-02-06 | 2 | -0/+55 | |
| | | ||||||
| * | 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 | |
| | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |