You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
## Description
update readme to include link for vscode plugin
## Type of change
- [ ] Bug fix
- [ ] New feature
- [x] Documentation update
- [ ] Code refactoring
Copy file name to clipboardExpand all lines: README.md
+1Lines changed: 1 addition & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -3,6 +3,7 @@
3
3
Latte is a lightweight static analysis tool for tracking aliasing in Java programs. This tool allows you to annotate your programs with permissions where aliases are tracked to prevent bugs related to unexpected object references and side effects.
4
4
5
5
For more details, check our [research paper](https://arxiv.org/pdf/2309.05637).
6
+
Test our VSCode Plugin in the Codespaces of the project [latte-vscode](https://github.com/CatarinaGamboa/latte-vscode).
0 commit comments