more changes
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge pull request #20 from hamptonsmith/arrayRealiz

Array realiz
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
formatted some files
Some progress getting Array_Realiz to compile.  Also, fixed an incompatibility where I had inadvertently introduced a Java 7 feature into JProofDisplay.
Merge pull request #21 from hamptonsmith/master

Some progress toward compiling Array_Realiz.  Also, fixed an incompata...
Some progress getting Array_Realiz to compile.  Also, fixed an incompatibility where I had inadvertently introduced a Java 7 feature into JProofDisplay.
removed duplicate pre/post processor
Merge pull request #22 from yushan87/bug-fix

Bug fix
Some fixes in the Verifier to make sure expressions get types.
Some progress toward Array_Realiz
A variety of fixes toward getting Array_Realiz working.  Also a small architectural change for Searchers.