Merged funcheck repository into this one.

README

Test.scala

build.xml

examples/README

examples/contracts/bst-defspec/BSTAsSet.scala

examples/contracts/bst-defspec/test-bst

examples/contracts/bst/BSTAsSet.scala

examples/contracts/bst/test-bst

examples/contracts/heap/LeftistHeap.scala

examples/debug/SimpleContractTest.scala

examples/funpm/bst/BST1.scala

examples/funpm/bst/BST2.scala

examples/funpm/bst/BST3.scala

examples/funpm/ds/LeftistHeap.scala

examples/funpm/lambda/LambdaEvaluator.scala

examples/funpm/logic/DPLL.scala

examples/funpm/logic/PropositionalLogic.scala

examples/funpm/vcg/VerificationConditionGenerator.scala

liquid_benchs/README

liquid_benchs/arraymax