(name 'CooperatingLanguages-hs.121' message 'Datalog syntax update' id 'e4f7ff8d-414d-4f86-a611-6d9d165ad7c0' date '3 October 2012' time '1:02:36.659 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.120' message 'OMeta cooplang up' id '68fa0768-eb81-4c32-8f5a-f1464ec59954' date '26 September 2012' time '4:34:40.562 pm' author 'hs' ancestors ((name 'CooperatingLanguages-yo.119' message 'The uniclass mechansim is added.' id '1a9401ec-b8db-4f61-881c-ef97a75dbc4a' date '25 September 2012' time '3:39:10.787 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.118' message 'CoopLangSpreadsheetDemo started' id 'b606eb16-5cd4-4a2a-a766-08c1e016b9c0' date '22 September 2012' time '2:33:14.285 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.117' message 'List type (partial)' id '6322b1ba-fd7f-4313-a518-eb736b181fcc' date '15 September 2012' time '10:31:50.148 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.116' message 'adding CoopLangMovingBoxesDemo' id '208a8008-9316-4720-9512-761bda053dad' date '30 August 2012' time '3:33:18.659 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.115' message 'some datalog related updates and examples' id 'a1584ab2-b9dd-4f62-b34b-efe089412bb3' date '28 August 2012' time '2:09:45.239 pm' author 'hs' ancestors ((name 'CooperatingLanguages-tk.114' message 'Updated tests in CoopLangSimpleSearchTests to reflect my new range conventions.' id 'd22b353e-f8a9-4f9c-889b-aef0c463d0b3' date '27 August 2012' time '10:46:14.39 am' author 'tk' ancestors ((name 'CooperatingLanguages-hs.113' message 'ConstraintParser improvements' id '76ba0565-2fae-483a-9bcb-4aab3b994b8a' date '26 August 2012' time '11:48:41.737 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.112' message 'datalog examples added' id '7d0504d9-5e3a-46d5-952c-3323f30e4575' date '26 August 2012' time '11:03:12.791 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.111' message 'added mock datalog invocation (have to stub expected output)' id '59aaa7a1-44f2-492e-9c6b-7c4fa973aef5' date '26 August 2012' time '2:56:39.758 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.110' message 'precursor to adding datalog' id '0b43d2e0-06e2-435e-9ceb-a7ab4b0f8fba' date '26 August 2012' time '3:32:51.913 am' author 'hs' ancestors ((name 'CooperatingLanguages-tk.109' message 'CoopLangSimpleSearch, an enumerating solver, can now solve ''methinks it is like a weasel'' from the Blind Watchmaker by Richard Dawkins.  
	( CoopLangSimpleSearch exampleWeasel ) explore
See the transcript for progress.' id 'beef68de-eeb1-4eb4-8f4b-45c325c0a92a' date '21 August 2012' time '11:50:44.63 am' author 'tk' ancestors ((name 'CooperatingLanguages-tk.108' message '[1] An example of using Z3 to solve a rotatiing rings. problem.  Rings are marked in four places.  
	(CoopLangZ3Tests new testPuzzle6)
	
[2] A new solver:  CoopLangSimpleSearch.  It is a simple exhaustive search.  You give it variables that are instances.  Each can have several instance variables inside it that have ranges.  Position and orientation of a piece for example.  
	( CoopLangSimpleSearch exampleElPuzzle ) explore  
tries to put four "L" shaped pieces (3 squares each) into a 2 by 6 rectangle.  This version does not know about symmetry.  It gives 96 solutions when there really are 2.' id '934716d9-dad8-45c1-975e-5ae5150ffc7a' date '15 August 2012' time '3:11:44.31 pm' author 'tk' ancestors ((name 'CooperatingLanguages-AHB.107' message 'Moved directions for downloading and installing kodkod to the CoopLangKodkod class comment.' id '7ea66f29-7867-43fc-971d-7e54a955bfa4' date '15 August 2012' time '3:48:47.793 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.106' message 'Fixed a problem with using z3 version 4.1 (eliminated -m parameter to the binary).  Moved directions for installing z3 to a class comment in CoopLangZ3.  Fixed bug in Kodkod unit test (there were actually 3 correct answers!).' id '2caad0ad-fa43-43b6-8202-db7b84365e0d' date '14 August 2012' time '1:55:44.252 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.105' message 'Z3 test testTens1proposed by Ted' id 'b94a2e95-08c8-4611-a962-7d8cd8ee6d5b' date '7 August 2012' time '2:55:07.354 pm' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.104' message 'cleaned up a hack regarding CoopLang variables that hold ordinary values vs. streams of values; fixed up unit tests for incremental solving to evaluate using time 1 rather than 0' id '05cf3d94-7d61-4682-9789-64b04f1a709a' date '1 August 2012' time '4:05:59.821 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-yo.103' message 'An example with interactive update with incremental solving.' id '22c3c402-02b4-4507-be08-6a75c262081b' date '31 July 2012' time '11:21:32.309 am' author 'yo' ancestors ((name 'CooperatingLanguages-AHB.102' message 'Moved examples from CoopLangZ3Tests (which weren''t actually tests) into a new class CoopLangZ3Examples.  Added a unit test for KSEventStreams and constraints to CoopLangZ3Tests and another to CoopLangCassowaryTests.' id '4ad9dac3-9893-40fb-9148-2678d964ab23' date '31 July 2012' time '3:14:56.322 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-yo.101' message 'An experiment with solver stream is pushed.' id '76e1ef80-72fd-4924-ab60-800206a9e5fd' date '30 July 2012' time '11:50:50.834 am' author 'yo' ancestors ((name 'CooperatingLanguages-AHB.100' message 'added support and tests for required incremental edit constraints to CoopLangCassowary' id 'ed427c25-44e1-4ef5-803d-ef833e683ba7' date '29 July 2012' time '3:30:23.24 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.99' message 'Cleaned up incremental solving API by renaming some methods to make it clearer these are for the incremental version of solving, other cleanups.' id '14957133-157f-4b27-a3fa-ea88201fc1ec' date '28 July 2012' time '7:12:50.08 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.98' message 'initial checkin - incremental version of CoopLangs (for Cassowary only at this point)' id 'beb35766-1ebf-4c27-8612-a1d01cdf03e9' date '27 July 2012' time '5:32:53.73 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-yo.97' message 'length -> size' id 'cdba57b5-7b38-420b-9b9f-45fbcb6f7068' date '26 July 2012' time '4:07:58.841 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.96' message 'moved diode test to todo list, solver seems unable to handle arbitrary exprs in the exponent' id 'd6354f21-4408-405b-bfd6-f1dcfb4dea06' date '18 July 2012' time '1:04:24.529 pm' author 'hs' ancestors ((name 'CooperatingLanguages-yo.95' message 'Normalize raw-event extract stream names.' id '13f25ef6-191c-4314-be21-50ffc6b81adf' date '13 July 2012' time '4:44:52.669 am' author 'yo' ancestors ((name 'CooperatingLanguages-yo.94' message 'Adapt to the new translation scheme.' id '20673340-1756-4251-a6aa-b7bb0e0dd0a3' date '6 July 2012' time '11:16:57.271 am' author 'yo' ancestors ((name 'CooperatingLanguages-hs.93' message 'OCassowary support of prioritized (soft) constraints' id '78dae629-27c0-4b52-91bb-a1cacf7c0762' date '1 July 2012' time '10:22:41.29 pm' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.92' message 'Working on adding soft constraints to OCassowary but it''s not quite working yet -- intermediate checkin of a test that doesn''t work yet' id '972db3d4-6a30-4d23-85a4-c51f8ec44bdc' date '29 June 2012' time '6:46:11.444 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.91' message 'finished adding soft constraints to Cassowary solver in CoopLangs' id '08f980a8-68e6-4d92-ab1f-3ae3105b917e' date '27 June 2012' time '6:14:44.391 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.90' message 'Got soft constraints working with Cassowary solver.  

Note: ignore the comment in the last checkin about a problem with the z3 solver!!  (it''s working fine .... oops... had the wrong version of z3 on one machine)' id '7944c58f-1355-443c-b809-8fb08bbf5de4' date '27 June 2012' time '4:24:26.339 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.89' message 'changed constraint strengths from numbers to symbols.  Required constraints are now #required rather than 0

There is a bug with the Z3 tests, which seems to have been present for several checkins ....' id 'b284f232-67a1-4d80-9806-95816087b2ee' date '27 June 2012' time '1:51:02.518 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.88' message 'added optional strength declarations for constraints (work in progress - everything parses but it isn''t hooked up with Cassowary yet)' id '8554e48b-5346-45e3-b012-f7ea250b549a' date '25 June 2012' time '9:50:07.555 am' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.87' message 'some example cleanups' id 'ae6907d4-767b-4cba-9ea1-d527111a1eea' date '18 June 2012' time '3:45:34.712 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.86' message 'adding constraint priority (for hard / weighted soft constraints)' id 'de3ad59a-9ccc-433f-9666-6c17abb479fa' date '18 June 2012' time '1:53:21.871 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.85' message 'updating bridge specs' id 'b76bb391-8bc1-48e6-a2f5-5dd16fa0ceec' date '13 June 2012' time '2:34:32.109 am' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.84' message 'added a Diode class and a test example (doesn''t quite work yet - this is an incremental checkin)' id '3d5380a9-08f4-4b49-850f-147efb0753fa' date '12 June 2012' time '8:46:51.787 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-AHB.83' message 'made CoopLangsLibrary a subclass of Object instead of TestCase' id '0200164c-43ff-4d36-a1aa-9c691df34885' date '12 June 2012' time '10:16:01.173 am' author 'AHB' ancestors ((name 'CooperatingLanguages-yo.82' message 'Relabel and move buttons.  Debugging info shos read only objects.' id '9525e8f6-cb77-4b44-bb81-eb7fc3a590cc' date '11 June 2012' time '11:19:49.742 am' author 'yo' ancestors ((name 'CooperatingLanguages-hs.81' message 'micro  bridge eg draft' id 'd0770b62-115b-4340-b424-e0fea28b9c7a' date '11 June 2012' time '7:26:15.846 am' author 'hs' ancestors ((name 'CooperatingLanguages-yo.80' message 'Values are changeable, and the results will be written back from the solver.' id '6bd8a852-5126-4cf7-959c-9bbce3812335' date '8 June 2012' time '5:53:52.567 pm' author 'yo' ancestors ((name 'CooperatingLanguages-yo.79' message 'Hooked up with Z3 solver.' id '6d41db30-fef4-4c05-9e85-0d8299e39c53' date '8 June 2012' time '3:52:02.961999999 pm' author 'yo' ancestors ((name 'CooperatingLanguages-yo.78' message 'Some improvements.' id '22335434-ad37-487c-8817-bcd17a70a415' date '8 June 2012' time '12:14:56.848 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.77' message 'fixing syntax error pushed earlier' id '14ea35e1-d940-4e91-9864-f09efd9b1b64' date '8 June 2012' time '2:23:34.574 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.76' message 'few z3 eg up' id 'e021496d-e887-4212-8757-df9dc52faee7' date '8 June 2012' time '1:36:40.227 pm' author 'hs' ancestors ((name 'CooperatingLanguages-yo.75' message 'Mouse over to show properties.' id '5b60d208-0fa2-4cf7-a94f-b053334ea24c' date '7 June 2012' time '4:56:15.869 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.74' message 'breaking modifies clause into three components. modifiableVars: modifiableObjects: modifiableAttributes:' id 'a1350b1d-c0a7-4843-bc25-c77b275eab0f' date '7 June 2012' time '2:00:13.879 pm' author 'hs' ancestors ((name 'CooperatingLanguages-yo.73' message 'Property sheet can be invoked by a right click.' id '5ab5439a-c247-4a65-94c4-a75045922758' date '6 June 2012' time '11:55:21.485 pm' author 'yo' ancestors ((name 'CooperatingLanguages-yo.72' message 'Wire shape is added.' id 'ddd83525-054b-4afa-8016-5f29bca2c149' date '6 June 2012' time '4:14:51.328 pm' author 'yo' ancestors ((name 'CooperatingLanguages-yo.71' message 'Select the battery at initialization.' id '9280619e-00c8-4e10-ae48-8ecce881db14' date '6 June 2012' time '3:39:16.602 pm' author 'yo' ancestors ((name 'CooperatingLanguages-yo.70' message 'Use the turn: command of GeziraPathBuilder.' id 'b0296614-727a-4344-bd48-783b503b9a8f' date '6 June 2012' time '9:38:07.174 am' author 'yo' ancestors ((name 'CooperatingLanguages-yo.69' message 'Saner look for components.' id 'a9974602-6751-45dd-8ec2-61a7c6872bdf' date '5 June 2012' time '9:25:50.695 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.68' message 'cleanup modifies clause of z3 circuit examples' id '6523f0ce-9c6e-4684-b395-e1e3fdeb168f' date '6 June 2012' time '3:02:41.382 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.67' message 'cleanup cooplang problem flattener and z3 examples' id '7122ba89-47f2-4be2-b248-0f05b54dd94b' date '6 June 2012' time '2:06:46.347 am' author 'hs' ancestors ((name 'CooperatingLanguages-yo.66' message 'A first commit of editor.' id 'b33ff38b-054d-4ff4-bc50-58d2890390e3' date '5 June 2012' time '3:46:43.331 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.65' message 'adding CoopLangProblemFlattener for languages that flatten problems into ones only over primitve vars (real, int, bool). also adding flattenedz3 lang' id 'cfa865dd-da25-4e02-a106-9ec06a23ba9a' date '1 June 2012' time '12:54:32.929 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.64' message 'instantiateQuantifiers feature as optimization for z3 cleaned up' id '4e92c3c8-ad64-4d9d-8e64-777c52ecfa0c' date '30 May 2012' time '1:58:18.245 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.63' message 'cleanup and fix to z3 old impl' id 'c4bd809a-52b0-43ac-902b-14863a22901c' date '27 May 2012' time '2:48:20.241 pm' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.62' message 'Moved CoopLangsLibrary to its own category' id 'fefccd08-5776-433d-b581-8bc4c5901842' date '25 May 2012' time '12:25:06.402 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.61' message 'added: readOnly: selector, derivative syntax, and CoopLangsLibrary for example reuse' id '0c87818c-ba31-4581-9bcc-6a90d0a49684' date '24 May 2012' time '11:12:16.152 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.60' message 'separating class defs and var defs with model: and problem: selectors, using CoopLangs newModel: andProblem:' id 'b7735e5e-e784-4a03-ba12-8661cbc2ea6f' date '23 May 2012' time '6:38:47.584 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.59' message 'added option to explode invariants (instantiate per object)' id 'd806d088-2703-4c8e-b23d-68a2acd2f18c' date '23 May 2012' time '1:43:19.412 am' author 'hs' ancestors ((name 'CooperatingLanguages-yo.58' message 'The stub of interactive electrical circuit editor.' id 'fd04a0e2-30c6-400c-a461-6f8add124fcb' date '22 May 2012' time '8:52:46.028 pm' author 'yo' ancestors ((name 'CooperatingLanguages-yo.57' message 'A bit of clean up on the use of assetions.' id '11398700-dd99-4f92-a327-6858a67b6f82' date '22 May 2012' time '2:54:23.266 pm' author 'yo' ancestors ((name 'CooperatingLanguages-hs.56' message 'example ups' id '98418f03-ef6c-487a-b12b-e55f04191c9d' date '22 May 2012' time '12:54:39.09 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.55' message 'simple spring example' id 'aa8cb90a-a162-4a47-821f-6671f0ab69fa' date '21 May 2012' time '9:39:06.256 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.54' message 'cleanup of old: symbolic old values not concrete out of env' id '7a55b80d-1e25-47c6-9bcd-eee986ed5c74' date '21 May 2012' time '12:46:00.727 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.53' message 'old syntax update, cleanups, new examples' id 'af433c6c-4fba-4963-8503-ee2c3e7ea46a' date '20 May 2012' time '12:41:28.575 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.52' message 'added error checks, commenting in syntax, and new interactive eg' id 'dbe75e2e-505c-4e4b-9867-c4ba489f6b5c' date '18 May 2012' time '2:21:24.181 pm' author 'hs' ancestors ((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 ())) 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 ())) 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 ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())