8 Commits

Author	SHA1	Message	Date
Clifford Wolf	911c44d164	Add assert/assume support to verific front-end	2017-02-04 13:36:00 +01:00
Clifford Wolf	4a3e1ded1e	Updated verific build instructions	2016-02-02 19:50:17 +01:00
Clifford Wolf	61512b6f41	Verific build fixes	2015-05-17 08:19:52 +02:00
Clifford Wolf	acf010d30d	Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions	2014-11-08 11:38:44 +01:00
Ruben Undheim	79cbf9067c	Corrected spelling mistakes found by lintian	2014-09-06 08:47:06 +02:00
Clifford Wolf	593264e9ed	Fixed building verific bindings	2014-08-12 15:21:06 +02:00
Clifford Wolf	1488bc0c4f	Updated verific build/test instructions	2014-07-25 12:16:03 +02:00
Clifford Wolf	375aa71dfe	Various fixes in Verific frontend for new RTLIL API	2014-07-23 21:35:01 +02:00