Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Merge branch 'master' of https://github.com/brouhaha/yosys | Clifford Wolf | 2016-09-23 | 14 | -24/+175 | |
|\ | ||||||
| * | Add optional SEED=n command line option to Makefile, and -S n command line ↵ | Eric Smith | 2016-09-22 | 14 | -24/+175 | |
| | | | | | | | | option to test scripts, for deterministic regression tests. | |||||
* | | 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 | |
| |