Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removed tests/xsthammer | Clifford Wolf | 2013-07-07 | 1 | -100/+0 |
| | | | | | This test is now available as 'vloghammer' in a seperate repository: https://github.com/cliffordwolf/VlogHammer | ||||
* | Improved xsthammer quartus support | Clifford Wolf | 2013-07-04 | 1 | -1/+1 |
| | |||||
* | Added Altera Cyclon III cell library to xsthammer | Clifford Wolf | 2013-07-04 | 1 | -13/+28 |
| | |||||
* | Progress in xsthammer | Clifford Wolf | 2013-07-03 | 1 | -1/+1 |
| | |||||
* | Added vivado support to xsthammer | Clifford Wolf | 2013-06-26 | 1 | -6/+19 |
| | |||||
* | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 1 | -2/+2 |
| | |||||
* | Added "eval" pass | Clifford Wolf | 2013-06-19 | 1 | -2/+2 |
| | |||||
* | Added more stuff to xsthammer, found first xst bug | Clifford Wolf | 2013-06-17 | 1 | -2/+4 |
| | |||||
* | Added consteval testing to xsthammer and fixed bugs | Clifford Wolf | 2013-06-13 | 1 | -2/+7 |
| | |||||
* | More xsthammer improvements (using xst 14.5 now) | Clifford Wolf | 2013-06-13 | 1 | -12/+12 |
| | |||||
* | Further improved and extended xsthammer | Clifford Wolf | 2013-06-11 | 1 | -50/+50 |
| | |||||
* | More xsthammer improvements | Clifford Wolf | 2013-06-10 | 1 | -20/+26 |
| | |||||
* | Progress xsthammer scripts | Clifford Wolf | 2013-06-10 | 1 | -8/+14 |
| | |||||
* | Progress in xsthammer: working proof for cell models | Clifford Wolf | 2013-06-10 | 1 | -3/+4 |
| | |||||
* | Progress on xsthammer | Clifford Wolf | 2013-06-10 | 1 | -0/+52 |