(name 'CooperatingLanguages-hs.51' message 'cleanups and new interactive egs' id '7a7737f5-9756-4cb4-9736-01b5a4000355' date '18 May 2012' time '1:41:15.622 am' author 'hs' ancestors ((name 'CooperatingLanguages-yo.50' message 'A bit of tidying up.' id 'ece0c3ab-225e-4442-981c-c4bff17c8fe7' date '17 May 2012' time '6:11:57.394 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.49' message 'fixing old() feature' id 'f864a498-5810-46cc-80c0-df39eee1e223' date '16 May 2012' time '6:20:27.945 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.48' message 'adding <=> op, clean ups, test updates' id 'c27ed10f-e525-420f-964c-68f687fb3f6d' date '16 May 2012' time '4:23:06.6690000000000005 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.47' message 'added the circle eq test' id '01dd188c-d068-401b-8948-5a453054d504' date '16 May 2012' time '12:22:47.772 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.46' message 'adding z3 interactive nonlinear test' id 'bd17314f-0fab-40c6-bf7d-6a2a03951a2d' date '15 May 2012' time '8:50:14.257 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.45' message 'added old(var) syntax, nonlinear z3 eg, and time ticking z3 eg' id '34ddda41-c88d-4ef7-9766-1cd88cc64f81' date '15 May 2012' time '7:38:30.644 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.44' message 'pushing OCassowary language with circuit tests' id '89197c36-573b-4c17-874f-f6b1175affaa' date '14 May 2012' time '9:14:39.7 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.43' message 'adding Objective Cassowary language' id 'cdf31407-9786-4f67-9f09-eacd703fa94d' date '14 May 2012' time '12:53:26.551 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.42' message 'updating accordingly after port to new z3 ver' id 'e3a070e0-f1cb-4d57-80e3-715b836cb469' date '11 May 2012' time '9:52:01.913 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.41' message 'an update to instruction on installing external binaries' id 'c6342065-e280-4346-8f72-7fd466d798cd' date '11 May 2012' time '12:27:20.1 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.40' message 'bridge circuit eg via z3' id '151f4347-f4b1-4728-924c-11c3020d6bef' date '11 May 2012' time '1:17:38.939 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.39' message 'circuit1 z3' id '80c94fff-4225-4842-b9cb-33cce57731b2' date '10 May 2012' time '5:34:13.676 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.38' message 'code refactoring including solver output parsing' id '218ceb85-aa2c-4779-a945-4efff14a0aa6' date '10 May 2012' time '2:01:46.682 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.37' message 'kodkod circuit example' id 'd51c5621-d1d9-444f-8a93-09965d913bcc' date '8 May 2012' time '3:05:36.206 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.36' message 'adding aggregates' id 'dd8af4d5-e0e6-4e93-9a05-993963da96e9' date '8 May 2012' time '1:59:22.087 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.35' message 'cleaned up encoding of types' id '79dcd74b-c9d4-482e-93dc-952e876460d7' date '7 May 2012' time '7:50:30.031 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.34' message 'initial circuit e.g.' id '80c824fa-16f8-4643-9fe1-c51dabafe396' date '5 May 2012' time '1:19:25.737 am' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.33' message 'fixed temporary code for returning output from Cassowary - now does this in a reasonable way' id 'c2c425ba-38da-41f0-a8d3-acaf8f3ed601' date '4 May 2012' time '7:16:18.052 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.32' message 'classes record instances' id '6ba19d7e-d10c-47f2-b19f-25c171209d4c' date '4 May 2012' time '1:22:08.286 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.31' message 'clean up, new tests' id '2d073755-8b51-4831-96f2-3faba02142de' date '3 May 2012' time '2:26:27.597 am' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.30' message 'Changed CoopLangCassowary to use its input parser.  Recategorized some tests and other methods; moved the interactive method in the Z3 tests to not be a unit test.' id '033b5606-4308-4711-9392-4fb1d473f92a' date '2 May 2012' time '9:53:33.013 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.29' message 'refactored CoopLangCassowary to build the constraints and environment directly in Squeak, rather than constructing a string and evaluating it.  (Still need to fix output part.)' id '6d7f655a-b89b-49b1-8895-aa43a1dcbcfd' date '2 May 2012' time '7:24:33.084 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.28' message 'z3 test14 debug' id 'c1c2851a-62a8-4a1d-b036-03bc12941b0c' date '1 May 2012' time '3:36:43.186 pm' author 'hs' ancestors ((name 'CooperatingLanguages-yo.27' message 'Merge.' id '909e4c1f-6d20-414a-81ea-028b637be308' date '30 April 2012' time '10:11:02.279 am' author 'yo' ancestors ((name 'CooperatingLanguages-yo.26' message 'Just merge -hs.24.mcz.' id '5cf16830-e991-48ea-9c62-318b3dedb004' date '29 April 2012' time '7:18:33.627 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.24' message 'attributes and invariants inheritance' id '60a4365c-9c60-49f4-b61d-5ebc77d44f1e' date '29 April 2012' time '6:28:17.348 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.23' message 'refactored code to have anonymous UniClass user defined classes, separate input / output parser per language, clean up' id '3106939a-663f-4e4b-8fa4-7ca1f26b4dc6' date '28 April 2012' time '10:53:24.104 pm' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.22' message 'Added Cassowary as one of the available cooperating solvers.  For this first version, the system converts the information to a string and evaluates it to call Cassowary (to be compatible with the external solvers).  To be fixed later to call Cassowary directly.' id 'c96d3857-ab36-45c8-866f-20d71012c4db' date '27 April 2012' time '10:49:38.783 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.21' message 'implemented parsers user spec -> AST -> solver-specific' id '9634e18e-a4e4-4160-9ab7-b701540a6c7b' date '26 April 2012' time '2:57:55.542 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.20' message 'parser up' id 'cd2c4cf0-12eb-4b60-bcd7-9a6d6869a81d' date '25 April 2012' time '4:29:17.633 pm' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.19' message 'merged Things with other cooperating language parsers and tests' id '0ff28b6b-812d-404c-9745-79479b75786b' date '25 April 2012' time '3:42:53.503 pm' author 'AHB' ancestors ((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.955999999 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 ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())(name 'CooperatingLanguages-yo.25' message 'Before reparenting CoopLang, remove all OMeta2 rules.' id '12d88ea6-c9db-4d75-81f4-97b69f800d9d' date '29 April 2012' time '7:17:15.505 pm' author 'yo' ancestors ((id 'c96d3857-ab36-45c8-866f-20d71012c4db')) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())