Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Send people to symbioticeda.com instead of verific.com | Clifford Wolf | 2019-12-18 | 1 | -2/+6 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Fix spelling | Eddie Hung | 2019-03-09 | 1 | -1/+1 |
| | |||||
* | Remove -m32 Verific eval lib build instructions | Clifford Wolf | 2019-01-04 | 1 | -29/+0 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Update Verific README | Clifford Wolf | 2017-10-13 | 1 | -0/+7 |
| | |||||
* | Improve docs for verific bindings, add simply sby example | Clifford Wolf | 2017-07-22 | 1 | -0/+55 |