Commit message (Expand)AuthorAge
* Merge branch 'master' of 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 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 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
* Sign-extension related fixes in SatGen and AST frontendClifford Wolf2013-06-10
* Progress xsthammer scriptsClifford Wolf2013-06-10
* Improvements and fixes in SAT codeClifford Wolf2013-06-10
* Added history file read/write to driverClifford Wolf2013-06-10
* Progress in xsthammer: working proof for cell modelsClifford Wolf2013-06-10