changeset | 78d7cc9c9b18 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Don't modify the module cache after elaboration failures |
files |
changeset | 4a03aa3251cb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Initial support for reusing elaboration results |
files |