aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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 Makefi...
| | * Allow setting of installation destination via DESTDIR variable in MakefileMartin Schmölzer2013-11-041-4/+7
| |/ | | | | | | | | | | | | | | | | | | This is useful when packaging yosys, as some Linux distributions do not allow the package management system to install files in /usr/local [1][2]. [1] https://wiki.archlinux.org/index.php/Arch_Packaging_Standards [2] http://fedoraproject.org/wiki/Packaging:Guidelines Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
* | 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 ↵Clifford Wolf2013-11-023-8/+12
| | | | | | | | before constfold fixes)
* | Added roadmap to readme fileClifford Wolf2013-11-021-0/+9
| |
* | Various ast changes for early expression width detection (prep for constfold ↵Clifford Wolf2013-11-025-30/+146
| | | | | | | | fixes)
* | Added DFFSR cell to techlibs/cmos/cmos_cells.libClifford Wolf2013-10-312-0/+26
| |
* | Added placeholder check to dfflibmap and cleaned up some other placeholder ↵Clifford Wolf2013-10-313-4/+4
| | | | | | | | checks
* | Changed MiniSAT feater defines againClifford Wolf2013-10-311-2/+3
|/
* Added paragraph to README file to avoid mycells.lib confusionClifford Wolf2013-10-311-0/+3
|
* README file typo fixClifford Wolf2013-10-311-1/+1
|
* Some additions to the README fileClifford Wolf2013-10-311-0/+19
|
* Fixed ezminisat C++ errors: undef PRIi64Clifford Wolf2013-10-301-1/+2
|
* Added detection for endless recursion in fsm_detect passClifford Wolf2013-10-301-4/+15
|
* Fixed help message typo (memory pass)Clifford Wolf2013-10-301-1/+1
|