aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* equiv_struct now creates equiv_merged attributesClifford Wolf2015-10-251-0/+3
* Improvements in equiv_structClifford Wolf2015-10-241-1/+22
* renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()Clifford Wolf2015-10-248-34/+34
* improvement in "stat"Clifford Wolf2015-10-241-1/+1
* Fixed driver conflict handling (various cmds)Clifford Wolf2015-10-241-3/+12
* equiv_purge bugfix, using SigChunk in Yosys namespaceClifford Wolf2015-10-245-5/+8
* Fixed handling of driver-driver conflicts in wreduceClifford Wolf2015-10-243-9/+42
* Added equiv_mark commandClifford Wolf2015-10-233-1/+265
* Disabled "Skipping blackbox module" msg in show commandClifford Wolf2015-10-231-1/+1
* Added support for ":" as comment symbol after ;-parsingClifford Wolf2015-10-231-1/+1
* Also merge $equiv cells in equiv_structClifford Wolf2015-10-231-0/+1
* Improvements in equiv_structClifford Wolf2015-10-231-11/+18
* Added equiv_purgeClifford Wolf2015-10-222-0/+210
* Added equiv_struct commandClifford Wolf2015-10-212-0/+188
* Improved inout handling in equiv_makeClifford Wolf2015-10-211-1/+1
* Progress on cell help messagesClifford Wolf2015-10-201-18/+114
* Progress on cell help messagesClifford Wolf2015-10-173-54/+107
* Progress in yosys-smtbmcClifford Wolf2015-10-151-4/+10
* Fixed bug in verilog parserClifford Wolf2015-10-151-1/+1
* Improvements in yosys-smtbmcClifford Wolf2015-10-153-2/+9
* Bugfixes in handling of "keep" attribute on wiresClifford Wolf2015-10-152-2/+8
* More "yosys-smtbmc -c" fixesClifford Wolf2015-10-142-9/+30
* Fixed yosys-smtbmc -cClifford Wolf2015-10-141-2/+2
* Added "prep" commandClifford Wolf2015-10-142-0/+157
* Added more cell descriptionsClifford Wolf2015-10-141-0/+85