aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| |\ | | | | | | Btor
| | * 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
|
* Various improvements in expose command (added -sep and -cut)Clifford Wolf2014-02-091-36/+119
|
* Added delete {-input|-output|-port}Clifford Wolf2014-02-091-5/+36
|
* Bugfix in delete commandClifford Wolf2014-02-091-1/+3
|
* Added test cases for expose -evert-dffClifford Wolf2014-02-082-0/+48
|
* Fixed handling of async reset in expose -evert-dffClifford Wolf2014-02-081-0/+1
|
* Build fixes for log cmdClifford Wolf2014-02-081-2/+2
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2014-02-082-0/+79
|\