2 Commits (0a9c77e779662224b7ccce403df4a48192e2f06e)

Author SHA1 Message Date
Ezgi Çiçek 6e0682b463 [purity] Mark unmodeled functions as modifying global state
6 years ago
Ezgi Çiçek 89b73e554e [purity] Mark functions that write to global static vars as impure
6 years ago