aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | Re-run ice40_opt in "synth_ice40 -abc2"Clifford Wolf2015-12-221-1/+4
* | Improvements in ice40_optClifford Wolf2015-12-221-5/+16
* | Bugfix in ice40_ffinitClifford Wolf2015-12-221-2/+2
* | Improved ice40_ffinitClifford Wolf2015-12-221-1/+22
* | Run opt_const before check in default scriptsClifford Wolf2015-12-222-0/+4
* | Added %R select expressionClifford Wolf2015-12-201-0/+50
* | Various improvements in BLIF front-endClifford Wolf2015-12-202-41/+86
* | Added yosys-smtbmc -SClifford Wolf2015-12-201-6/+35
* | Merge pull request #110 from scanlime/masterClifford Wolf2015-12-152-2/+2
|\ \
| * | Mac build fix, gsed -> sedMicah Elizabeth Scott2015-12-151-1/+1
| * | Remove nonportable "-r" option from xargsMicah Elizabeth Scott2015-12-151-1/+1
|/ /
* | Added "synth_ice40 -abc2"Clifford Wolf2015-12-081-0/+11
* | Merge pull request #108 from cseed/masterClifford Wolf2015-12-071-1/+3
|\ \
| * | Added LO to ICESTORM_LC for LUT cascade route.Cotton Seed2015-12-061-1/+3
* | | Improved proc_mux performance for huge always blocksClifford Wolf2015-12-021-36/+153
* | | Added default values for hashlib at() methodsClifford Wolf2015-12-021-0/+18
* | | Re-added SigMap::allbits()Clifford Wolf2015-11-302-0/+14
* | | Added tests/simple/graphtest.vClifford Wolf2015-11-301-0/+34
* | | Fixed oom bug in ilang parserClifford Wolf2015-11-291-2/+2
* | | Fixed performance bug in ilang parserClifford Wolf2015-11-271-6/+12
* | | Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-11-261-0/+10
|\ \ \
| * | | Added PRIM_DLATCHRS support to verific front-endClifford Wolf2015-11-241-0/+10
* | | | Removed dangling ';' in rtlil.hClifford Wolf2015-11-261-2/+2
* | | | Added ice40_ffinit passClifford Wolf2015-11-263-0/+145
|/ / /
* | | Fixed WE/RE usage in iCE40 BRAM mappingClifford Wolf2015-11-241-8/+8
* | | Fixed handling of re-declarations of wires in tasks and functionsClifford Wolf2015-11-231-7/+26
* | | Added torder commandClifford Wolf2015-11-192-0/+124
* | | Fixed performance bug in Verific importerClifford Wolf2015-11-161-10/+12
* | | Changes for Verific 3.16_484_32_151112Clifford Wolf2015-11-123-4/+7
* | | Link to vlsitechnology.org for liberty filesClifford Wolf2015-11-121-6/+4
* | | More bugfixes in handling of parameters in tasks and functionsClifford Wolf2015-11-122-2/+23
* | | Fixed handling of parameters and localparams in functionsClifford Wolf2015-11-114-5/+39
* | | Added "abc -g"Clifford Wolf2015-11-101-11/+48
* | | Merge pull request #97 from zeldin/masterClifford Wolf2015-11-081-1/+1
|\ \ \
| * | | Fix a segfault in dffinit when the value has too few bitsMarcus Comstedt2015-11-081-1/+1
|/ / /
* | | Added "singleton" passClifford Wolf2015-11-072-0/+102
* | | Fixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handlingClifford Wolf2015-11-061-2/+2
* | | Bugfix in mapping $tribuf to $_TBUF_Clifford Wolf2015-11-051-1/+1
* | | Bugfix in memory_dffClifford Wolf2015-10-312-1/+27
* | | Improvements in wreduceClifford Wolf2015-10-312-0/+34
* | | Bugfix in Xilinx LUT mappingClifford Wolf2015-10-301-1/+1
* | | Improved SigMap performanceClifford Wolf2015-10-283-5/+16
* | | Improvements in new SigMapClifford Wolf2015-10-281-5/+16
* | | Use mfp<> in equiv_markClifford Wolf2015-10-271-28/+4
* | | Removed old SigMap implementationClifford Wolf2015-10-271-224/+0
* | | Added hashlib::mfp and new SigMapClifford Wolf2015-10-273-0/+185
* | | Improvements in equiv_structClifford Wolf2015-10-251-17/+62
* | | Major refactoring of equiv_structClifford Wolf2015-10-252-93/+170
* | | Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-2539-161/+168
* | | Added "equiv_add -cell"Clifford Wolf2015-10-252-34/+95