Commit history

1. Commits on Feb 19, 2026

   • Python: Remove points-to from `Metrics.qll`

     Show description for 20fea39
     tausbn

     committed
     20fea39View commit details

     Copy full SHA for 20fea39

     View code at this pointBrowse repository at this point
2. Commits on Nov 26, 2025

   • Python: Move metrics-related API to `LegacyPointsTo` module

     Show description for c75329d
     tausbn

     committed
     c75329dView commit details

     Copy full SHA for c75329d

     View code at this pointBrowse repository at this point

   • Python: Remove points-to references from `python.qll`

     Show description for 78c33ab
     tausbn

     committed
     78c33abView commit details

     Copy full SHA for 78c33ab

     View code at this pointBrowse repository at this point
3. Commits on Oct 6, 2025

   • Overlay.qll: discard predicates

     Show description for 7174d4c
     d10c

     committed
     7174d4cView commit details

     Copy full SHA for 7174d4c

     View code at this pointBrowse repository at this point
4. Commits on Jan 22, 2024

   • Py: delete import that no longer exists

     erik-krogh

     committed
     f60c01eView commit details

     Copy full SHA for f60c01e

     View code at this pointBrowse repository at this point
5. Commits on Jan 19, 2022

   • python: Wrappers for database classes

     Show description for de8ecb2
     yoff

     committed
     de8ecb2View commit details

     Copy full SHA for de8ecb2

     View code at this pointBrowse repository at this point
6. Commits on Aug 24, 2021

   • Packaging: Rafactor Python core libraries

     Show description for 3660c64
     aeisenberg

     committed
     3660c64View commit details

     Copy full SHA for 3660c64

     View code at this pointBrowse repository at this point
7. Loading