aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Reify.v
Commit message (Expand)AuthorAge
* remove old pipelineGravatar Andres Erbsen2019-01-09
* add reflexivity to reify autosolveGravatar Jason Gross2017-11-12
* Handle tuples in reificationGravatar Jason Gross2017-11-10
* Make a reification packageGravatar Jason Gross2017-11-07
* Fix some issues with reification debug printingGravatar Jason Gross2017-10-15
* Make some typeclasses opaqueGravatar Jason Gross2017-10-02
* Speed up reification a little bitGravatar Jason Gross2017-10-02
* Remove fails; if we fail too strongly, we miss debugging informationGravatar Jason Gross2017-06-17
* Try to fail a bit faster in bad reificationGravatar Jason Gross2017-06-17
* Better reification tactic debuggingGravatar Jason Gross2017-06-17
* Fix debugging codeGravatar Jason Gross2017-06-15
* Don't force [Require Import String] for debug msgsGravatar Jason Gross2017-06-15
* More debug info in reificationGravatar Jason Gross2017-05-14
* s/appcontext/context/Gravatar Jason Gross2017-05-11
* Fix a bad copy/paste of the recent commitGravatar Jason Gross2017-04-17
* Better error messages in case of reify_abs failureGravatar Jason Gross2017-04-17
* Slightly faster reificationGravatar Jason Gross2017-04-07
* rename-everythingGravatar Andres Erbsen2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 00:50:41 +0000