7 commits

Author	SHA1	Message	Date
Miodrag Milanović	d19f9d0b66	Update README	2022-07-28 12:32:19 +02:00
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