Forked from
Iris / Iris
8247 commits behind the upstream repository.
| Name | Last commit | Last update |
|---|---|---|
| lib/ModuRes | ||
| .dir-locals.el | ||
| .gitignore | ||
| Makefile | ||
| README.txt | ||
| configure | ||
| core_lang.v | ||
| iris_core.v | ||
| iris_vs.v | ||
| iris_wp.v | ||
| lang.v | ||
| masks.v | ||
| world_prop.v |