Matt McCutchen's Web Site / match / match.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' into popl2012
[match/match.git] / program / PMDefaults.hs
2012-02-15 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2012-02-15 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2012-02-13 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2012-02-12 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2012-02-12 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2012-02-12 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2012-02-12 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2011-08-27 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2011-08-27 Matt McCutchenMerge branch 'master' into popl2012 blob | commitdiff
2011-08-27 Matt McCutchenPMDefaults changes (commit after the fact): blob | commitdiff
2011-07-20 Matt McCutchenNew features from Tuesday call: blob | commitdiff | diff to current
2011-07-18 Matt McCutchenNew paper-side gadget for PC + ERC blob | commitdiff | diff to current
2011-07-12 Matt McCutchenAdaptation for POPL 2012. blob | commitdiff | diff to current
2008-08-02 Matt McCutchenRename numAsWt to more appropriate widenInteger. blob | commitdiff | diff to current
2008-08-02 Matt McCutchenMake the evaluator's review weights configurable. blob | commitdiff | diff to current
2008-08-02 Matt McCutchenMake the instance generator select proposal topics... blob | commitdiff | diff to current
2008-08-02 Matt McCutchenImprove some comments in PMDefaults. blob | commitdiff | diff to current
2008-08-01 Matt McCutchenPMConfig isn't just for ProposalMatcher anymore; it... blob | commitdiff | diff to current
2008-07-30 Matt McCutchenAdd reminder to compile CS2 with -DPRINT_ANS. blob | commitdiff | diff to current
2008-07-28 Matt McCutchenRename Instance -> PMInstance and introduce PMatching... blob | commitdiff | diff to current
2008-07-28 Matt McCutchenMake proposal-matcher configuration non-global to make... blob | commitdiff | diff to current
Matt and Samir's proposal matcher