Rasmus Lerchedahl Petersen
|
bdc68ce6b6
|
Python: refactor Node class
|
2020-07-03 08:01:44 +02:00 |
|
Rasmus Lerchedahl Petersen
|
0b11e77457
|
Python: make compile
|
2020-07-01 16:55:44 +02:00 |
|
Rasmus Lerchedahl Petersen
|
79e4f1ee93
|
Python: Enable consistency check (currently fails)
|
2020-07-01 09:21:36 +02:00 |
|
Rasmus Lerchedahl Petersen
|
f84adb3c26
|
Python: stub for clearsContent
also remove all `CastNode`s (seems to help)
|
2020-06-26 13:09:35 +02:00 |
|
Rasmus Lerchedahl Petersen
|
43f85ef265
|
Python: typo
|
2020-06-26 12:00:24 +02:00 |
|
Rasmus Lerchedahl Petersen
|
c5c1c4c0af
|
Python: started adding some coverage tests
|
2020-06-25 16:29:41 +02:00 |
|
Rasmus Lerchedahl Petersen
|
415e0c4aac
|
Python: add suggestion for test cases
|
2020-06-25 10:46:33 +02:00 |
|
Rasmus Lerchedahl Petersen
|
5973fe8411
|
Python: scaffold for testing data flow coverage
|
2020-06-25 10:32:10 +02:00 |
|
Rasmus Lerchedahl Petersen
|
c70cf6d780
|
Python: better (if imperfect) handling of phi node
|
2020-06-23 17:25:33 +02:00 |
|
Rasmus Lerchedahl Petersen
|
b759b71ac8
|
Python: explain the regression test
|
2020-06-23 11:02:33 +02:00 |
|
Rasmus Lerchedahl Petersen
|
a55b4660d4
|
Python: support for with-definitions
|
2020-06-23 07:45:30 +02:00 |
|
Rasmus Lerchedahl Petersen
|
e8289d6fa1
|
Python: add regression tests and organise tests
|
2020-06-22 16:36:19 +02:00 |
|
Rasmus Lerchedahl Petersen
|
13bb971b05
|
Python: sort out some enclosing callable confusion
|
2020-06-22 14:26:25 +02:00 |
|
Rasmus Lerchedahl Petersen
|
b65e6fba9e
|
Python: attempt at capturing maximal flows
(this is what used to be "all flows")
|
2020-06-22 11:28:28 +02:00 |
|
Rasmus Lerchedahl Petersen
|
47819bbcda
|
Python: obtain remaining expected flows
- implement encosing callable for more nodes
- implement extra flow for ESSA global variables
|
2020-06-22 07:36:09 +02:00 |
|
Rasmus Lerchedahl Petersen
|
426b1da552
|
Python: update sources and sinks
|
2020-06-19 11:38:15 +02:00 |
|
Rasmus Lerchedahl Petersen
|
9e078da963
|
Python: Better definition of all flows
does not become too big, when we filter out 0-step flows
|
2020-06-19 11:25:34 +02:00 |
|
Rasmus Lerchedahl Petersen
|
5ca6391f15
|
Python: update call graph test
we also have flow into functions!
|
2020-06-19 07:49:47 +02:00 |
|
Rasmus Lerchedahl Petersen
|
5a864aab87
|
Python: override genEnclosingCallable
achieved flow out of functions!
|
2020-06-19 07:29:46 +02:00 |
|
Rasmus Lerchedahl Petersen
|
9669a6a4dc
|
Python: test for getASuccessor
also align test names
|
2020-06-18 15:10:45 +02:00 |
|
Rasmus Lerchedahl Petersen
|
03b26f7ebe
|
Python: Remove excessive type pruning
|
2020-06-18 13:58:47 +02:00 |
|
Rasmus Lerchedahl Petersen
|
d283919b92
|
Python: implemented ParameterNode, updated test
|
2020-06-18 07:45:16 +02:00 |
|
Rasmus Lerchedahl Petersen
|
c20219c2b9
|
Python: more local flow and more tests
|
2020-06-17 20:48:06 +02:00 |
|
Rasmus Lerchedahl Petersen
|
ce57a28c8f
|
Python: Use CallableValue and improve tests
|
2020-06-17 19:12:10 +02:00 |
|
Rasmus Lerchedahl Petersen
|
a45b5a7d3c
|
Python: Implemented return node
but I think they receive no flow
|
2020-06-17 17:41:43 +02:00 |
|
Rasmus Lerchedahl Petersen
|
8e51b2fed8
|
Python: refactor test for global flow
|
2020-06-17 16:43:11 +02:00 |
|
Rasmus Lerchedahl Petersen
|
71f364eef3
|
Python: Implement OutNode
Also, fix test for local flow
|
2020-06-17 16:24:44 +02:00 |
|
Rasmus Lerchedahl Petersen
|
52898f16f5
|
Python: update paths after move
|
2020-06-17 08:34:45 +02:00 |
|
Rasmus Lerchedahl Petersen
|
e192b66116
|
Python: move shared dataflow to experimental
|
2020-06-17 06:46:46 +02:00 |
|