Claire Xen
|
6c56c083f8
|
Update README
|
2021-03-04 16:43:30 +01:00 |
Clifford Wolf
|
22dd9f107c
|
Send people to symbioticeda.com instead of verific.com
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-12-18 13:06:34 +01:00 |
Eddie Hung
|
1dc060f32e
|
Fix spelling
|
2019-03-09 00:43:50 +00:00 |
Clifford Wolf
|
6d1e7e9403
|
Remove -m32 Verific eval lib build instructions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-01-04 15:03:49 +01:00 |
Clifford Wolf
|
05068af880
|
Update Verific README
|
2017-10-13 17:11:53 +02:00 |
Clifford Wolf
|
2785aaffeb
|
Improve docs for verific bindings, add simply sby example
|
2017-07-22 11:58:51 +02:00 |