Commit Graph

  • e0aae6e3e0 Avoid use of wrap-evt, preferring handle-evt Tony Garnock-Jones 2014-06-11 16:01:04 -0400
  • 50420a20dc More notes Tony Garnock-Jones 2014-06-10 16:13:28 -0400
  • 289a7351df Documentation in the code Tony Garnock-Jones 2014-06-10 13:54:10 -0400
  • 2eb8822c56 Avoid need for latching on listen-side TCP connections; flip demand-matcher's default orientation Tony Garnock-Jones 2014-06-06 18:07:58 -0400
  • f4169206f5 Cosmetic Tony Garnock-Jones 2014-06-06 18:06:14 -0400
  • 4addfee3b4 Handle connection refused, ish. Tony Garnock-Jones 2014-06-06 18:06:02 -0400
  • fb6d22ad94 No need to try to let a quitting process know an updated gestalt Tony Garnock-Jones 2014-06-06 18:05:17 -0400
  • 22e109413f gestalt->pretty-string Tony Garnock-Jones 2014-06-06 16:20:35 -0400
  • 1e0971d0f1 Display pid-stack more consistently when logging. Tony Garnock-Jones 2014-06-06 16:20:23 -0400
  • 95f050aca6 Tweaks to userland examples Tony Garnock-Jones 2014-06-02 16:46:54 -0400
  • a572f270f0 Delimited-continuation based threaded style Tony Garnock-Jones 2014-06-02 16:36:55 -0400
  • 52faa78444 Flush output after writing a line. Tony Garnock-Jones 2014-06-02 16:33:35 -0400
  • 435ab0fbd8 TCP driver; simple example; chat server; chat client Tony Garnock-Jones 2014-06-02 14:13:12 -0400
  • bdab665e36 Avoid laborious projection if all we're doing is capturing the whole thing anyway. Tony Garnock-Jones 2014-06-02 14:12:45 -0400
  • 2014c22c41 Export matcher-empty? from core Tony Garnock-Jones 2014-06-02 14:12:28 -0400
  • a2ee741832 matcher-key-set/single Tony Garnock-Jones 2014-06-02 14:12:20 -0400
  • 58a0af38a6 Adjust projection to yield multiple values instead of a vector Tony Garnock-Jones 2014-05-28 20:10:55 -0400
  • 96b92cf2d4 Support for embedding matchers in patterns Tony Garnock-Jones 2014-05-28 17:11:36 -0400
  • 7a95306bb0 There may be no levels on the right-hand-side for a given metalevel. Tony Garnock-Jones 2014-05-28 16:35:51 -0400
  • edd4436297 Default success/jsexpr transformers in gestalt/jsexpr conversion. Tony Garnock-Jones 2014-05-28 16:31:40 -0400
  • dbb7e8fe67 gestalt-transform Tony Garnock-Jones 2014-05-28 16:31:24 -0400
  • 53d0a67e96 Permit function to return #f in transition-bind Tony Garnock-Jones 2014-05-28 16:31:05 -0400
  • 1a63a2c35d gestalt-accepts? Tony Garnock-Jones 2014-05-28 16:30:50 -0400
  • 141f85b664 gestalt->jsexpr, jsexpr->gestalt Tony Garnock-Jones 2014-05-28 16:02:20 -0400
  • 060e587fbf matcher->jsexpr, jsexpr->matcher Tony Garnock-Jones 2014-05-28 15:48:37 -0400
  • 6b94074a41 Convert from pair-based to list-based matching. Tony Garnock-Jones 2014-05-28 15:24:26 -0400
  • fbcf2c8199 Exploration of securing NC caps Tony Garnock-Jones 2014-05-28 11:34:14 -0400
  • 720f84a4a6 Avoid inefficiency in filter and match by reordering union and intersection Tony Garnock-Jones 2014-05-26 15:33:02 -0400
  • 8a7fce46fa Avoid redundant set wrapper Tony Garnock-Jones 2014-05-26 14:57:40 -0400
  • 700e1eee57 Aggregate downward-gestalt separately from local process gestalts Tony Garnock-Jones 2014-05-26 14:57:12 -0400
  • 3b2e2ad538 Another test Tony Garnock-Jones 2014-05-26 06:29:06 -0400
  • 139adf074c Improved elision of wildcard-sequence cases in erase-path Tony Garnock-Jones 2014-05-26 06:22:35 -0400
  • bd608c21a1 Remove unused function Tony Garnock-Jones 2014-05-25 23:32:43 -0400
  • 4c2abd334c Make sure routing-updates reflect outer gestalt to updating process Tony Garnock-Jones 2014-05-25 23:22:59 -0400
  • 52342e9ce5 Add TODO for bug re: downward gestalts Tony Garnock-Jones 2014-05-25 13:23:25 -0400
  • 4c3c6d2e2d Eventually we should support infinite level Tony Garnock-Jones 2014-05-25 13:23:12 -0400
  • 5058330e80 More tests of projection; change to default matcher-union-successes Tony Garnock-Jones 2014-05-25 13:22:49 -0400
  • a9c750ab6b Eliminate useless unused argument Tony Garnock-Jones 2014-05-25 11:33:20 -0400
  • 77a7620bdc Fix bug in projection against wildcards Tony Garnock-Jones 2014-05-22 22:34:24 -0400
  • 9a5d9cb579 Move rseq* to test code, as it is otherwise unused Tony Garnock-Jones 2014-05-22 19:13:02 -0400
  • cbf057204c Print empty gestalt differently to reduce ambiguity. Tony Garnock-Jones 2014-05-22 18:49:26 -0400
  • 052c90ef78 Propagate transient gestalt states properly. Signal inital gestalts to spawned processes. Tony Garnock-Jones 2014-05-22 18:49:13 -0400
  • a8fa384985 Reminder to perhaps remove the parameters again, as they may be slow Tony Garnock-Jones 2014-05-21 23:28:14 -0400
  • 5092cff96b Update websocket driver and examples Tony Garnock-Jones 2014-05-21 23:22:21 -0400
  • d86c64f68a Gestalts massively simplify demand-matcher Tony Garnock-Jones 2014-05-21 23:21:39 -0400
  • d37eaa1236 Introduce parameters controlling route success merges; Ensure "minimal" path erasure Tony Garnock-Jones 2014-05-21 23:20:49 -0400
  • aea07d16cc Convey the number of remaining processes after a termination Tony Garnock-Jones 2014-05-21 23:17:25 -0400
  • bad652d0c5 Notes on important routing-update issues to address Tony Garnock-Jones 2014-05-21 23:17:04 -0400
  • a7d8051e2e By setting the initial gestalt to #f, we ensure at least one routing-update gets through. Tony Garnock-Jones 2014-05-21 23:16:38 -0400
  • bfa9c9cfcb projection->pattern Tony Garnock-Jones 2014-05-21 21:02:38 -0400
  • 6649689b8f Make captures able to express and-patterns. Tony Garnock-Jones 2014-05-21 20:54:36 -0400
  • 3bd9b338b5 Fix error messages Tony Garnock-Jones 2014-05-21 19:59:06 -0400
  • e5ba41d8a3 Reformulate gestalts (again). Back to metalevel/level/pattern rather than metalevel/pattern/level. fastbooting-goodvisibility Tony Garnock-Jones 2014-05-21 16:28:38 -0400
  • 513eec3b7b Correct comment (it was left behind when erase-path's args were flipped) Tony Garnock-Jones 2014-05-20 23:32:07 -0400
  • a4e1d882f8 Reintroduce trigger-guards Tony Garnock-Jones 2014-05-20 22:12:50 -0400
  • b750a01e78 Switch gestalt representations to accommodate n<m filtering. The previous format separated out the different levels too much. The new format pushes the level representation *under* the routing matcher. Tony Garnock-Jones 2014-05-20 21:50:19 -0400
  • 7c22d439ec gestalt-intersect is probably not useful as an API (original commit adapted to naive-routing setting) naiverouting Tony Garnock-Jones 2014-05-19 20:15:05 -0400
  • 50ed37f52e gestalt-intersect is probably not useful as an API Tony Garnock-Jones 2014-05-19 20:15:05 -0400
  • 77d23a0cba Updates to changed API Tony Garnock-Jones 2014-05-19 20:01:43 -0400
  • 36b38dc757 Further API tweaks, and new tests Tony Garnock-Jones 2014-05-19 19:57:02 -0400
  • 0cfa2bfe16 gestalt-project->finite-set -> gestalt-project-key-set Tony Garnock-Jones 2014-05-19 18:59:05 -0400
  • 2ccd066012 matcher->finite-set -> matcher-key-set Tony Garnock-Jones 2014-05-19 18:58:27 -0400
  • cad1dbbbca Generalize route.rkt's mapped-to values from sets. Also flip arg order of matcher-erase-path. Tony Garnock-Jones 2014-05-19 18:41:59 -0400
  • 25a912c900 The appropriate unit to elide varies with the nesting level. fastbooting-badvisibility Tony Garnock-Jones 2014-05-16 12:38:19 -0400
  • 649b1b8e82 Avoid construction of intermediate list Tony Garnock-Jones 2014-05-15 11:41:40 -0400
  • 6a609f4491 Optimizations for intersection and related operations. Tony Garnock-Jones 2014-05-14 16:29:02 -0400
  • 2013f67341 Oops. Correct stupid error. Tony Garnock-Jones 2014-05-14 16:28:47 -0400
  • 9ea6cc038d Add routing-implementation to fastrouting Tony Garnock-Jones 2014-05-14 13:47:21 -0400
  • 187d4affa8 Add routing-implementation to master Tony Garnock-Jones 2014-05-14 13:46:42 -0400
  • dc54c31ab2 Driver and example updates from fastrouting branch. Tony Garnock-Jones 2014-05-14 13:45:42 -0400
  • 6dc52115e3 Compatibility API with fastrouting branch. Tony Garnock-Jones 2014-05-14 13:45:29 -0400
  • 68b12325f1 Exercise timer driver Tony Garnock-Jones 2014-05-14 00:09:36 -0400
  • 0bff938cf7 Update timer driver Tony Garnock-Jones 2014-05-14 00:03:07 -0400
  • 869f287e4b More exports Tony Garnock-Jones 2014-05-14 00:02:52 -0400
  • 63010dc1db pretty-print-gestalt Tony Garnock-Jones 2014-05-14 00:02:33 -0400
  • c01d4f09bd gestalt-empty? Tony Garnock-Jones 2014-05-14 00:02:23 -0400
  • 1a0c5fcd62 Bugfix in matcher-match-matcher Tony Garnock-Jones 2014-05-14 00:02:07 -0400
  • ca9bab153c Provide pretty-print-matcher Tony Garnock-Jones 2014-05-14 00:01:43 -0400
  • 7fc0875228 Gestalt-based ground.rkt Tony Garnock-Jones 2014-05-13 23:15:36 -0400
  • 2462c686ec Improve gestalt-combine function; n-ary gestalt-union Tony Garnock-Jones 2014-05-13 23:15:24 -0400
  • 7035365197 Bring examples into line with new API Tony Garnock-Jones 2014-05-13 23:14:52 -0400
  • f75392a051 Leftover from switch from vectors to lists. Tony Garnock-Jones 2014-05-13 23:14:24 -0400
  • baf0ba9206 A process may have exited before it gets checked in step-children. Tony Garnock-Jones 2014-05-13 23:14:00 -0400
  • db132b8230 Mark newly-spawned process as initially runnable Tony Garnock-Jones 2014-05-13 23:13:25 -0400
  • ebc798c0aa Correct type error Tony Garnock-Jones 2014-05-13 23:12:57 -0400
  • 536a7d8e3d Update gestalt union and erasure to match current API Tony Garnock-Jones 2014-05-13 23:12:42 -0400
  • 8210272054 Handle empty matcher in matcher-match-value Tony Garnock-Jones 2014-05-13 23:11:50 -0400
  • f788caf754 More exports and utilities Tony Garnock-Jones 2014-05-13 23:08:42 -0400
  • 4711069f36 matcher-project and matcher->finite-set Tony Garnock-Jones 2014-05-13 19:35:17 -0400
  • 67d1b3b6db Move tests together Tony Garnock-Jones 2014-05-13 19:35:03 -0400
  • 8011a7263c Adapt first example Tony Garnock-Jones 2014-05-10 19:26:03 -0400
  • ebdd50ca4c Finish first cut Tony Garnock-Jones 2014-05-10 19:25:51 -0400
  • c415fdac65 Make gestalts list-based instead of mixed vectors and lists Tony Garnock-Jones 2014-05-10 19:25:32 -0400
  • a916a6c194 Fix silly mistakes Tony Garnock-Jones 2014-05-08 19:40:23 -0400
  • 469f18503b WIP Tony Garnock-Jones 2014-05-08 17:22:54 -0400
  • d88eb390b8 WIP Tony Garnock-Jones 2014-05-07 21:59:54 -0400
  • de6cd3884a Remove the old pattern.rkt Tony Garnock-Jones 2014-05-07 19:22:38 -0400
  • f46e95c933 Add matcher-match-matcher Tony Garnock-Jones 2014-05-10 19:27:17 -0400
  • 1aed7450cb Export "wildcard?" Tony Garnock-Jones 2014-05-10 19:26:51 -0400
  • 9cdbd38ba0 Let matcher-intersect flexibly combine success-values; add matcher-relabel Tony Garnock-Jones 2014-05-07 22:00:46 -0400