Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Make some typeclasses opaque | 2017-10-02 | |
* | Speed up reification a little bit | 2017-10-02 | |
* | Remove fails; if we fail too strongly, we miss debugging information | 2017-06-17 | |
* | Try to fail a bit faster in bad reification | 2017-06-17 | |
* | Better reification tactic debugging | 2017-06-17 | |
* | Fix debugging code | 2017-06-15 | |
* | Don't force [Require Import String] for debug msgs | 2017-06-15 | |
* | More debug info in reification | 2017-05-14 | |
* | s/appcontext/context/ | 2017-05-11 | |
* | Fix a bad copy/paste of the recent commit | 2017-04-17 | |
* | Better error messages in case of reify_abs failure | 2017-04-17 | |
* | Slightly faster reification | 2017-04-07 | |
* | rename-everything | 2017-04-06 |