match/match.git
2008-07-11 Matt McCutchendebug needs -fglasgow-exts too.
2008-07-10 Matt McCutchenThe random instance generator and other improvements.
2008-07-07 Matt McCutchenSecond version of the reduction.
2008-07-07 Matt McCutchenFix bug in second-pass graph construction when a propos...
2008-07-07 Matt McCutchen- Add the notes Samir emailed me on 2008-07-06.
2008-06-23 Matt McCutchen- ./debug and ./run now pass along arguments.
2008-06-23 Matt McCutchenThe proposal matcher. It works on a small example.