a2dab2fb4959 to a4731f4c73b5 · Iris / Iris · GitLab

Commits on Source 3

change IntoVal so that it is easier to use in specs · 8e8c7228
Ralf Jung authored Jun 14, 2018

8e8c7228
change AsVal to be easier to use (like IntoVal) · 68965acf
Ralf Jung authored Jun 15, 2018

68965acf
Merge branch 'ralf/into_val' into 'gen_proofmode' · a4731f4c
Ralf Jung authored Jun 18, 2018
```
change IntoVal so that it is easier to use in specs

See merge request FP/iris-coq!159
```
a4731f4c