Merge branch 'ci/ralf/name-mangle-string-to-ident' into 'master'
different approach for string_to_ident that works with name mangling Closes #343 See merge request iris/iris!660
No related branches found
No related tags found
Showing
- .gitlab-ci.yml 1 addition, 1 deletion.gitlab-ci.yml
- iris/proofmode/ltac_tactics.v 12 additions, 5 deletionsiris/proofmode/ltac_tactics.v
- iris/proofmode/string_ident.v 25 additions, 26 deletionsiris/proofmode/string_ident.v
- tests/proofmode.v 8 additions, 1 deletiontests/proofmode.v
- tests/string_ident.ref 3 additions, 3 deletionstests/string_ident.ref
- tests/string_ident.v 7 additions, 20 deletionstests/string_ident.v
Loading
Please register or sign in to comment