summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Added "equiv_struct -maxiter <N>"Clifford Wolf2016-01-06
* Added "equiv_add -try" modeClifford Wolf2016-01-06
* Fixed "splitnets -ports" for hierarchical designsClifford Wolf2015-12-22
* Re-run ice40_opt in "synth_ice40 -abc2"Clifford Wolf2015-12-22
* Improvements in ice40_optClifford Wolf2015-12-22
* Bugfix in ice40_ffinitClifford Wolf2015-12-22
* Improved ice40_ffinitClifford Wolf2015-12-22
* Run opt_const before check in default scriptsClifford Wolf2015-12-22
* Added %R select expressionClifford Wolf2015-12-20
* Various improvements in BLIF front-endClifford Wolf2015-12-20
* Added yosys-smtbmc -SClifford Wolf2015-12-20
* Merge pull request #110 from scanlime/masterClifford Wolf2015-12-15
|\
| * Mac build fix, gsed -> sedMicah Elizabeth Scott2015-12-15
| * Remove nonportable "-r" option from xargsMicah Elizabeth Scott2015-12-15
|/
* Added "synth_ice40 -abc2"Clifford Wolf2015-12-08
* Merge pull request #108 from cseed/masterClifford Wolf2015-12-07
|\
| * Added LO to ICESTORM_LC for LUT cascade route.Cotton Seed2015-12-06
* | Improved proc_mux performance for huge always blocksClifford Wolf2015-12-02
* | Added default values for hashlib at() methodsClifford Wolf2015-12-02
* | Re-added SigMap::allbits()Clifford Wolf2015-11-30
* | Added tests/simple/graphtest.vClifford Wolf2015-11-30
* | Fixed oom bug in ilang parserClifford Wolf2015-11-29
* | Fixed performance bug in ilang parserClifford Wolf2015-11-27
* | Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-11-26
|\ \
| * | Added PRIM_DLATCHRS support to verific front-endClifford Wolf2015-11-24
* | | Removed dangling ';' in rtlil.hClifford Wolf2015-11-26
* | | Added ice40_ffinit passClifford Wolf2015-11-26
|/ /
* | Fixed WE/RE usage in iCE40 BRAM mappingClifford Wolf2015-11-24
* | Fixed handling of re-declarations of wires in tasks and functionsClifford Wolf2015-11-23
* | Added torder commandClifford Wolf2015-11-19
* | Fixed performance bug in Verific importerClifford Wolf2015-11-16
* | Changes for Verific 3.16_484_32_151112Clifford Wolf2015-11-12
* | Link to vlsitechnology.org for liberty filesClifford Wolf2015-11-12
* | More bugfixes in handling of parameters in tasks and functionsClifford Wolf2015-11-12
* | Fixed handling of parameters and localparams in functionsClifford Wolf2015-11-11
* | Added "abc -g"Clifford Wolf2015-11-10
* | Merge pull request #97 from zeldin/masterClifford Wolf2015-11-08
|\ \
| * | Fix a segfault in dffinit when the value has too few bitsMarcus Comstedt2015-11-08
|/ /
* | Added "singleton" passClifford Wolf2015-11-07
* | Fixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handlingClifford Wolf2015-11-06
* | Bugfix in mapping $tribuf to $_TBUF_Clifford Wolf2015-11-05
* | Bugfix in memory_dffClifford Wolf2015-10-31
* | Improvements in wreduceClifford Wolf2015-10-31
* | Bugfix in Xilinx LUT mappingClifford Wolf2015-10-30
* | Improved SigMap performanceClifford Wolf2015-10-28
* | Improvements in new SigMapClifford Wolf2015-10-28
* | Use mfp<> in equiv_markClifford Wolf2015-10-27
* | Removed old SigMap implementationClifford Wolf2015-10-27
* | Added hashlib::mfp and new SigMapClifford Wolf2015-10-27
* | Improvements in equiv_structClifford Wolf2015-10-25