| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Added autotest.sh -I | Clifford Wolf | 2016-09-20 | 1 | -16/+19 | |
| | | | ||||||
| * | | Cosmetic fix in test_autotb.cc | Clifford Wolf | 2016-09-19 | 1 | -2/+2 | |
| | | | ||||||
| * | | Added yosys-smtbmc --noinfo and --dummy | Clifford Wolf | 2016-09-19 | 2 | -56/+76 | |
| | | | ||||||
| * | | Avoid creating very long strings in test_autotb | Clifford Wolf | 2016-09-19 | 1 | -4/+10 | |
| | | | ||||||
| * | | Added $past, $stable, $rose, $fell SVA functions | Clifford Wolf | 2016-09-19 | 2 | -2/+141 | |
| | | | ||||||
| * | | Improved handling of SMT2 logics in yosys-smtbmc | Clifford Wolf | 2016-09-18 | 3 | -11/+49 | |
| | | | ||||||
| * | | Added support for bus interfaces to "read_liberty -lib" | Clifford Wolf | 2016-09-18 | 1 | -1/+77 | |
| | | | ||||||
| * | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-09-18 | 1 | -1/+1 | |
| |\| | ||||||
| | * | Bugfix in techmap parameter handling | Clifford Wolf | 2016-09-14 | 1 | -1/+1 | |
| | | | ||||||
| * | | yosys-smtbmc: added -i support smtc files | Clifford Wolf | 2016-09-18 | 1 | -20/+19 | |
| |/ | ||||||
| * | Work-around for boolector bug | Clifford Wolf | 2016-09-13 | 1 | -2/+2 | |
| | | ||||||
| * | 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 | |
| | | ||||||
 |
index : iCE40/yosys | |
| clone of https://github.com/YosysHQ/yosys |
| aboutsummaryrefslogtreecommitdiffstats |