| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| | |\ |
|
| | | * | Relax test to see if yosys dir is a git repository in Makefile | Russell L Friesenhahn | 2016-08-26 | 1 | -1/+1 |
| | | * | Allow redefining of the ABC repository URL | Russell L Friesenhahn | 2016-08-26 | 1 | -2/+3 |
| * | | | Added read_verilog -norestrict -assume-asserts | Clifford Wolf | 2016-08-26 | 4 | -5/+40 |
| |/ / |
|
| * | | Various fixes and improvements in smt2 back-end | Clifford Wolf | 2016-08-26 | 2 | -81/+117 |
| * | | Improved verilog parser errors | Clifford Wolf | 2016-08-25 | 1 | -0/+3 |
| * | | More yosys-smtbmc smtc features | Clifford Wolf | 2016-08-24 | 5 | -20/+97 |
| * | | yosys-smtbmc --smtc -g | Clifford Wolf | 2016-08-24 | 3 | -56/+48 |
| * | | Added SV "restrict" keyword | Clifford Wolf | 2016-08-24 | 1 | -1/+2 |
| |/ |
|
| * | Minor yosys-smtbmc bugfix | Clifford Wolf | 2016-08-22 | 1 | -0/+6 |
| * | Added "yosys-smtbmc --constr" | Clifford Wolf | 2016-08-22 | 2 | -4/+94 |
| * | Added "yosys-smtbmc --dump-constr" | Clifford Wolf | 2016-08-22 | 2 | -2/+62 |
| * | Added glob support to all front-ends | Clifford Wolf | 2016-08-22 | 3 | -4/+38 |
| * | Fixed bug with memories that do not have a down-to-zero data width | Clifford Wolf | 2016-08-22 | 2 | -2/+43 |
| * | Fixed bug in memory_share for memory ports with different ABITS | Clifford Wolf | 2016-08-22 | 1 | -0/+6 |
