| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #228 from Kmanfi/test | Clifford Wolf | 2016-09-13 | 1 | -2/+2 |
| |\ | | | | | Fix for modules with big interfaces. | ||||
| | * | Fix for modules with big interfaces. | Kaj Tuomi | 2016-09-13 | 1 | -2/+2 |
| |/ | |||||
| * | Added missing :produce-models setting to smtio.py | Clifford Wolf | 2016-09-11 | 1 | -1/+2 |
| | | |||||
| * | Minor improvements to smtio.py vcd writer | Clifford Wolf | 2016-09-10 | 1 | -1/+3 |
| | | |||||
| * | fixed write_smt2 for (non-combinatorial) loops through hierarchical cells | Clifford Wolf | 2016-09-10 | 1 | -17/+34 |
| | | |||||
| * | smt2 mem init bugfix | Clifford Wolf | 2016-09-08 | 1 | -4/+6 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-09-08 | 1 | -1/+1 |
| |\ | |||||
| | * | Merge pull request #225 from Kmanfi/test | Clifford Wolf | 2016-09-08 | 1 | -1/+1 |
| | |\ | | | | | | | Typo fix. | ||||
| | | * | Typo fix. | Kaj Tuomi | 2016-09-08 | 1 | -1/+1 |
| | |/ | |||||
| * / | yosys-smtbmc meminit support | Clifford Wolf | 2016-09-08 | 4 | -5/+52 |
| |/ | |||||
| * | Bugfix in "yosys-smtbmc --unroll" | Clifford Wolf | 2016-09-07 | 1 | -1/+1 |
| | | |||||
| * | Added "yosys-smtbmc --unroll" | Clifford Wolf | 2016-09-07 | 1 | -11/+130 |
| | | |||||
| * | Install celledges.h | Clifford Wolf | 2016-09-07 | 1 | -0/+1 |
| | | |||||
| * | Improvements in assertpmux | Clifford Wolf | 2016-09-07 | 6 | -23/+202 |
| | | |||||
| * | Updated ABC to hg 8e08604f8ad3 | Clifford Wolf | 2016-09-07 | 1 | -1/+1 |
| | | |||||
| * | Added assertpmux | Clifford Wolf | 2016-09-07 | 3 | -0/+105 |
| | | |||||
| * | Added "tee +INT -INT" | Clifford Wolf | 2016-09-06 | 1 | -0/+10 |
| | | |||||
| * | Run log_flush() before solving in sat command | Clifford Wolf | 2016-09-06 | 1 | -0/+3 |
| | | |||||
| * | Bugfix in parsing of BLIF latch init values | Clifford Wolf | 2016-09-06 | 1 | -1/+1 |
| | | |||||
| * | Avoid creation of bogus initial blocks for assert/assume in always @* | Clifford Wolf | 2016-09-06 | 3 | -1/+13 |
| | | |||||
| * | Fix spelling and grammar in README | Larry Doolittle | 2016-09-06 | 1 | -4/+4 |
| | | |||||
| * | yosys-smtbmc: flush stdout after each log msg | Clifford Wolf | 2016-09-06 | 1 | -17/+21 |
| | | |||||
| * | Minor bugfix in write_smt2 | Clifford Wolf | 2016-09-04 | 1 | -3/+3 |
| | | |||||
| * | Minor README updates | Clifford Wolf | 2016-09-03 | 1 | -4/+4 |
| | | |||||
| * | Added boolector support to yosys-smtbmc | Clifford Wolf | 2016-09-03 | 3 | -33/+58 |
| | | |||||
| * | Merge branch 'smtbmc-kmanfi' | Clifford Wolf | 2016-09-02 | 3 | -49/+34 |
| |\ | |||||
| | * | Made examples/smtbmc/demo1.v more interesting | Clifford Wolf | 2016-09-02 | 1 | -1/+1 |
| | | | |||||
| | * | Don't re-create hex_dict for each value | Clifford Wolf | 2016-09-02 | 1 | -7/+10 |
| | | | |||||
| | * | More PEP 8 fixes. | Kaj Tuomi | 2016-09-02 | 2 | -7/+6 |
| | | | |||||
| | * | Indentation and PEP 8 fixes. CamelCase and white space after semicolon. | Kaj Tuomi | 2016-09-02 | 2 | -13/+13 |
| | | | |||||
| | * | Use dict lookup instead of many ifs. | Kaj Tuomi | 2016-09-02 | 1 | -19/+8 |
| | | | |||||
| | * | Fix: Unresolved reference. | Kaj Tuomi | 2016-09-02 | 1 | -1/+1 |
| | | | |||||
| | * | Some syntax fixes. Generator and comma separated list modifications. | Kaj Tuomi | 2016-09-02 | 1 | -14/+8 |
| |/ | |||||
| * | Added "prep -nomem" | Clifford Wolf | 2016-08-30 | 1 | -6/+16 |
| | | |||||
| * | Added $anyconst support to yosys-smtbmc | Clifford Wolf | 2016-08-30 | 7 | -2/+58 |
| | | |||||
| * | Removed $aconst cell type | Clifford Wolf | 2016-08-30 | 7 | -21/+8 |
| | | |||||
| * | Fixed memory bug in write_smt2 | Clifford Wolf | 2016-08-30 | 1 | -9/+23 |
| | | |||||
| * | Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem" | Clifford Wolf | 2016-08-30 | 2 | -18/+22 |
| | | |||||
| * | Added $anyconst support to smt2 back-end | Clifford Wolf | 2016-08-30 | 1 | -0/+17 |
| | | |||||
| * | Improved init spec handling in opt_rmdff, modernized the code a bit | Clifford Wolf | 2016-08-30 | 1 | -39/+82 |
| | | |||||
| * | Added "yosys-smtbmc --dump-all" | Clifford Wolf | 2016-08-29 | 1 | -45/+67 |
| | | |||||
| * | More yosys-smtbmc bugfixes | Clifford Wolf | 2016-08-29 | 1 | -6/+6 |
| | | |||||
| * | Various fixes and improvements in yosys-smtbmc | Clifford Wolf | 2016-08-29 | 1 | -42/+66 |
| | | |||||
| * | Removed $predict again | Clifford Wolf | 2016-08-28 | 15 | -38/+7 |
| | | |||||
| * | Improved "show" help message | Clifford Wolf | 2016-08-28 | 1 | -3/+5 |
| | | |||||
| * | Some changes to yosys-smtbmc cmd line options, add --final-only | Clifford Wolf | 2016-08-27 | 1 | -33/+49 |
| | | |||||
| * | Fixed handling of transparent bram rd ports on ROMs | Clifford Wolf | 2016-08-27 | 2 | -0/+4 |
| | | |||||
| * | Added smtc "final" statement | Clifford Wolf | 2016-08-27 | 5 | -9/+86 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-08-26 | 1 | -3/+4 |
| |\ | |||||
| | * | Merge pull request #215 from frznchckn/to_upstream | Clifford Wolf | 2016-08-26 | 1 | -3/+4 |
| | |\ | | | | | | | Add some useful flexibility to build process | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |