| examples/edu/mit/csail/sdg/squander/examples/bst/BalancedBST.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/bst/BinarySearchTree.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/bst/BST_noParent.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/bst/BST_noSpecFld.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/chess/ChessBoard.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/chess/ChessBoardMan.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/equiv/Node.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/func/Utils.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/graph/Graph.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/graph/Graph__2.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/graph/HamiltonianMan.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/graph2/Graph.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/javacol/Collections.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/javacol/TypeParamsEx.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/list/LinkedList.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/list/LinkedList_ind.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/list/func/Cons.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/list/func/IntList.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/list/func2/Cons.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/list/func2/IntList.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/list/func2/Nil.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/mock/AddressBook.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/mock/EmailMessage.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/mock/MockAddressBook.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/mock/SquanderAddressBook.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/numbers/Arithmetic.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/numbers/DeclarativeSqRoot.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/numbers/ImperativeSqRoot.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/numbers/ISqRoot.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/numbers/MixedSqRoot.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/partitioning/Domain.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/partitioning/Graph.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/partitioning/Literal.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/partitioning/Partition.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/rbt/RedBlackTree.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/setpoly/BstIntSet.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/setpoly/IntSet.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/setpoly/SetIntSet.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/sort/Sort.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/sudoku/Sudoku1.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/sudoku/Sudoku2.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/sudoku/Sudoku3.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/sudoku/Sudoku4.java [code] | |
| examples/edu/mit/csail/sdg/squander/examples/sudoku/Sudoku5.java [code] | |
| spec/edu/mit/csail/sdg/squander/specfile/parser/SpecFileLexer.java [code] | |
| spec/edu/mit/csail/sdg/squander/specfile/parser/SpecFileParser.java [code] | |
| spec/edu/mit/csail/sdg/squander/specfile/parser/SpecFileParserException.java [code] | |
| spec/edu/mit/csail/sdg/squander/specfile/parser/SpecFileVisitor.java [code] | |
| src/edu/mit/csail/sdg/annotations/FuncField.java [code] | |
| src/edu/mit/csail/sdg/squander/Squander.java [code] | |
| src/edu/mit/csail/sdg/squander/absstate/AbstractState.java [code] | |
| src/edu/mit/csail/sdg/squander/absstate/FieldValue.java [code] | |
| src/edu/mit/csail/sdg/squander/absstate/ObjAbsState.java [code] | |
| src/edu/mit/csail/sdg/squander/absstate/ObjTuple.java [code] | |
| src/edu/mit/csail/sdg/squander/absstate/ObjTupleSet.java [code] | |
| src/edu/mit/csail/sdg/squander/annotations/Fresh.java [code] | |
| src/edu/mit/csail/sdg/squander/annotations/FreshObjects.java [code] | |
| src/edu/mit/csail/sdg/squander/annotations/Options.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/ForgeConverter.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/ForgeEval.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/Heap.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/Heap2Bounds.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/ISquander.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/ISquanderResult.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/SquanderEval.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/SquanderEval2.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/SquanderImpl.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/SquanderReporter.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/SquanderResult.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/kk/SquanderKodkod2Impl.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/kk/SquanderKodkodImpl.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/kk/SquanderKodkodPart2Impl.java [code] | |
| src/edu/mit/csail/sdg/squander/engine/kk/SquanderKodkodPartImpl.java [code] | |
| src/edu/mit/csail/sdg/squander/forge_examples/BinarySearchTree.java [code] | |
| src/edu/mit/csail/sdg/squander/forge_examples/TopologicalSort.java [code] | |
| src/edu/mit/csail/sdg/squander/log/Log.java [code] | |
| src/edu/mit/csail/sdg/squander/options/ConfigLoader.java [code] | |
| src/edu/mit/csail/sdg/squander/options/GlobalOptions.java [code] | |
| src/edu/mit/csail/sdg/squander/parser/JFSLLexer.java [code] | |
| src/edu/mit/csail/sdg/squander/parser/JFSLParser.java [code] | |
| src/edu/mit/csail/sdg/squander/parser/JFSLParserException.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/AbstractHeap.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/AbstractHeapListener.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/ConsoleHeap.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/HeapListener.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/IHeap.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/Serializer.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/ArraySer.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/DefaultObjSer.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/IObjSer.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/ListSer.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/MapSer.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/ObjSerFactory.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/SetSer.java [code] | |
| src/edu/mit/csail/sdg/squander/serializer/special/StringSer.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/ArityMismatchException.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/ClassSpec.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/CompositeSpecProvider.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/ForgeEnv.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/ForgeScene.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/Frame.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/FrameInference.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/IncompatibleTypesException.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/ISpecProvider.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/JavaScene.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/JField.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/JMethod.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/JType.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/MethodSpec.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/MyExprEvaluator.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/NameSpace.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/Null.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/ReflectiveSpecProvider.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/Source.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/Spec.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/SpecFileSpecProvider.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/SqFunc.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/Tr.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/TypeChecker.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/TypeCheckException.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/Visitor.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/constant/ConstRel.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/constant/ConstRel2Bound.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/constant/ConstRels.java [code] | |
| src/edu/mit/csail/sdg/squander/spec/constant/ConstRelVisitor.java [code] | |
| src/edu/mit/csail/sdg/squander/utils/Counter.java [code] | |
| src/edu/mit/csail/sdg/squander/utils/Predicate.java [code] | |
| src/edu/mit/csail/sdg/squander/utils/ReflectionUtils.java [code] | |
| src/edu/mit/csail/sdg/squander/utils/TwoWayMap.java [code] | |
| src/edu/mit/csail/sdg/squander/utils/Utils.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/bst/BinarySearchTreeTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/bst/BST_noParentTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/bst/BST_noSpecFldTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/graph/GraphTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/graph2/GraphTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/javacol/ListTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/javacol/MapTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/javacol/SetTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/javacol/TypeParamsTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/list/LinkedListTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/list/func2/ListTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/mock/MockAddressBookTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/mock/TestAddressBook.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/mock/TestSquanderAddressBook.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/numbers/ArithmeticTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/numbers/SqRootTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/sort/SortTest.java [code] | |
| tests/edu/mit/csail/sdg/squander/examples/sudoku/Sudoku1Test.java [code] | |
| tests/edu/mit/csail/sdg/squander/regressions/Tests.java [code] | |
| tests/edu/mit/csail/sdg/squander/util/test/TestUtils.java [code] |
1.6.2-20100208