Skip to content

rename mapsto → pointsto

Ralf Jung requested to merge ralf/pointsto into master

We should really use standard terminology...

Fixes #495 (closed)

Merge request reports