MLton/mlton — pull request #80 by MatthewFluet (2014-10-22 13:39:10+00:00)
Title: Updates to benchmark infrastructure.

Ignore benchmark program executables.

Update model-elimination.sml benchmark program to eliminate uses of `CommandLine.arguments ()` and fix iteration count.