aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added "-dump_fail_to_vcd" argument to SAT solverAndrew Zonenberg2014-02-171-0/+114
* Progress in presentationClifford Wolf2014-02-173-9/+37
* Better preserve wires when flattening (in comparison to techmap)Clifford Wolf2014-02-171-12/+12
* Progress in presentationClifford Wolf2014-02-165-1/+80
* Added some additional checks to techmapClifford Wolf2014-02-161-0/+14
* Added CONSTMSK and CONSTVAL feature to techmapClifford Wolf2014-02-161-0/+23
* Fixed handling of "keep" attribute on wires in opt_cleanClifford Wolf2014-02-161-2/+2
* Added a warning note about error reporting to read_verilog help messageClifford Wolf2014-02-161-0/+5
* Progress in presentationClifford Wolf2014-02-165-1/+79
* Fixed use of selection in splitnets commandClifford Wolf2014-02-161-1/+1
* Added recursion support to techmapClifford Wolf2014-02-161-260/+262
* Progress in presentationClifford Wolf2014-02-166-3/+74
* Progress in presentationClifford Wolf2014-02-166-1/+114
* Improved support for constant functionsClifford Wolf2014-02-161-1/+50
* Now we are in Yoys 0.2.0+ developmentClifford Wolf2014-02-162-3/+9
* Tagging Yoys 0.2.0Clifford Wolf2014-02-162-5/+88
* Added != support for relational select patternClifford Wolf2014-02-161-1/+7
* Added iopadmap -bitsClifford Wolf2014-02-151-14/+48
* Added ff and latch support to read_libertyClifford Wolf2014-02-151-40/+254
* Bugfix in expression parser of read_libertyClifford Wolf2014-02-151-2/+1
* Fixed dfflibmap for cell libraries with no set-reset-ffClifford Wolf2014-02-151-1/+1
* Correctly convert constants to RTLIL (fixed undef handling)Clifford Wolf2014-02-151-11/+1
* Added frontend (-f) option to autotest.shClifford Wolf2014-02-151-5/+8
* Fixed opt_const handling of double invert with non-1 output widthClifford Wolf2014-02-151-1/+1
* Added liberty frontendClifford Wolf2014-02-152-0/+362
* Be more conservative with new const-function codeClifford Wolf2014-02-141-1/+5
* Added support for FOR loops in function calls in parametersClifford Wolf2014-02-143-0/+43
* Created basic support for function calls in parameter valuesClifford Wolf2014-02-144-49/+184
* Added abc -keepff optionClifford Wolf2014-02-141-5/+18
* updated default ABC command stringsClifford Wolf2014-02-131-4/+4
* Updated ABCClifford Wolf2014-02-132-1/+24
* Implemented read_verilog -deferClifford Wolf2014-02-134-66/+109
* Removed double blanks in ABC default command sequencesClifford Wolf2014-02-131-4/+4
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2014-02-133-33/+60
|\
| * Merge pull request #26 from ahmedirfan1983/btorClifford Wolf2014-02-123-33/+60
| |\
| | * modified btor synthesis script for correct use of splice command.Ahmed Irfan2014-02-122-6/+6
| | * disabling splice command in the scriptAhmed Irfan2014-02-112-2/+6
| | * register output correctedAhmed Irfan2014-02-111-1/+1
| | * Merge branch 'master' of https://github.com/cliffordwolf/yosys into btorAhmed Irfan2014-02-114-9/+14
| | |\
| | * | added concat and slice cell translationAhmed Irfan2014-02-113-36/+59
* | | | Updated ABC and some related changesClifford Wolf2014-02-133-13/+33
|/ / /
* | | Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2014-02-121-1/+2
|\ \ \
| * | | Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)Clifford Wolf2014-02-121-1/+2
* | | | Added support for functions returning integerClifford Wolf2014-02-121-2/+12
|/ / /
* | | Updated ABC to rev e97a6e1d59b9Clifford Wolf2014-02-122-5/+50
* | | renamed ilang "scope error" to "ilang error"Clifford Wolf2014-02-111-9/+9
| |/ |/|
* | More Makefile cleanupsClifford Wolf2014-02-111-2/+3
* | Improved "make manual" and "make clean"Clifford Wolf2014-02-114-9/+13
|/
* Improved ilang parser error messagesClifford Wolf2014-02-091-9/+9
* fixed a bug in subcircuit library with cells that have connections to itselfClifford Wolf2014-02-091-1/+4