Taus 2732a652ab Python: Fix example snippets ...

One might argue that these should be rewritten entirely to use more
modern APIs, but for now I'll be content with just having them compile
properly.

2025-11-26 12:30:30 +00:00

..

consistency-queries

Add consistency query (exactly one path for every entity)

2025-10-06 11:47:56 +02:00

examples

Python: Fix example snippets

2025-11-26 12:30:30 +00:00

integration-tests/query-suite

Update integration tests

2025-09-24 10:58:53 +01:00

lib

Python: Move some non-points-to methods out of points-to

2025-11-26 12:30:30 +00:00

src

Python: Remove points-to references from python.qll

2025-11-26 12:30:30 +00:00

test

Python: Get rid of some get...Object methods

2025-11-26 12:30:30 +00:00