10 Commits

Author	SHA1	Message	Date
Umut	1472c8f020	feat: make both p error and global p error optional	2022-12-21 10:56:43 +01:00
Umut	a25ba9b7f4	feat: allow fine-grained control on verbosity settings	2022-12-07 13:26:24 +01:00
Umut	ea34aeba09	feat: introduce 'global_p_error' configuration	2022-10-13 17:27:18 +03:00
Umut	847aaae0ab	chore: fix a test which was failing on python 3.9 due to changed python semantics	2022-08-29 16:29:28 +03:00
Umut	05282285a3	feat: allow saving servers via MLIR	2022-08-29 13:04:22 +03:00
youben11	c25f9b7782	chore: use consistent name of key_cache in config	2022-05-19 11:46:39 +03:00
youben11	4d22dec705	fix: make sure path to keyset cache is set when enabling the cache	2022-05-16 17:25:13 +01:00
Umut	cc726154b6	feat: add fork method to configuration to easily change a small setting	2022-04-29 11:10:14 +03:00
Umut	a5961a7008	refactor: rename compilation configuration to configuration	2022-04-29 11:10:14 +03:00
Umut	c45b9ffa43	feat: rewrite tests	2022-04-08 12:09:44 +03:00