syndicate-lang
/
minimart-2014
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
129 Commits 5 Branches 2 Tags 338 KiB
Commit Graph

129 Commits

Author SHA1 Message Date
Tony Garnock-Jones fbcf2c8199 Exploration of securing NC 2014-05-28 11:34:14 -04:00
Tony Garnock-Jones 720f84a4a6 Avoid inefficiency in filter and match by reordering union and intersection 2014-05-26 15:33:02 -04:00
Tony Garnock-Jones 8a7fce46fa Avoid redundant set wrapper 2014-05-26 14:57:40 -04:00
Tony Garnock-Jones 700e1eee57 Aggregate downward-gestalt separately from local process gestalts 2014-05-26 14:57:12 -04:00
Tony Garnock-Jones 3b2e2ad538 Another test 2014-05-26 06:29:06 -04:00
Tony Garnock-Jones 139adf074c Improved elision of wildcard-sequence cases in erase-path 2014-05-26 06:22:35 -04:00
Tony Garnock-Jones bd608c21a1 Remove unused function 2014-05-25 23:32:43 -04:00
Tony Garnock-Jones 4c2abd334c Make sure routing-updates reflect outer gestalt to updating process 2014-05-25 23:22:59 -04:00
Tony Garnock-Jones 52342e9ce5 Add TODO for bug re: downward gestalts 2014-05-25 13:23:25 -04:00
Tony Garnock-Jones 4c3c6d2e2d Eventually we should support infinite level 2014-05-25 13:23:12 -04:00
Tony Garnock-Jones 5058330e80 More tests of projection; change to default matcher-union-successes 2014-05-25 13:22:49 -04:00
Tony Garnock-Jones a9c750ab6b Eliminate useless unused argument 2014-05-25 11:33:20 -04:00
Tony Garnock-Jones 77a7620bdc Fix bug in projection against wildcards 2014-05-22 22:34:24 -04:00
Tony Garnock-Jones 9a5d9cb579 Move rseq* to test code, as it is otherwise unused 2014-05-22 19:13:02 -04:00
Tony Garnock-Jones cbf057204c Print empty gestalt differently to reduce ambiguity. 2014-05-22 18:49:26 -04:00
Tony Garnock-Jones 052c90ef78 Propagate transient gestalt states properly. Signal inital gestalts to spawned processes. 2014-05-22 18:49:13 -04:00
Tony Garnock-Jones a8fa384985 Reminder to perhaps remove the parameters again, as they may be slow 2014-05-21 23:41:01 -04:00
Tony Garnock-Jones 5092cff96b Update websocket driver and examples 2014-05-21 23:22:21 -04:00
Tony Garnock-Jones d86c64f68a Gestalts massively simplify demand-matcher 2014-05-21 23:21:39 -04:00
Tony Garnock-Jones d37eaa1236 Introduce parameters controlling route success merges; Ensure "minimal" path erasure 2014-05-21 23:20:49 -04:00
Tony Garnock-Jones aea07d16cc Convey the number of remaining processes after a termination 2014-05-21 23:17:25 -04:00
Tony Garnock-Jones bad652d0c5 Notes on important routing-update issues to address 2014-05-21 23:17:04 -04:00
Tony Garnock-Jones a7d8051e2e By setting the initial gestalt to #f, we ensure at least one routing-update gets through. 2014-05-21 23:16:38 -04:00
Tony Garnock-Jones bfa9c9cfcb projection->pattern 2014-05-21 21:02:38 -04:00
Tony Garnock-Jones 6649689b8f Make captures able to express and-patterns. 2014-05-21 20:54:36 -04:00
Tony Garnock-Jones 3bd9b338b5 Fix error messages 2014-05-21 19:59:06 -04:00
Tony Garnock-Jones e5ba41d8a3 Reformulate gestalts (again). Back to metalevel/level/pattern rather than metalevel/pattern/level. 2014-05-21 16:28:38 -04:00
Tony Garnock-Jones 513eec3b7b Correct comment (it was left behind when erase-path's args were flipped) 2014-05-20 23:32:07 -04:00
Tony Garnock-Jones a4e1d882f8 Reintroduce trigger-guards 2014-05-20 22:12:50 -04:00
Tony Garnock-Jones 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.
 2014-05-20 21:50:19 -04:00
Tony Garnock-Jones 50ed37f52e gestalt-intersect is probably not useful as an API 2014-05-19 20:15:05 -04:00
Tony Garnock-Jones 77d23a0cba Updates to changed API 2014-05-19 20:01:43 -04:00
Tony Garnock-Jones 36b38dc757 Further API tweaks, and new tests 2014-05-19 19:57:02 -04:00
Tony Garnock-Jones 0cfa2bfe16 gestalt-project->finite-set -> gestalt-project-key-set 2014-05-19 18:59:05 -04:00
Tony Garnock-Jones 2ccd066012 matcher->finite-set -> matcher-key-set 2014-05-19 18:58:27 -04:00
Tony Garnock-Jones cad1dbbbca Generalize route.rkt's mapped-to values from sets. Also flip arg order of matcher-erase-path. 2014-05-19 18:41:59 -04:00
Tony Garnock-Jones 25a912c900 The appropriate unit to elide varies with the nesting level. 2014-05-16 12:38:19 -04:00
Tony Garnock-Jones 649b1b8e82 Avoid construction of intermediate list 2014-05-15 11:41:40 -04:00
Tony Garnock-Jones 6a609f4491 Optimizations for intersection and related operations. 2014-05-14 16:29:02 -04:00
Tony Garnock-Jones 2013f67341 Oops. Correct stupid error. 2014-05-14 16:28:47 -04:00
Tony Garnock-Jones 9ea6cc038d Add routing-implementation to fastrouting 2014-05-14 13:47:21 -04:00
Tony Garnock-Jones 68b12325f1 Exercise timer driver 2014-05-14 00:09:36 -04:00
Tony Garnock-Jones 0bff938cf7 Update timer driver 2014-05-14 00:03:07 -04:00
Tony Garnock-Jones 869f287e4b More exports 2014-05-14 00:02:52 -04:00
Tony Garnock-Jones 63010dc1db pretty-print-gestalt 2014-05-14 00:02:33 -04:00
Tony Garnock-Jones c01d4f09bd gestalt-empty? 2014-05-14 00:02:23 -04:00
Tony Garnock-Jones 1a0c5fcd62 Bugfix in matcher-match-matcher 2014-05-14 00:02:07 -04:00
Tony Garnock-Jones ca9bab153c Provide pretty-print-matcher 2014-05-14 00:01:43 -04:00
Tony Garnock-Jones 7fc0875228 Gestalt-based ground.rkt 2014-05-13 23:15:36 -04:00
Tony Garnock-Jones 2462c686ec Improve gestalt-combine function; n-ary gestalt-union 2014-05-13 23:15:24 -04:00