| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Bugfix in "scc" command | Clifford Wolf | 2016-11-06 | 1 | -9/+11 |
| * | Fixed anonymous genblock object names | Clifford Wolf | 2016-11-04 | 1 | -1/+1 |
| * | Added hex constant support to write_verilog | Clifford Wolf | 2016-11-03 | 2 | -5/+63 |
| * | We are now in 0.7+ development | Clifford Wolf | 2016-11-03 | 1 | -1/+1 |
| * | Yosys 0.7 | Clifford Wolf | 2016-11-03 | 1 | -1/+1 |
| * | Bugfix in "hierarchy -check" | Clifford Wolf | 2016-11-02 | 1 | -1/+1 |
| * | Updated command reference in manual | Clifford Wolf | 2016-11-02 | 1 | -100/+568 |
| * | Changelog for Yosys 0.7 | Clifford Wolf | 2016-11-02 | 1 | -0/+99 |
| * | Added support for fsm_encoding="user" | Clifford Wolf | 2016-11-02 | 1 | -3/+3 |
| * | Added "fsm_expand -full" | Clifford Wolf | 2016-11-02 | 2 | -17/+35 |
| * | Some fixes in handling of signed arrays | Clifford Wolf | 2016-11-01 | 2 | -0/+7 |
| * | iCE40 flow is not experimental anymore | Clifford Wolf | 2016-11-01 | 1 | -1/+1 |
| * | Added initial version of "synth_gowin" | Clifford Wolf | 2016-11-01 | 4 | -0/+266 |
| * | Adde "write_verilog -renameprefix -v" | Clifford Wolf | 2016-11-01 | 1 | -5/+23 |
| * | Added support for (single-clock) transparent memories to bram tests | Clifford Wolf | 2016-11-01 | 2 | -10/+23 |
| * | 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 |
| |\ |
|
| | * | 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 |
| | |\ |
|
| | | * | 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 |
| | | * | Modified test target name (to test-all) | Salvador E. Tropea | 2016-10-13 | 1 | -2/+2 |
| | | * | Added a new configuration variable GIT_REV_WHERE | Salvador E. Tropea | 2016-10-13 | 1 | -1/+2 |
| | |/ |
|
| * / | Added YOSYS_VER_STR make variable | Clifford Wolf | 2016-10-14 | 1 | -2/+4 |
| |/ |
|
