| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Handle "always 1" like "always -1" in .smtc files | Clifford Wolf | 2017-01-02 | 1 | -7/+5 |
| * | Improved write_json help message | Clifford Wolf | 2016-12-29 | 1 | -0/+4 |
| * | Added $anyconst support to AIGER back-end | Clifford Wolf | 2016-12-11 | 1 | -0/+7 |
| * | Added $assert/$assume support to AIGER back-end | Clifford Wolf | 2016-12-03 | 1 | -10/+51 |
| * | Improved yosys-smtbmc default -t/--assume-skipped for --cex and --aig | Clifford Wolf | 2016-12-03 | 1 | -2/+15 |
| * | Added "yosys-smtbmc --aig" | Clifford Wolf | 2016-12-01 | 1 | -6/+127 |
| * | Added support for partially initialized regs to smt2 back-end | Clifford Wolf | 2016-12-01 | 1 | -3/+15 |
| * | Added "write_aiger -zinit -symbols -vmap" | Clifford Wolf | 2016-12-01 | 1 | -30/+139 |
| * | Added "write_aiger" command | Clifford Wolf | 2016-11-30 | 2 | -0/+398 |
| * | Bugfix in smt2 back-end for pure checker modules | Clifford Wolf | 2016-11-28 | 1 | -0/+4 |
| * | Removed shebang line from smtio.py, fixes #279 | Clifford Wolf | 2016-11-27 | 1 | -1/+0 |
| * | 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 |
