Taus
f0465f441f
Python: Get rid of some get...Object methods
...
This frees `Class.qll`, `Exprs.qll`, and `Function.qll` from the
clutches of points-to. For the somewhat complicated setup with
`getLiteralObject` (an abstract method), I opted for a slightly ugly but
workable solution of just defining a predicate on `ImmutableLiteral`
that inlines each predicate body, special-cased to the specific instance
to which it applies.
2025-11-26 12:30:30 +00:00
..
2024-12-12 13:54:30 +01:00
2023-11-15 10:10:23 +01:00
2023-11-15 10:10:23 +01:00
2023-11-15 10:10:23 +01:00
2020-07-07 15:43:52 +02:00
2020-03-30 11:59:10 +02:00
2024-04-22 12:00:09 +00:00
2025-09-16 18:08:53 +02:00
2020-03-30 11:59:10 +02:00
2020-07-07 15:43:52 +02:00
2022-04-22 12:55:28 +02:00
2020-07-07 15:43:52 +02:00
2024-12-12 13:54:30 +01:00
2023-11-15 10:10:23 +01:00
2024-04-22 12:00:09 +00:00
2022-11-22 14:46:29 +01:00
2022-08-24 16:51:50 +01:00
2025-08-29 13:52:59 +02:00
2023-11-15 10:10:23 +01:00
2024-12-12 13:54:30 +01:00
2022-08-24 16:51:50 +01:00
2024-04-22 12:00:09 +00:00
2024-10-11 15:36:44 +02:00
2025-11-26 12:30:30 +00:00
2020-07-07 15:43:52 +02:00
2020-07-07 15:43:52 +02:00
2024-04-22 12:00:09 +00:00
2023-11-06 13:50:55 +00:00
2025-10-30 13:30:04 +00:00
2025-09-19 15:39:12 +00:00
2024-12-12 13:54:30 +01:00
2020-03-30 11:59:10 +02:00
2020-07-07 15:43:52 +02:00
2023-11-15 10:10:23 +01:00
2025-10-30 13:30:04 +00:00
2024-08-19 10:54:48 +02:00
2024-09-16 14:30:55 +02:00
2023-11-15 10:10:23 +01:00
2023-07-07 11:54:50 +02:00
2023-04-26 13:41:57 +02:00
2020-02-06 14:28:10 +01:00