Taus Brock-Nannestad
|
f07a7bf8cf
|
Python: Autoformat everything using qlformat.
Will need subsequent PRs fixing up test failures (due to deprecated
methods moving around), but other than that everything should be
straight-forward.
|
2020-07-07 15:43:52 +02:00 |
|
Taus Brock-Nannestad
|
48e3e9c0b4
|
Python: Do all the renames.
|
2020-06-19 17:02:47 +02:00 |
|
Taus Brock-Nannestad
|
87a9f51c78
|
Python: Autoformat all .ql files.
|
2020-03-30 11:59:10 +02:00 |
|
Mark Shannon
|
f11d0638cf
|
Python: Remove tests for pruning in QL.
|
2019-08-25 17:00:08 +01:00 |
|
Mark Shannon
|
e77ae09a86
|
Python tests: Update test results to account for better handling of branches in finally blocks.
|
2019-08-21 14:47:57 +01:00 |
|
Mark Shannon
|
714fecbf5e
|
Python: Revert tests removed in #1767.
|
2019-08-21 14:39:53 +01:00 |
|
Mark Shannon
|
edb50c129d
|
Python tests: TEMPORARILY remove 5 tests to allow modification of extractor CFG pass.
|
2019-08-19 16:00:28 +01:00 |
|
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 |
|
Taus
|
76f8da8986
|
Merge pull request #1484 from markshannon/python-aggressive-pruning
Python: Use aggressive dead-code elimination when pruning.
|
2019-06-25 19:17:44 +02:00 |
|
Mark Shannon
|
a5f741e504
|
Python: Use aggressive dead-code elimination when pruning.
|
2019-06-21 13:03:36 +01:00 |
|
Mark Shannon
|
26f870bc7f
|
Merge branch 'rc/1.21' into master
|
2019-06-21 09:52:44 +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
|
0b7d73456e
|
Remove incorrect metadata from test query.
|
2019-06-12 14:31:21 +01:00 |
|
Mark Shannon
|
bbf7ff9a3f
|
Python: do pruning in QL.
|
2019-05-09 17:58:36 +01:00 |
|
Arthur Baars
|
ba7fdddafb
|
Change @kind to 'table' for test and sanity checks queries that don't select problems
|
2019-04-01 11:20:12 +02:00 |
|
Mark Shannon
|
0ea2d56945
|
Python tests: Move helper predicate into TestUtils.qll
|
2019-01-23 11:20:04 +00:00 |
|
Mark Shannon
|
5dd0123f0d
|
Python tests: Remove useless duplicate test.
|
2019-01-21 14:31:15 +00:00 |
|
Mark Shannon
|
7b8468d81b
|
Python: Add bulk regression test for CFG successors.
|
2019-01-16 11:48:58 +00:00 |
|
Mark Shannon
|
e506bf85e8
|
Python: Add some regression tests for CFG of comparisons.
|
2019-01-16 11:45:20 +00:00 |
|
Mark Shannon
|
bc4301f7b1
|
Python: Add an extra test for import parsing.
|
2019-01-16 11:32:59 +00:00 |
|
Mark Shannon
|
05b69a1c0f
|
QL tests for Python queries and libraries.
|
2018-11-19 15:15:54 +00:00 |
|