---
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