-
Glen Mével authored
- add footnote about races on NA - remove redundant paragraphs for introducing pointsto assertions - "predicate" -> "assertion" everywhere - minor improvements
0a27e850
- add footnote about races on NA - remove redundant paragraphs for introducing pointsto assertions - "predicate" -> "assertion" everywhere - minor improvements