ggp-org/ggp-base — pull request #41 by AlexLandau (2013-12-19 01:16:40+00:00)
Title: OPNF perf improvements and bug fixes

The correctness issues are for the removeUnreachableBasesAndInputs post-optimization. The performance improvements may be more widely applicable.

The changes have been thoroughly tested (unless I missed something in the move back from the Alloy codebase). The main question here is whether the Pair class is reasonable to add.