Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
willcrichton authored Dec 3, 2024
1 parent bddaaae commit 9f88a13
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,8 @@ Flowistry can be helpful when you're reading a function with a lot of code. For
</kbd>
<br /><br />

The algorithm that powers Flowistry was published in the paper ["Modular Information Flow through Ownership"](https://cel.cs.brown.edu/paper/modular-information-flow-ownership/) at PLDI 2022.

**Table of contents**
* [Installation](#installation)
* [IDE plugin](#ide-plugin)
Expand Down

0 comments on commit 9f88a13

Please sign in to comment.