aboutsummaryrefslogtreecommitdiffstats
path: root/tests/xsthammer/run-check.sh
Commit message (Expand)AuthorAgeFilesLines
* Removed tests/xsthammerClifford Wolf2013-07-071-100/+0
* Improved xsthammer quartus supportClifford Wolf2013-07-041-1/+1
* Added Altera Cyclon III cell library to xsthammerClifford Wolf2013-07-041-13/+28
* Progress in xsthammerClifford Wolf2013-07-031-1/+1
* Added vivado support to xsthammerClifford Wolf2013-06-261-6/+19
* Added timout functionality to SAT solverClifford Wolf2013-06-201-2/+2
* Added "eval" passClifford Wolf2013-06-191-2/+2
* Added more stuff to xsthammer, found first xst bugClifford Wolf2013-06-171-2/+4
* Added consteval testing to xsthammer and fixed bugsClifford Wolf2013-06-131-2/+7
* More xsthammer improvements (using xst 14.5 now)Clifford Wolf2013-06-131-12/+12
* Further improved and extended xsthammerClifford Wolf2013-06-111-50/+50
* More xsthammer improvementsClifford Wolf2013-06-101-20/+26
* Progress xsthammer scriptsClifford Wolf2013-06-101-8/+14
* Progress in xsthammer: working proof for cell modelsClifford Wolf2013-06-101-3/+4
* Progress on xsthammerClifford Wolf2013-06-101-0/+52