3 Commits

Author	SHA1	Message	Date
Mark Shannon	3bb61e7410	Python points-to: Improve handling of subscripts and sequence inequalities.	2019-04-26 16:21:47 +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	49307a72b4	Python: Add 3-only library tests.	2019-02-08 14:39:27 +00:00