Repository navigation

Commit 309c77c

Remi Delmas

committed

Refresh memory predicate documentation, add paragraph about using pointer predicates in disjunctions.

1 parent 1cc4bc2 commit 309c77cCopy full SHA for 309c77c

1 file changed

Comments

(0)