11 Commits

Author	SHA1	Message	Date
Rasmus Lerchedahl Petersen	e77ceaf4b8	Python: Track dictionary keys ... Also, less hacky comprehension, but I think we still want to fix the extractor	2020-08-06 13:31:54 +02:00
Rasmus Lerchedahl Petersen	7c235597de	Python: More precise dataflow for tuples ... (and dictionaries, but that is not fleshed out)	2020-08-05 19:22:54 +02:00
Rasmus Lerchedahl Petersen	9312b42e79	Python: More easy-to-get content flow ... There are some things that should be rewritten, though, but it may involve the extractor	2020-08-04 13:54:50 +02:00
Rasmus Lerchedahl Petersen	9d09b4c811	Python: Comprehension stores	2020-08-03 08:53:22 +02:00
Rasmus Lerchedahl Petersen	f21777c6ce	Python: Simplyfy sequence stores	2020-08-03 08:16:43 +02:00
Rasmus Lerchedahl Petersen	4a8d532a71	Python: update test expectations and annotations	2020-08-03 07:25:06 +02:00
Rasmus Lerchedahl Petersen	3e13056140	Python: Address most review comments	2020-07-31 17:20:58 +02:00
Rasmus Lerchedahl Petersen	29493f5bd7	Python: Make the coverage test a path query	2020-07-31 12:38:57 +02:00
Rasmus Lerchedahl Petersen	1467d6b419	Python: Test all expressions that incur dataflow	2020-07-30 17:51:17 +02:00
Rasmus Lerchedahl Petersen	c5c1c4c0af	Python: started adding some coverage tests	2020-06-25 16:29:41 +02:00
Rasmus Lerchedahl Petersen	5973fe8411	Python: scaffold for testing data flow coverage	2020-06-25 10:32:10 +02:00