summaryrefslogtreecommitdiff
path: root/src/mod_db.sig
Commit message (Expand)AuthorAge
* Don't modify the module cache after elaboration failuresGravatar Adam Chlipala2012-05-02
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29