summaryrefslogtreecommitdiff
path: root/tests/xsthammer/run-check.sh
Commit message (Expand)AuthorAge
* Removed tests/xsthammerClifford Wolf2013-07-07
* Improved xsthammer quartus supportClifford Wolf2013-07-04
* Added Altera Cyclon III cell library to xsthammerClifford Wolf2013-07-04
* Progress in xsthammerClifford Wolf2013-07-03
* Added vivado support to xsthammerClifford Wolf2013-06-26
* Added timout functionality to SAT solverClifford Wolf2013-06-20
* Added "eval" passClifford Wolf2013-06-19
* Added more stuff to xsthammer, found first xst bugClifford Wolf2013-06-17
* Added consteval testing to xsthammer and fixed bugsClifford Wolf2013-06-13
* More xsthammer improvements (using xst 14.5 now)Clifford Wolf2013-06-13
* Further improved and extended xsthammerClifford Wolf2013-06-11
* More xsthammer improvementsClifford Wolf2013-06-10
* Progress xsthammer scriptsClifford Wolf2013-06-10
* Progress in xsthammer: working proof for cell modelsClifford Wolf2013-06-10
* Progress on xsthammerClifford Wolf2013-06-10