Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Merge requests
!181
fix various uses of generated names
代码
评审变更
检出分支
下载
补丁
文本差异
Ralf Jung
requested to merge
ralf/mangle
into
master
Aug 29, 2020
Overview
3
Commits
2
Pipelines
0
Changes
12
Expand
This makes the entire std++ build with name mangling on Coq master.
Edited
Aug 30, 2020
by
Ralf Jung
Merge request reports