aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added first draft of FIRRTL back-endClifford Wolf2016-11-172-0/+353
* Cleanups and fixed in write_verilog regarding reg initClifford Wolf2016-11-161-15/+61
* Added support for hierarchical defparamsClifford Wolf2016-11-155-17/+65
* Remember global declarations and defines accross read_verilog callsClifford Wolf2016-11-156-8/+23
* Merge pull request #268 from AlexDaniel/masterClifford Wolf2016-11-131-34/+27
|\
| * Markdownify READMEAleks-Daniel Jakimenko-Aleksejev2016-11-121-34/+27
|/
* Minor bugfix in submodClifford Wolf2016-11-091-0/+1
* Progress in examples/gowin/Clifford Wolf2016-11-085-21/+95
* Indenting fixes in gowin sim cell libClifford Wolf2016-11-081-20/+28
* Bugfix in "setundef" passClifford Wolf2016-11-081-2/+7
* Added examples/gowin/Clifford Wolf2016-11-076-0/+57
* Implemented "scc -set_attr"Clifford Wolf2016-11-061-22/+32
* Bugfix in "scc" commandClifford Wolf2016-11-061-9/+11
* Fixed anonymous genblock object namesClifford Wolf2016-11-041-1/+1
* Added hex constant support to write_verilogClifford Wolf2016-11-032-5/+63
* We are now in 0.7+ developmentClifford Wolf2016-11-031-1/+1
* Yosys 0.7Clifford Wolf2016-11-031-1/+1
* Bugfix in "hierarchy -check"Clifford Wolf2016-11-021-1/+1
* Updated command reference in manualClifford Wolf2016-11-021-100/+568
* Changelog for Yosys 0.7Clifford Wolf2016-11-021-0/+99
* Added support for fsm_encoding="user"Clifford Wolf2016-11-021-3/+3
* Added "fsm_expand -full"Clifford Wolf2016-11-022-17/+35
* Some fixes in handling of signed arraysClifford Wolf2016-11-012-0/+7
* iCE40 flow is not experimental anymoreClifford Wolf2016-11-011-1/+1
* Added initial version of "synth_gowin"Clifford Wolf2016-11-014-0/+266
* Adde "write_verilog -renameprefix -v"Clifford Wolf2016-11-011-5/+23
* Added support for (single-clock) transparent memories to bram testsClifford Wolf2016-11-012-10/+23
* Bugfix in fsm_map for FSMs without reset stateClifford Wolf2016-10-251-1/+2
* Added avail params to ilang format, check module params in 'hierarchy -check'Clifford Wolf2016-10-224-3/+25
* Added "setparam -type"Clifford Wolf2016-10-191-3/+13
* No limit for length of lines in BLIF front-endClifford Wolf2016-10-191-1/+7
* Merge pull request #250 from azonenberg/masterClifford Wolf2016-10-191-4/+35
|\
| * Fixed typo in last commitAndrew Zonenberg2016-10-181-1/+1
| * greenpak4: Added GP_PGEN cell definitionAndrew Zonenberg2016-10-181-0/+21
| * Added GLITCH_FILTER parameter to GP_DELAYAndrew Zonenberg2016-10-181-3/+2
| * greenpak4: added model for GP_EDGEDET blockAndrew Zonenberg2016-10-181-0/+10
| * Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2016-10-184-8/+98
| |\ | |/ |/|
* | Ignore L_pi nets in "yosys-smtbmc --cex"Clifford Wolf2016-10-181-2/+5
* | Use init value "2" for all uninitialized FFs in BLIF back-endClifford Wolf2016-10-181-4/+1
* | Added "yosys-smtbmc --cex <filename>"Clifford Wolf2016-10-171-1/+35
* | Bugfix in "miter -assert" handling of assumptionsClifford Wolf2016-10-171-2/+2
* | Added clk2fflogic support for $dffsr and $dlatchClifford Wolf2016-10-171-1/+57
| * greenpak4: Changed parameters for GP_SYSRESETAndrew Zonenberg2016-10-161-1/+2
|/
* Improvements and bugfixes in clk2fflogicClifford Wolf2016-10-161-13/+21
* cleanup in write_smt2 log messages (-bv and -mem are now default)Clifford Wolf2016-10-161-1/+1
* Build fixes for VS 2015Clifford Wolf2016-10-162-1/+4
* Some minor build fixes for Visual CClifford Wolf2016-10-143-3/+16
* Avoid using strcasecmp()Clifford Wolf2016-10-141-2/+21
* Fixed version string for out-of-tree buildsClifford Wolf2016-10-141-1/+1
* Added notes about some formal features to READMEClifford Wolf2016-10-141-2/+23
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-16 02:55:30 +0000