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