projects / coq-hetmet.git / search
| 2011-05-31 | Adam Megacz | remove RLet and RWhere |
commit | commitdiff | tree |
| 2011-05-31 | Adam Megacz | let RCut take a left environment as well |
commit | commitdiff | tree |
| 2011-05-31 | Adam Megacz | use -fsimpleopt-before-flatten in sanity checks |
commit | commitdiff | tree |
| 2011-05-30 | Adam Megacz | remove RJoin rule |
commit | commitdiff | tree |
| 2011-05-30 | Adam Megacz | better error reporting in coreTypeToWeakType; dont... |
commit | commitdiff | tree |
| 2011-05-30 | Adam Megacz | Makefile: use a for-loop to compile sanity checks |
commit | commitdiff | tree |
| 2011-04-25 | Adam Megacz | add -fno-warn-unused-{binds,patterns} to Coq extraction |
commit | commitdiff | tree |
| 2011-04-10 | Adam Megacz | separate CoqPass.hs from All.v in Makefile |
commit | commitdiff | tree |
| 2011-04-10 | Adam Megacz | fix bug in GeneralizedArrowFromReification |
commit | commitdiff | tree |
| 2011-03-12 | Adam Megacz | update push-url in Makefile |
commit | commitdiff | tree |