Queries for operations using a qualifier
Merge pull request #115 from yushan87/translator-programdotexp-fix

Queries for operations using a qualifier
Added an operation check for call stmts to make sure we are calling it with the right types. Also updated the error message to show what went wrong
Changed from using the current module scope to the innermost active scope
operation queries now finds operations inside enhancements correctly
Merge pull request #116 from yushan87/populator_fixes

Operation Sanity Check
refactoring
Refactoring still in progress.
Refactor of VC's, conjunctions, and expressions complete.
Refactor of theorems in progress
Almost done with theorem class

Working on cleaning up the search algorithm.
Theorems mostly implemented

inf. loop in theorem applyTo
fixed inf loop

need to work on bindings.
First working version.

Proves stack flip (all of it) very very quickly.

New: can add = as a predicate nested inside assertions.
Now writes an output file

Cleaned up code and added file output.
Added web ide listener functionality
Added web ide functionality
Added web ide functionality
Merge pull request #119 from mikekab/CongruenceClassPackageBranch

Congruence closure based prover addded. Start with -ccprove.