| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| | | |||||
| * | Merge pull request #203 from cr1901/master | Clifford Wolf | 2016-08-16 | 2 | -4/+17 |
| |\ | | | | | Add MSYS2-compatible build. | ||||
| | * | Add MSYS2-compatible build. | William D. Jones | 2016-08-16 | 2 | -4/+17 |
| |/ | |||||
| * | Use _Exit(0) on win32, always use _Exit(1) in log_error() | Clifford Wolf | 2016-08-16 | 2 | -1/+6 |
| | | |||||
| * | Updated ABC to hg rev a86455b00da5 | Clifford Wolf | 2016-08-16 | 1 | -1/+1 |
| | | |||||
| * | Fixed use-after-free dict<> usage pattern in hierarchy.cc | Clifford Wolf | 2016-08-16 | 1 | -1/+3 |
| | | |||||
| * | Updated ABC to hg rev 760ba358e790 | Clifford Wolf | 2016-08-16 | 1 | -1/+1 |
| | | |||||
| * | ABC mxe cross-build fix | Clifford Wolf | 2016-08-16 | 1 | -1/+1 |
| | | |||||
| * | Minor fixes in show command | Clifford Wolf | 2016-08-16 | 1 | -3/+3 |
| | | |||||
| * | Added greenpak4_dffinv | Clifford Wolf | 2016-08-15 | 3 | -0/+199 |
| | | |||||
| * | Fixed upto handling in verilog back-end | Clifford Wolf | 2016-08-15 | 1 | -0/+3 |
| | | |||||
| * | Merge pull request #200 from azonenberg/master | Clifford Wolf | 2016-08-14 | 2 | -10/+78 |
| |\ | | | | | Updates to GP_RCOSC, new GP_DFF*I cells | ||||
| | * | greenpak4: Changed name of inverted output ports for consistency | Andrew Zonenberg | 2016-08-14 | 2 | -19/+19 |
| | | | |||||
| | * | greenpak4: Added GP_DFFxI cells | Andrew Zonenberg | 2016-08-14 | 2 | -0/+68 |
| | | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |