| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 | ||||
| * | | | 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 |
| | | |||||
| * | yosys-smtbmc: improved --dump-vlogtb handling of memories | Clifford Wolf | 2016-08-21 | 3 | -8/+30 |
| | | |||||
| * | Added another mem2reg test case | Clifford Wolf | 2016-08-21 | 1 | -0/+11 |
| | | |||||
| * | Another bugfix in mem2reg code | Clifford Wolf | 2016-08-21 | 4 | -7/+53 |
| | | |||||
| * | Minor improvements to AstNode::dumpAst() and AstNode::dumpVlog() | Clifford Wolf | 2016-08-21 | 1 | -4/+15 |
| | | |||||
| * | Added examples/smtbmc/demo2.v | Clifford Wolf | 2016-08-20 | 3 | -3/+45 |
| | | |||||
| * | Added "yosys-smtbmc --dump-vlogtb" | Clifford Wolf | 2016-08-20 | 1 | -9/+108 |
| | | |||||
| * | Added support for memories to smtio.py | Clifford Wolf | 2016-08-20 | 1 | -4/+35 |
| | | |||||
| * | Deprecated "write_smt2 -regs" (by default on now), and some other smt2 ↵ | Clifford Wolf | 2016-08-20 | 1 | -28/+26 |
| | | | | | back-end improvements | ||||
| * | Added "yosys-smtbmc -g" | Clifford Wolf | 2016-08-20 | 1 | -6/+40 |
| | | |||||
| * | Added smtbmc longopt support | Clifford Wolf | 2016-08-20 | 3 | -16/+17 |
| | | |||||
| * | Fixed finish_addr handling in $readmemh/$readmemb | Clifford Wolf | 2016-08-20 | 1 | -3/+3 |
| | | |||||
| * | Bugfix in partial mem write handling in verilog back-end | Clifford Wolf | 2016-08-20 | 1 | -42/+26 |
| | | |||||
| * | Added "wreduce -memx" | Clifford Wolf | 2016-08-20 | 2 | -5/+20 |
| | | |||||
| * | Added memory_memx pass, "memory -memx", and "prep -memx" | Clifford Wolf | 2016-08-19 | 4 | -4/+121 |
| | | |||||
| * | Optimize memory address port width in wreduce and memory_collect, not ↵ | Clifford Wolf | 2016-08-19 | 4 | -7/+44 |
| | | | | | verilog front-end | ||||
| * | Added missing support for mem read enable ports to verilog back-end | Clifford Wolf | 2016-08-18 | 1 | -6/+14 |
| | | |||||
| * | Bugfix in test_autotb | Clifford Wolf | 2016-08-18 | 1 | -0/+4 |
| | | |||||
| * | Improved smtbmc vcd generation performance | Clifford Wolf | 2016-08-18 | 2 | -20/+40 |
| | | |||||
| * | Added printing of code loc of failed asserts to yosys-smtbmc | Clifford Wolf | 2016-08-17 | 3 | -1/+23 |
| | | |||||
| * | Fixed default build config | Clifford Wolf | 2016-08-16 | 1 | -1/+2 |
| | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |