aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|\
| * Merge pull request #24 from hansiglaser/masterClifford Wolf2014-02-082-0/+79
| |\ | | | | | | added "log" command
| | * added "log" commandJohann Glaser2014-02-082-0/+79
| |/
* | Implemented expose -evert-dffClifford Wolf2014-02-081-11/+301
| |
* | Improved checking of internal cell conventionsClifford Wolf2014-02-081-8/+17
| |
* | Fixed bug in collecting of RD_TRANSPARENT parameter in memory_collectClifford Wolf2014-02-081-0/+1
|/
* Added various new options to splice commandClifford Wolf2014-02-081-5/+105
|
* Added %a select operatorClifford Wolf2014-02-081-0/+32
|
* Moved some passes to other source directoriesClifford Wolf2014-02-089-9/+3
|
* Added support for "keep" attribute to abc passClifford Wolf2014-02-081-1/+1
|
* Added opt -purge (frontend to opt_clean -purge)Clifford Wolf2014-02-081-3/+8
|
* Only count non-trivial attributes when findinf master signal in opt_cleanClifford Wolf2014-02-081-2/+13
|
* Added checking for ABC modifications to Makefile and made sure we do not ↵Clifford Wolf2014-02-081-1/+4
| | | | have the word ERROR in regular make output
* Now also move net labes to the right position in splice cmdClifford Wolf2014-02-081-3/+10
|
* Improved detection of primary wire for a signal in opt_cleanClifford Wolf2014-02-071-4/+23
|
* Added splice commandClifford Wolf2014-02-074-0/+281
|
* Added log_header() to splitnetsClifford Wolf2014-02-071-0/+2
|
* Added $slice and $concat to CellTypes listClifford Wolf2014-02-071-0/+2
|
* Added $slice and $concat cell typesClifford Wolf2014-02-078-4/+140
|