karuto/aig — pull request #15 by cpuwhiz11 (2013-02-05 21:37:59+00:00)
Title: Flag Branch Merge

This is the merge of the current master with the flags profile branch. It supersedes this pull: https://github.com/karuto/aig/pull/12.