| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Added wire start_offset and upto handling BLIF back-end | Clifford Wolf | 2016-11-23 | 1 | -1/+1 |
| * | Added "yosys-smtbmc --append" | Clifford Wolf | 2016-11-22 | 1 | -2/+20 |
| * | Bugfix: include assign to write-mask | Adam Izraelevitz | 2016-11-18 | 1 | -0/+1 |
| * | More progress in FIRRTL back-end | Clifford Wolf | 2016-11-18 | 3 | -4/+121 |
| * | Progress in FIRRTL back-end | Clifford Wolf | 2016-11-18 | 4 | -5/+55 |
| * | Added first draft of FIRRTL back-end | Clifford Wolf | 2016-11-17 | 2 | -0/+353 |
| * | Cleanups and fixed in write_verilog regarding reg init | Clifford Wolf | 2016-11-16 | 1 | -15/+61 |
| * | Added hex constant support to write_verilog | Clifford Wolf | 2016-11-03 | 1 | -4/+62 |
| * | Adde "write_verilog -renameprefix -v" | Clifford Wolf | 2016-11-01 | 1 | -5/+23 |
| * | Added avail params to ilang format, check module params in 'hierarchy -check' | Clifford Wolf | 2016-10-22 | 1 | -0/+7 |
| * | Ignore L_pi nets in "yosys-smtbmc --cex" | Clifford Wolf | 2016-10-18 | 1 | -2/+5 |
| * | Use init value "2" for all uninitialized FFs in BLIF back-end | Clifford Wolf | 2016-10-18 | 1 | -4/+1 |
| * | Added "yosys-smtbmc --cex <filename>" | Clifford Wolf | 2016-10-17 | 1 | -1/+35 |
| * | cleanup in write_smt2 log messages (-bv and -mem are now default) | Clifford Wolf | 2016-10-16 | 1 | -1/+1 |
| * | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| * | Added $global_clock verilog syntax support for creating $ff cells | Clifford Wolf | 2016-10-14 | 1 | -0/+1 |
| * | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 2 | -5/+11 |
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-10-11 | 2 | -1/+3 |
| |\ |
|
| | * | Added smtc support for top-level state with [], [N:] syntax | Clifford Wolf | 2016-10-08 | 2 | -1/+3 |
| * | | Bugfix in yosys-smtbmc --noincr | Clifford Wolf | 2016-10-04 | 1 | -1/+8 |
| |/ |
|
| * | yosys-smtbmc: ABC is a QF_BV solver | Clifford Wolf | 2016-10-03 | 1 | -0/+1 |
| * | Added "yosys-smtbmc --noincr" | Clifford Wolf | 2016-10-03 | 1 | -10/+39 |
| * | yosys-smtbmc: added smtc [...] support for cells | Clifford Wolf | 2016-10-02 | 1 | -0/+2 |
| * | Added "yosys-smtbmc -s abc" | Clifford Wolf | 2016-10-01 | 1 | -0/+4 |
| * | Minor improvements in yosys-smtbmc | Clifford Wolf | 2016-09-24 | 2 | -10/+50 |
| * | Added yosys-smtbmc --noinfo and --dummy | Clifford Wolf | 2016-09-19 | 2 | -56/+76 |
| * | Improved handling of SMT2 logics in yosys-smtbmc | Clifford Wolf | 2016-09-18 | 3 | -11/+49 |
| * | 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 |
| * | 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 |
| * | yosys-smtbmc meminit support | Clifford Wolf | 2016-09-08 | 1 | -3/+23 |
| * | 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 |
| * | 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 |
| * | Added boolector support to yosys-smtbmc | Clifford Wolf | 2016-09-03 | 3 | -33/+58 |
| * | 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 $anyconst support to yosys-smtbmc | Clifford Wolf | 2016-08-30 | 3 | -1/+27 |
| * | 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 | 1 | -14/+18 |
| * | Added $anyconst support to smt2 back-end | Clifford Wolf | 2016-08-30 | 1 | -0/+17 |
| * | Added "yosys-smtbmc --dump-all" | Clifford Wolf | 2016-08-29 | 1 | -45/+67 |
