Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!1013
rename mapsto → pointsto
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/pointsto
into
master
Oct 22, 2023
Overview
7
Commits
1
Pipelines
4
Changes
12
Expand
We should really use standard terminology...
Fixes
#495 (closed)
Merge request reports