Commit Graph

  • a7503d16e4 Clean up whitespace main Tony Garnock-Jones 2015-10-09 18:45:30 -0400
  • 5280f1eb5c Toy file server example Tony Garnock-Jones 2015-10-09 18:45:23 -0400
  • 457d53fc54 First commit switching from sets to tsets for labels in RHSs of matchers. canonical-sets Tony Garnock-Jones 2015-06-19 20:53:08 -0400
  • 1ff931eb80 Break dependency on web-server-lib Tony Garnock-Jones 2015-05-23 11:39:55 -0400
  • 7858b3aee1 Increase TCP listen connection backlog to 128, to avoid TCP timeouts Tony Garnock-Jones 2015-03-18 19:04:46 -0400
  • d031b60995 Add back in support for evts at ground-level Tony Garnock-Jones 2015-03-18 17:12:46 -0400
  • 234ba0d417 Simplify matcher-recurse by using internal recursion. Tony Garnock-Jones 2014-08-21 16:51:12 -0700
  • b380c9ca64 Buffer outbound messages while waiting for connection Tony Garnock-Jones 2014-08-12 16:20:39 -0700
  • 33251164b2 Allow control of tracing to stderr after process boot Tony Garnock-Jones 2014-08-12 15:36:33 -0700
  • 2286c7c617 Asynchronous outbound websocket connections. Tony Garnock-Jones 2014-08-11 22:11:42 -0700
  • 5bd30db9b0 Don't swallow exceptions in a websocket connection Tony Garnock-Jones 2014-08-10 13:23:56 -0700
  • 81d2ddedbb Clamp quasi-murmurhash output Tony Garnock-Jones 2014-08-09 23:51:10 -0700
  • 19df097898 Fix silly mistake in call to pattern->matcher Tony Garnock-Jones 2014-08-09 23:50:48 -0700
  • cf9920dec5 Make gestalts equal?-comparable, and add a custom printer to avoid printing pain Tony Garnock-Jones 2014-08-09 23:29:31 -0700
  • f189dfdf4f Attempt at better error handling in websocket server Tony Garnock-Jones 2014-08-09 22:45:09 -0700
  • 7ab3f61ef9 Racket broker client support Tony Garnock-Jones 2014-08-09 19:06:05 -0700
  • e237b49bb0 Message deduplicator Tony Garnock-Jones 2014-08-09 19:05:38 -0700
  • 9566830bc1 Fix scope error in actor; fix general gestalt labelling error in actor Tony Garnock-Jones 2014-08-09 19:05:27 -0700
  • 4ab8accfb1 Rename broker server from relay to broker-server Tony Garnock-Jones 2014-08-09 19:05:06 -0700
  • 1fa2743751 Utilities on gestalts and matchers useful for analyzing and transforming whole tables Tony Garnock-Jones 2014-08-09 19:04:21 -0700
  • 5cce0db45f Websocket client driver Tony Garnock-Jones 2014-08-09 19:03:48 -0700
  • 2335a64633 Refactor module structure Tony Garnock-Jones 2014-08-09 16:29:05 -0700
  • 91246c1471 Mildly improved (?) quasi-hash for deterministic treap construction Tony Garnock-Jones 2014-07-18 22:28:32 -0700
  • 2fd7a07fe0 Add gen:equal+hash to treaps Tony Garnock-Jones 2014-07-18 20:43:02 -0700
  • 0a73988d6f Treap-based hashconsed route.rkt Tony Garnock-Jones 2014-07-18 18:45:15 -0700
  • 1dc38bd9c1 Avoid pointless scan of entire table in collapse-wildcard-sequences Tony Garnock-Jones 2014-07-18 21:25:25 -0700
  • 4713e957ca Adapt route.rkt to use sorted-map; doesn't work, because they don't have canonical forms sorted_map_route_broken Tony Garnock-Jones 2014-07-18 18:19:41 -0700
  • 3bfc9b910a sorted-map-has-key? Tony Garnock-Jones 2014-07-18 18:18:18 -0700
  • 26bd5c7638 changed to use the order? convention from data/order Tony Garnock-Jones 2014-07-18 11:43:15 -0700
  • f6a8b84d81 sorted-map-values Tony Garnock-Jones 2014-07-18 11:34:43 -0700
  • a5dc977d73 Add sorted-map-keys Tony Garnock-Jones 2014-07-18 11:31:55 -0700
  • 0b0020153e Constant-time sorted-map-size Tony Garnock-Jones 2014-07-18 11:26:06 -0700
  • 10803adcd2 Hash-consed red-black treemap Tony Garnock-Jones 2014-07-18 11:01:28 -0700
  • a86a0cd326 Remove redundant and wrong clause in match-values Tony Garnock-Jones 2014-07-18 19:58:08 -0700
  • 4c031254f7 Moved broker from js-marketplace/server.rkt Tony Garnock-Jones 2014-07-18 10:25:08 -0700
  • d39beee8a1 Full subtraction. Drastic simplifications all round based on new invariants. Tony Garnock-Jones 2014-07-16 19:53:35 -0700
  • 35ccad13d2 Initial steps toward refactoring erase-path into subtract Tony Garnock-Jones 2014-07-16 14:02:27 -0700
  • 41666ff408 Canonicalize matchers to permit quick equality testing Tony Garnock-Jones 2014-07-16 11:13:45 -0700
  • 8bce94c2e3 fold in the #f-checks from merge to walk, like js-marketplace does Tony Garnock-Jones 2014-07-15 13:55:53 -0700
  • 9dd268bdfd Cosmetic Tony Garnock-Jones 2014-06-27 16:27:16 -0400
  • 9af8adee79 actorise the relay Tony Garnock-Jones 2014-06-27 16:26:46 -0400
  • edfb1a9250 Correct error in #:run-transition Tony Garnock-Jones 2014-06-27 16:26:14 -0400
  • 24666b58b3 Avoid adding an event-handler for message receipt unless there are some body clauses to process Tony Garnock-Jones 2014-06-27 16:26:05 -0400
  • d991ad934f observe-gestalt Tony Garnock-Jones 2014-06-27 16:25:49 -0400
  • 20a50967c5 filter-event Tony Garnock-Jones 2014-06-27 16:25:26 -0400
  • 8050324f5b Switch from gestalt-observers/message-handlers to plain event-handlers Tony Garnock-Jones 2014-06-27 15:49:59 -0400
  • 82edbd0936 Cosmetic Tony Garnock-Jones 2014-06-27 15:33:28 -0400
  • 584831e3e9 Note re: #:arguments Tony Garnock-Jones 2014-06-27 00:36:19 -0400
  • 07bc1affed Fix use of gestalt-stx Tony Garnock-Jones 2014-06-27 00:36:09 -0400
  • 064d70d602 Fix actor scoping. Tony Garnock-Jones 2014-06-27 00:15:49 -0400
  • af3a27c3c3 Provide struct projection; make projection and gestalt non-transparent Tony Garnock-Jones 2014-06-27 00:14:18 -0400
  • b58c31b4b5 Note about forbidding set! of state variables Tony Garnock-Jones 2014-06-26 20:39:36 -0400
  • 64d1a01934 Comments; split states into statevars and statetemps Tony Garnock-Jones 2014-06-23 11:07:33 -0400
  • c0ad546b54 Refactor actor macro to declutter parsing state management. Tony Garnock-Jones 2014-06-23 10:39:51 -0400
  • 7502656531 Actorize the timer driver and avoid inertness-preventing permanent subscription at ground-meta-level Tony Garnock-Jones 2014-06-23 07:28:20 -0400
  • bfe9a5224d Avoid inertness-preventing ground-meta-level example subscriptions Tony Garnock-Jones 2014-06-23 07:27:53 -0400
  • c0a92a64f5 Fix error in analyze-body* macro; adjust scope of compute-gestalt Tony Garnock-Jones 2014-06-23 07:27:25 -0400
  • 38ea50e352 Cosmetic Tony Garnock-Jones 2014-06-23 07:00:27 -0400
  • 2ec167560d Remove unneeded require Tony Garnock-Jones 2014-06-23 06:56:47 -0400
  • b928d6c78a Use actor macro Tony Garnock-Jones 2014-06-22 22:49:13 -0400
  • ceef225fce New actor syntax for minimart actors Tony Garnock-Jones 2014-06-22 22:06:07 -0400
  • feaffaa752 gestalt-union* Tony Garnock-Jones 2014-06-22 22:03:09 -0400
  • 244e793d03 Support boot actions in spawned processes. Tony Garnock-Jones 2014-06-22 22:02:58 -0400
  • 43992462fa Make timer driver use send-ground-message rather than changing gestalt. Tony Garnock-Jones 2014-06-21 11:38:27 -0400
  • 90af8c3584 Make ground async-channel always available, rather than dynamically scoped to run-ground. This is important because (spawn-timer-driver), for example, is called outside run-ground and spawns a thread that communicates with ground via the ground async-channel. When we move to running multiple grounds at once, we will have to revisit the parameterization scheme here. Tony Garnock-Jones 2014-06-21 11:36:59 -0400
  • ac6efba7a5 Finer MINIMART_TRACE control over tracing. Tony Garnock-Jones 2014-06-21 11:36:26 -0400
  • 2466fe61c1 Make pretty-printed output a little wider Tony Garnock-Jones 2014-06-21 11:06:33 -0400
  • bc3e5be900 Unwrap trigger-guarded behavior when printing quit notifications Tony Garnock-Jones 2014-06-21 11:03:16 -0400
  • b2eef0c54a Better behavior printing Tony Garnock-Jones 2014-06-21 10:58:02 -0400
  • 815294cd2b More flexible tracing of worlds Tony Garnock-Jones 2014-06-21 10:45:38 -0400
  • d17f7bdeb4 Clean up contract-like transition-checking. Tony Garnock-Jones 2014-06-21 07:33:12 -0400
  • b4e2e28027 Introduce step-process (as composition of deliver-event and apply-transition) Tony Garnock-Jones 2014-06-21 07:29:21 -0400
  • 3dc7d25724 Warn on wildcard gestalt-projections Tony Garnock-Jones 2014-06-19 22:38:05 -0400
  • e1f72f92e8 UDP socket driver and example Tony Garnock-Jones 2014-06-19 13:43:18 -0400
  • b3db1dd464 Tweak to projection->gestalt; expose projection-spec; catch capture-in-pattern error Tony Garnock-Jones 2014-06-18 20:18:23 -0400
  • cade391056 Catch errors of wildcard demand/supply in demand-matcher Tony Garnock-Jones 2014-06-18 20:17:56 -0400
  • 0c0035e2e2 Minor readjustment to permit logging of full gestalt of worlds Tony Garnock-Jones 2014-06-18 18:36:05 -0400
  • a8b0bd24e8 Support timeouts in on-gestalt Tony Garnock-Jones 2014-06-18 18:00:03 -0400
  • 22d299b5a2 on-gestalt Tony Garnock-Jones 2014-06-18 16:05:58 -0400
  • 7df1e40433 Improved interface to gestalt-project. Tony Garnock-Jones 2014-06-18 16:05:46 -0400
  • 77f876c737 Use write for keys rather than display in pretty-print-matcher Tony Garnock-Jones 2014-06-17 21:53:09 -0400
  • 25ee780598 Detail in matcher-erase-path cofinite situation. Tony Garnock-Jones 2014-06-17 17:15:44 -0400
  • 867afdbf63 matcher->pretty-string Tony Garnock-Jones 2014-06-17 17:15:34 -0400
  • 5057103681 Clarify logging of events and actions Tony Garnock-Jones 2014-06-15 20:42:35 -0400
  • 22ae65d05e General-purpose broker-style relay from js-marketplace Tony Garnock-Jones 2014-06-14 20:52:38 -0400
  • fc3bf46afa Silence noisy process spawn/terminate notices Tony Garnock-Jones 2014-06-14 20:51:24 -0400
  • 44d5dfa528 Provide an identity for set-union Tony Garnock-Jones 2014-06-14 18:56:52 -0400
  • ef4d47c67a Remove silly identity-projection efficiency hack. Tony Garnock-Jones 2014-06-14 14:20:23 -0400
  • 646b9b9197 Ugh, stupid undefined-variable Tony Garnock-Jones 2014-06-14 13:47:47 -0400
  • 9b05906efb Simplify matcher-project Tony Garnock-Jones 2014-06-14 13:10:27 -0400
  • 1faa122c49 Changes from code review Tony Garnock-Jones 2014-06-14 12:41:17 -0400
  • 5b7b192b60 Widen ground-level inertness detection to account for non-event ground-level gestalt. Tony Garnock-Jones 2014-06-12 20:26:14 -0400
  • 30c007e0be Introduce threads and send-ground-message to TCP driver. Tony Garnock-Jones 2014-06-12 19:46:17 -0400
  • 3a5e6c8e29 Notes and improvements from code review Tony Garnock-Jones 2014-06-11 18:51:52 -0400
  • 18d625af45 Mostly cosmetic; improvements from yesterday's code review Tony Garnock-Jones 2014-06-11 16:24:23 -0400
  • a86da29f68 Comments in ground.rkt Tony Garnock-Jones 2014-06-11 16:21:45 -0400
  • 4370cb72a4 Correctly distinguish when multiple listeners exist Tony Garnock-Jones 2014-06-14 20:50:03 -0400
  • eca3e9ded0 Switch websocket driver to use send-ground-message. Tony Garnock-Jones 2014-06-11 16:03:22 -0400
  • aa629c8bbe send-ground-message Tony Garnock-Jones 2014-06-11 16:02:46 -0400
  • 3e6fd930c5 Expose queue-prepare-for-dequeue Tony Garnock-Jones 2014-06-11 16:02:17 -0400