8 Commits

Author	SHA1	Message	Date
Mark Shannon	d96a009975	Python tests: Temporarily comment out loops prior to implementing loop-unrolling in extractor.	2019-08-12 14:10:44 +01:00
Mark Shannon	05e498dfdc	Python: Clarify pruning code.	2019-07-24 14:47:46 +01:00
Mark Shannon	2bdf42388c	Python: Fix up pruning in QL to better handle constraints from constants.	2019-07-23 16:28:13 +01:00
Mark Shannon	a5f741e504	Python: Use aggressive dead-code elimination when pruning.	2019-06-21 13:03:36 +01:00
Mark Shannon	1d269b0cd5	Python: Add extra test for pruning.	2019-06-14 09:59:28 +01:00
Mark Shannon	00fa80346b	Python (pruning): Fix up handling of integer inequality.	2019-06-13 18:20:15 +01:00
Mark Shannon	bbf7ff9a3f	Python: do pruning in QL.	2019-05-09 17:58:36 +01:00
Mark Shannon	05b69a1c0f	QL tests for Python queries and libraries.	2018-11-19 15:15:54 +00:00