summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Added ast frontend refactoring to TODOClifford Wolf2013-07-11
* Another vloghammer related bugfixClifford Wolf2013-07-11
* Bugfixes for empty signal vectorsClifford Wolf2013-07-10
* Fixed sign propagation in bit-wise operatorsClifford Wolf2013-07-09
* More fixes in ast expression sign/width handlingClifford Wolf2013-07-09
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-07-09
|\
| * Major redesign of expr width/sign detecion (verilog/ast frontend)Clifford Wolf2013-07-09
* | Fixed shift ops with large right hand sideClifford Wolf2013-07-09
|/
* Fixed another bug found using vloghammerClifford Wolf2013-07-07
* Fixed AST_CONSTANT node generationClifford Wolf2013-07-07
* Removed tests/xsthammerClifford Wolf2013-07-07
* Added opt_clean -purge optionClifford Wolf2013-07-07
* Fixed handling of $eq and $ne in opt_constClifford Wolf2013-07-07
* Fixed vivado related xsthammer bugsClifford Wolf2013-07-05
* Various improvements in xsthammer report generatorClifford Wolf2013-07-05
* Added work-around to isim bug in xsthammer report scriptClifford Wolf2013-07-05
* Fixed gcc warnings in ezminisatClifford Wolf2013-07-05
* Added CARRY4 Xilinx cell to xsthammer cell libClifford Wolf2013-07-05
* Added xsthammer report generatorClifford Wolf2013-07-05
* Improved xsthammer quartus supportClifford Wolf2013-07-04
* Added Altera Cyclon III cell library to xsthammerClifford Wolf2013-07-04
* Documentation updatesClifford Wolf2013-07-04
* Added defparam support to Verilog/AST frontendClifford Wolf2013-07-04
* Added QMAKE makefile variableClifford Wolf2013-07-03
* Added Altera Quartus support to xsthammerClifford Wolf2013-07-03
* Progress in xsthammerClifford Wolf2013-07-03
* Added vivado support to xsthammerClifford Wolf2013-06-26
* Added SAT support for -all/-max with -verifyClifford Wolf2013-06-23
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-06-20
|\
| * Added renaming of wires and cells to "rename" commandClifford Wolf2013-06-19
* | Added timout functionality to SAT solverClifford Wolf2013-06-20
|/
* Added "eval" passClifford Wolf2013-06-19
* Fixed build with clangClifford Wolf2013-06-18
* Added splitnets commandClifford Wolf2013-06-18
* Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() APIClifford Wolf2013-06-18
* Added more stuff to xsthammer, found first xst bugClifford Wolf2013-06-17
* Added support for "assign" statements in abc vlparseClifford Wolf2013-06-15
* Added ternary op and concat op to xsthammerClifford Wolf2013-06-15
* Fixed even more ConstEval bugs found using xsthammerClifford Wolf2013-06-14
* Added consteval testing to xsthammer and fixed bugsClifford Wolf2013-06-13
* More xsthammer improvements (using xst 14.5 now)Clifford Wolf2013-06-13
* More fixes for bugs found using xsthammerClifford Wolf2013-06-13
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-06-12
|\
| * Added "scatter" commandClifford Wolf2013-06-12
| * Renamed yosys-show temp files to be dot-files in the users home directoryClifford Wolf2013-06-12
| * Fixed gcc build (c++11 stuff in ezSAT)Clifford Wolf2013-06-12
* | Another fix for a bug found using xsthammerClifford Wolf2013-06-12
|/
* Further improved and extended xsthammerClifford Wolf2013-06-11
* More xsthammer improvementsClifford Wolf2013-06-10
* More sign-extension related fixesClifford Wolf2013-06-10