Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added first draft of FIRRTL back-end | Clifford Wolf | 2016-11-17 | 2 | -0/+353 |
| | |||||
* | Cleanups and fixed in write_verilog regarding reg init | Clifford Wolf | 2016-11-16 | 1 | -15/+61 |
| | |||||
* | Added support for hierarchical defparams | Clifford Wolf | 2016-11-15 | 5 | -17/+65 |
| | |||||
* | Remember global declarations and defines accross read_verilog calls | Clifford Wolf | 2016-11-15 | 6 | -8/+23 |
| | |||||
* | Merge pull request #268 from AlexDaniel/master | Clifford Wolf | 2016-11-13 | 1 | -34/+27 |
|\ | | | | | Markdownify README | ||||
| * | Markdownify README | Aleks-Daniel Jakimenko-Aleksejev | 2016-11-12 | 1 | -34/+27 |
|/ | | | | | This is the first commit in series. There are many other things that could be improved, this is just the first renderable version. | ||||
* | Minor bugfix in submod | Clifford Wolf | 2016-11-09 | 1 | -0/+1 |
| | |||||
* | Progress in examples/gowin/ | Clifford Wolf | 2016-11-08 | 5 | -21/+95 |
| | |||||
* | Indenting fixes in gowin sim cell lib | Clifford Wolf | 2016-11-08 | 1 | -20/+28 |
| | |||||
* | Bugfix in "setundef" pass | Clifford Wolf | 2016-11-08 | 1 | -2/+7 |
| | |||||
* | Added examples/gowin/ | Clifford Wolf | 2016-11-07 | 6 | -0/+57 |
| | |||||
* | Implemented "scc -set_attr" | Clifford Wolf | 2016-11-06 | 1 | -22/+32 |
| | |||||
* | 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 |
|\ | | | | | 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 |
| |