5 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	646169e509	baseline testing	2024-04-11 12:14:43 +02:00
Lorenzo Volpi	6ad41b62d5	trust score imported	2024-04-11 12:14:43 +02:00
Lorenzo Volpi	82a184dc04	binary quantifier completed, tests added. errors updated.	2024-04-11 12:14:43 +02:00
Lorenzo Volpi	51831d2180	Binary quantifier added, support added and tested.	2024-04-11 12:14:16 +02:00
Lorenzo Volpi	7dfb4feb5a	added project structure	2024-04-11 12:14:16 +02:00