3 Commits

Author	SHA1	Message	Date
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