(name 'CooperatingLanguages-hs.18' message 'merging with AlanB' id 'd0c43782-c5da-421d-a8d5-93cef769a8cf' date '25 April 2012' time '2:34:00.923 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.17' message 'cleanup' id '25bb8727-3606-460c-92fd-9c1248bb17cd' date '25 April 2012' time '11:58:32.765 am' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.16' message 'added constraint section parsing and tests' id 'a2e8ed6d-9e06-4e80-9716-b570065dafbe' date '25 April 2012' time '11:41:30.925 am' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.15' message 'generalized GeometricObjects to be Things (which includes geometric objects, electrical objects, etc -- basically any ThingLab thing).  Added more components to the language for things.' id 'f98d103b-8e64-45b5-9ff6-f159ec7a2bf6' date '25 April 2012' time '10:11:34.235 am' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.14' message 'SMT to Z3 class rename and cleanup' id '0f09d73c-98f4-47c0-89e8-79cd84d2c24c' date '24 April 2012' time '6:57:08.176 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.13' message 'completes z3/kodkod with quantification/object constraints.' id '5b376368-83c1-4d5b-8b18-51bf237483f6' date '24 April 2012' time '1:33:05.956 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.12' message 'obj invariants' id '444b9831-ea36-49d0-8102-4cbd5f4cf355' date '24 April 2012' time '2:07:34.026 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.11' message 'modifies objects for kodkod not yet for smt' id '192c927d-a136-46f1-a54b-bd0140cedb98' date '18 April 2012' time '3:20:50.096 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.10' message 'kodkod test #2' id '7efffafd-dd1b-468c-b27e-5efb8cd29237' date '17 April 2012' time '3:05:03.927 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.9' message 'constraint example involving quantified clauses and objects' id '8e3c3f15-85e6-45ac-880d-5c780f2644df' date '13 April 2012' time '1:51:22.833 am' author 'hs' ancestors ((name 'CooperatingLanguages-yo.8' message 'Adapt a test to the new syntax.' id 'fe89596e-ddfe-4f54-9cc5-4dbdc36c3581' date '12 April 2012' time '12:59:22.069 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.7' message 'added run and runAndCommit' id 'ab86abb0-2a3a-4e99-adf1-934ef2a6fe66' date '10 April 2012' time '5:17:00.91 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.6' message 'added instructions for using solvers' id '32b0f242-ba76-4f4b-8944-74e84f84ec19' date '10 April 2012' time '1:57:31.681 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.5' message 'integration of kodkod solver started, one example working' id '9ad66c01-442f-43ac-b36a-98712722c7e8' date '10 April 2012' time '1:24:44.097 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.4' message 'updated SMT binary location to be in tmp dir' id '85bacad1-2af0-46ba-bde6-bd8ee1ee944d' date '9 April 2012' time '12:14:36.322 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.3' message 'first SMT example working, event-based one works but does not refire yet' id '8e0325ab-3267-4dd1-8d81-0e8cf88be363' date '9 April 2012' time '1:34:51.846 am' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.2' message 'added parsers for constraints and geometric object languages' id '698ccadc-21d1-426c-89ba-a29f47dbfe99' date '6 April 2012' time '3:56:26.127 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.1' message 'init package for framework for cooperating languages' id '5ea8c38f-267d-49c2-95cd-847b89eb8652' date '6 April 2012' time '3:12:12.772 pm' author 'hs' ancestors () stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())