| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | |
| | | ||||||
| * | 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 | |
| | |\ | | | | | | | Add some useful flexibility to build process | |||||
| | | * | Relax test to see if yosys dir is a git repository in Makefile | Russell L Friesenhahn | 2016-08-26 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | This prevents the test from failing in the case that yosys is a submodule of a repository since for a submodule the .git is actually a file containing the location of the submodule's .git directory | |||||
| | | * | Allow redefining of the ABC repository URL | Russell L Friesenhahn | 2016-08-26 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | For persons or organizations that prefer to keep their own mirrors of repositories, users may now specify the URL of the ABC Mercurial repository that yosys clones during build. The URL may be set in the Makefile directly, on the command-line, or in the environment | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |