4 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	ce04bf9420	kfcv baseline implemented	2023-09-13 00:11:20 +02:00
Lorenzo Volpi	c01ac0915c	Dataset updated, evaluation updated, tests updated	2023-09-12 17:38:49 +02:00
Lorenzo Volpi	ad98a515c4	Coverage update	2023-07-28 01:48:15 +02:00
Lorenzo Volpi	469dcb5898	binary quantifier completed, tests added. errors updated.	2023-07-27 03:16:41 +02:00