aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added verification of SAT model to "eval -vloghammer_report" commandClifford Wolf2013-11-092-6/+48
* More undef-propagation related fixesClifford Wolf2013-11-082-0/+9
* Fixed handling of different signedness in power operandsClifford Wolf2013-11-081-1/+1
* Fixed keep attribute on wires in opt_cleanClifford Wolf2013-11-081-1/+1
* Implemented const folding of ternary op with undef selectClifford Wolf2013-11-081-0/+8
* Removed debug log from const_pow()Clifford Wolf2013-11-081-1/+0
* Fixed handling of power operatorClifford Wolf2013-11-074-19/+78
* Fixed more extend vs. extend_u0 issuesClifford Wolf2013-11-073-11/+20
* Disabled const folding of ternary op when select is undefClifford Wolf2013-11-071-2/+14
* Renamed extend_un0() to extend_u0() and use it in genrtlilClifford Wolf2013-11-074-8/+12
* Fixed type of sign extension in opt_const $eq/$ne handlingClifford Wolf2013-11-073-9/+26
* Fixed sign handling in constantsClifford Wolf2013-11-071-0/+1
* Fixed const folding in corner cases with parametersClifford Wolf2013-11-072-14/+27
* Removed done or obsolete TODO itemsClifford Wolf2013-11-071-8/+0
* Fixed width detection for replicate operatorClifford Wolf2013-11-071-0/+1
* Fixed $eq/$ne bitwise optimization in opt_constClifford Wolf2013-11-071-7/+8
* Fixed at_zero evaluation of dynamic rangesClifford Wolf2013-11-071-7/+2
* Various fixes for correct parameter supportClifford Wolf2013-11-074-40/+101
* Fixed the fix for propagation of width hints for $signed() and $unsigned()Clifford Wolf2013-11-071-5/+4
* Fixed techmap of $reduce_xnor with multi-bit outputsClifford Wolf2013-11-071-1/+7
* Fixed techmap of $gt and $ge with multi-bit outputsClifford Wolf2013-11-061-2/+14
* Added handling of unconnected/unspecified signals to eval -vloghammer_reportClifford Wolf2013-11-061-2/+6
* Fixed propagation of width hints for $signed() and $unsigned()Clifford Wolf2013-11-061-1/+4
* Improved undef handling in == and != for ConstEvalClifford Wolf2013-11-061-11/+25
* Additional fixes for undef propagation in concat and replicate opsClifford Wolf2013-11-061-0/+4
* Improved width extension with regard to undef propagationClifford Wolf2013-11-064-87/+171
* Fixed handling of undef values in POS cells in ConstEvalClifford Wolf2013-11-061-3/+1
* Fixed handling of undef values in MUX select input in ConstEvalClifford Wolf2013-11-061-32/+58
* Added correct RTL undef handling to eval vloghammer modeClifford Wolf2013-11-061-3/+17
* Added eval -vloghammer_report modeClifford Wolf2013-11-062-4/+145
* Added support for "keep" attributes on wiresClifford Wolf2013-11-052-3/+8
* Fixed sign handling in const eval of sshl and sshrClifford Wolf2013-11-051-2/+6
* Makefile DESTDIR default (/usr/local) without quotesClifford Wolf2013-11-041-1/+1
* Another fix for early width and sign detection in ast simplifierClifford Wolf2013-11-041-2/+3
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-11-041-4/+7
|\
| * Merge pull request #16 from mschmoelzer/masterClifford Wolf2013-11-041-4/+7
| |\
| | * Allow setting of installation destination via DESTDIR variable in MakefileMartin Schmölzer2013-11-041-4/+7
| |/
* | Fixed const folding of ternary operatorClifford Wolf2013-11-041-4/+5
* | Use proper bit width ans sign extension for const foldingClifford Wolf2013-11-041-17/+18
|/
* Improved comments on topological sort in edif backendClifford Wolf2013-11-041-3/+4
* Fixes for early width and sign detection in ast simplifierClifford Wolf2013-11-041-1/+2
* further improved early width and sign detection in ast simplifierClifford Wolf2013-11-042-11/+117
* Added simple topological sort to edif backendClifford Wolf2013-11-031-2/+30
* Write yosys version to output filesClifford Wolf2013-11-037-9/+13
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-11-032-3/+62
|\
| * Added resolution of positional arguments to hierarchy passClifford Wolf2013-11-031-0/+57
| * Ignore explicit unconnected ports in intersynth backendClifford Wolf2013-11-031-3/+5
* | Fixed detectSignWidthWorker (ast frontend) for AST_CONCATClifford Wolf2013-11-031-1/+1
* | Behavior should be identical now to rev. 0b4a64ac6adbd6 (next: testing before...Clifford Wolf2013-11-023-8/+12
* | Added roadmap to readme fileClifford Wolf2013-11-021-0/+9