3 Commits

Author	SHA1	Message	Date
Taus Brock-Nannestad	87a9f51c78	Python: Autoformat all .ql files.	2020-03-30 11:59:10 +02:00
Rasmus Wriedt Larsen	f10a86d3ac	Python: Remove --optimize: true from options files ... Tests will be run with optimizations on by default now.	2020-02-25 15:52:00 +01:00
Mark Shannon	62591e469e	Python: Avoid duplicate modules in points-to and resulting blow-up.	2019-06-17 17:53:17 +01:00