{"shas":[["4022c02bacbf638453dc1a8158d0ffc4df47589c","fe6125ce2a3df58290160f315a76184cd95db68a@3435fffc-ccdd-42ab-8df9-e21c6b74a643","fixed PtidyOSCodeGenerator.\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60661 3435fffc-ccdd-42ab-8df9-e21c6b74a643","jiazou"],["946ac033536e5547e4ae8862e244e322848bd5e7","7d065f1994d02769a2ca0328bb2bd5427ac168da@3435fffc-ccdd-42ab-8df9-e21c6b74a643","Removed ExpressionOperationsForInfiniteConcepts class that is no longer necessary to implement the constant propagation ontologies.\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60662 3435fffc-ccdd-42ab-8df9-e21c6b74a643","cshelton"],["828b8ca30027bd830f9abc9db7202022953d4185","6963656cd5f1036a86f38d6c01e67c3f63074c58@3435fffc-ccdd-42ab-8df9-e21c6b74a643","some code cleanup\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60663 3435fffc-ccdd-42ab-8df9-e21c6b74a643","aschultz"],["d500a84d06e159175a6fce2127c8444634e224e2","6963656cd5f1036a86f38d6c01e67c3f63074c58@3435fffc-ccdd-42ab-8df9-e21c6b74a643","Adding _debugClosing statements to make it easier to figure out what is going on when tableaus and frames are closed.\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60664 3435fffc-ccdd-42ab-8df9-e21c6b74a643","aschultz"],["8e50ba1f2a5599f35ebfbb25846127fe6cc16383","6963656cd5f1036a86f38d6c01e67c3f63074c58@3435fffc-ccdd-42ab-8df9-e21c6b74a643","Experimental changes (commented out for now) that actually dispose windows instead of just hiding them (and thus freeing up memory).\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60665 3435fffc-ccdd-42ab-8df9-e21c6b74a643","aschultz"],["e5edffebfdbd115a0f78a75ab757ffacc12c32a3","7d065f1994d02769a2ca0328bb2bd5427ac168da@3435fffc-ccdd-42ab-8df9-e21c6b74a643","Modified InfiniteConceptRepresentative and FlatTokenRepresentativeConcept classes to correctly keep track of the InfiniteConcepts contained by their representatives.\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60666 3435fffc-ccdd-42ab-8df9-e21c6b74a643","cshelton"],["034a02f6a489935ee1b03624661ecda6d3859604","7d065f1994d02769a2ca0328bb2bd5427ac168da@3435fffc-ccdd-42ab-8df9-e21c6b74a643","Fixed several FindBugs issues in the ontologies package.\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60667 3435fffc-ccdd-42ab-8df9-e21c6b74a643","cshelton"],["f514be79b43c0a19d4d1d3f87f1daa7e5dfc2e13","7d065f1994d02769a2ca0328bb2bd5427ac168da@3435fffc-ccdd-42ab-8df9-e21c6b74a643","Addressed more Findbugs issues in the ontologies package.\n\ngit-svn-id: svn+ssh://source.eecs.berkeley.edu/chess/ptII/trunk@60668 3435fffc-ccdd-42ab-8df9-e21c6b74a643","cshelton"]],"repo":"ptII/ptII","actor":"blickly","ref":"refs/heads/master","size":8,"head":"f514be79b43c0a19d4d1d3f87f1daa7e5dfc2e13","actor_gravatar":"3120e04a769b5b99ca229e84e2b554d5","push_id":28398403}