MiniJavaInScala/mjis — pull request #143 by jspam (2014-11-27 17:49:07+00:00)
Title: [Diffbase] Construct FIRM graphs for Integer comparisons

Diff against #140