| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Bugfix in fsm_map for FSMs without reset state | Clifford Wolf | 2016-10-25 | 1 | -1/+2 |
| | | |||||
| * | Added avail params to ilang format, check module params in 'hierarchy -check' | Clifford Wolf | 2016-10-22 | 4 | -3/+25 |
| | | |||||
| * | Added "setparam -type" | Clifford Wolf | 2016-10-19 | 1 | -3/+13 |
| | | |||||
| * | No limit for length of lines in BLIF front-end | Clifford Wolf | 2016-10-19 | 1 | -1/+7 |
| | | |||||
| * | Merge pull request #250 from azonenberg/master | Clifford Wolf | 2016-10-19 | 1 | -4/+35 |
| |\ | | | | | Add support for more GreenPak cells (edge detector, delay, pattern generator) | ||||
| | * | Fixed typo in last commit | Andrew Zonenberg | 2016-10-18 | 1 | -1/+1 |
| | | | |||||
| | * | greenpak4: Added GP_PGEN cell definition | Andrew Zonenberg | 2016-10-18 | 1 | -0/+21 |
| | | | |||||
| | * | Added GLITCH_FILTER parameter to GP_DELAY | Andrew Zonenberg | 2016-10-18 | 1 | -3/+2 |
| | | | |||||
| | * | greenpak4: added model for GP_EDGEDET block | Andrew Zonenberg | 2016-10-18 | 1 | -0/+10 |
| | | | |||||
| | * | Merge https://github.com/cliffordwolf/yosys | Andrew Zonenberg | 2016-10-18 | 4 | -8/+98 |
| | |\ | |/ |/| | |||||
| * | | 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 |
| | | | |||||
| * | | Bugfix in "miter -assert" handling of assumptions | Clifford Wolf | 2016-10-17 | 1 | -2/+2 |
| | | | |||||
| * | | Added clk2fflogic support for $dffsr and $dlatch | Clifford Wolf | 2016-10-17 | 1 | -1/+57 |
| | | | |||||
| | * | greenpak4: Changed parameters for GP_SYSRESET | Andrew Zonenberg | 2016-10-16 | 1 | -1/+2 |
| |/ | |||||
| * | Improvements and bugfixes in clk2fflogic | Clifford Wolf | 2016-10-16 | 1 | -13/+21 |
| | | |||||
| * | cleanup in write_smt2 log messages (-bv and -mem are now default) | Clifford Wolf | 2016-10-16 | 1 | -1/+1 |
| | | |||||
| * | Build fixes for VS 2015 | Clifford Wolf | 2016-10-16 | 2 | -1/+4 |
| | | |||||
| * | Some minor build fixes for Visual C | Clifford Wolf | 2016-10-14 | 3 | -3/+16 |
| | | |||||
| * | Avoid using strcasecmp() | Clifford Wolf | 2016-10-14 | 1 | -2/+21 |
| | | |||||
| * | Fixed version string for out-of-tree builds | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| | | |||||
| * | Added notes about some formal features to README | Clifford Wolf | 2016-10-14 | 1 | -2/+23 |
| | | |||||
| * | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 11 | -11/+40 |
| | | |||||
| * | Added clk2fflogic | Clifford Wolf | 2016-10-14 | 2 | -0/+154 |
| | | |||||
| * | Added opt_rmdff support for $ff cells | Clifford Wolf | 2016-10-14 | 1 | -5/+13 |
| | | |||||
| * | Added $global_clock verilog syntax support for creating $ff cells | Clifford Wolf | 2016-10-14 | 8 | -15/+64 |
| | | |||||
| * | Added MEMID handling to "flatten" pass | Clifford Wolf | 2016-10-14 | 1 | -0/+6 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| |\ | |||||
| | * | Merge pull request #246 from set-soft/abc_external_ovr | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| | |\ | | | | | | | Allow to overwrite ABCEXTERNAL from the environment. | ||||
| | | * | Ugh! extra patches got here, reverting | Salvador E. Tropea | 2016-10-13 | 1 | -4/+3 |
| | | | | |||||
| | | * | Allow to overwrite ABCEXTERNAL from the environment. | Salvador E. Tropea | 2016-10-13 | 1 | -1/+1 |
| | | | | | | | | | | | | | In this way Debian scripts can define it as berkeley-abc from the shell. | ||||
| | | * | Modified test target name (to test-all) | Salvador E. Tropea | 2016-10-13 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | As this target depends on external tools, and packagers run "make test", I think the name should be less generic. | ||||
| | | * | Added a new configuration variable GIT_REV_WHERE | Salvador E. Tropea | 2016-10-13 | 1 | -1/+2 |
| | |/ | | | | | | | | | It determines from where we get the gits SHA1 value. By default is HEAD, suitable for Clifford, but for Debian we can define it as upstream/master | ||||
| * / | Added YOSYS_VER_STR make variable | Clifford Wolf | 2016-10-14 | 1 | -2/+4 |
| |/ | |||||
| * | Added "zinit" pass | Clifford Wolf | 2016-10-12 | 2 | -0/+152 |
| | | |||||
| * | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 12 | -19/+118 |
| | | |||||
| * | Fixed "make test" for git head of iverilog | Clifford Wolf | 2016-10-11 | 1 | -1/+1 |
| | | |||||
| * | define PATH_MAX if not defined by limits.h | Clifford Wolf | 2016-10-11 | 1 | -0/+5 |
| | | |||||
| * | 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 |
| | | |||||
| * | Update ABV to hg rev eb6eca6807cc | Clifford Wolf | 2016-10-02 | 1 | -1/+1 |
| | | |||||
| * | 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 |
| | | |||||
| * | Updated ABV to hg rev 6b74de13c57f | Clifford Wolf | 2016-10-01 | 1 | -1/+1 |
| | | |||||
| * | Added "prep -nokeepdc" | Clifford Wolf | 2016-09-30 | 1 | -4/+12 |
| | | |||||
| * | Added "opt_rmdff -keepdc" | Clifford Wolf | 2016-09-30 | 2 | -7/+20 |
| | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |