---
# System prepended metadata

title: Polonius 2021-09-24 sprint
tags: [2021-09-24 sprint]

---

---
tags: "2021-09-24 sprint"
---

# Polonius 2021-09-24 sprint

## Some ideas

- polonius.next
    - translate examples from [last sprint's HackMD](https://hackmd.io/KpK0ICQOQLSPxIcNIlhkJQ?view#Intuition) to .next test
    - ~~rewrite python scripts in Rust~~ ✔️
        - ~~PDF generation PR~~ ✔️
        - ~~include names of basic blocks in the vizualization~~ ✔️
        - ~~highlight important info like `invalidated_origin_accessed`~~ ✔️
    - better test format / IR: [notes](https://hackmd.io/a3WYlvxdSnSgMcc8tHOwZA)
    - error relations?
- datafrog release
- update polonius WIP PRs to use that release
- soufflé integration

## Tasks
