Commit Graph

  • 183f104ade Optional initialiser in field declaration, to match examples (!) Tony Garnock-Jones 2016-08-07 17:34:19 -0400
  • 847fad140d Tweak spacing Tony Garnock-Jones 2016-08-07 16:55:46 -0400
  • 67dbd808fd Update front-page examples Tony Garnock-Jones 2016-08-07 16:54:09 -0400
  • d6306ae41c Update Tony Garnock-Jones 2016-08-07 15:41:10 -0400
  • add689623e Pin Ohm to v0.11.0 Tony Garnock-Jones 2016-08-07 15:39:44 -0400
  • 41693b897c Hook dataflow.js into Syndicate/js; add "during ... actor { ... }" Tony Garnock-Jones 2016-08-07 15:33:09 -0400
  • e2575c3ea1 Remove observablePropertyCounter to help avoid accumulating garbage on prop redefinition Tony Garnock-Jones 2016-08-07 11:31:51 -0400
  • f3631ed18f Handle missing options; prefix objectId with __. Tony Garnock-Jones 2016-08-06 19:57:47 -0400
  • ba2f4d677d Add Dataflow.Graph.newScope. Tony Garnock-Jones 2016-08-06 19:57:29 -0400
  • 8b63c68673 Add Dataflow.Graph.enforceSubjectPresence. Tony Garnock-Jones 2016-08-06 19:57:01 -0400
  • 02c66c4bab Fix deps Tony Garnock-Jones 2016-08-04 13:05:54 -0400
  • 73f180d90a fix bug in LLL two-buyer Sam Caldwell 2016-08-03 14:19:08 -0400
  • c9ae956bd2 Update OT example Tony Garnock-Jones 2016-08-01 17:48:13 -0400
  • 6a5f786b6b Update Tony Garnock-Jones 2016-08-01 16:46:13 -0400
  • 4138495ae1 Fix mistake in invoking translateNonTerminalCode Tony Garnock-Jones 2016-08-01 16:45:32 -0400
  • acf5db57f8 Fiddle with visualization of assertion flow render_dataspace Tony Garnock-Jones 2016-07-31 23:53:50 -0400
  • e22f608109 Now that we capture parameterization for actors, current-actor-path-rev has to be a store rather than a parameter Tony Garnock-Jones 2016-07-31 22:19:59 -0400
  • 4e1bab4b90 Introduce make-spawn to capture parameterizations. Closes #10. Tony Garnock-Jones 2016-07-31 17:24:48 -0400
  • 1fa50e4e6a file-system-during2.rkt Tony Garnock-Jones 2016-07-31 12:22:15 -0400
  • 628b7b2356 Remove superfluous begin0; reindent Tony Garnock-Jones 2016-07-31 12:19:54 -0400
  • e2897d37f4 Factor out commonality from file-system*.rkt examples Tony Garnock-Jones 2016-07-31 12:17:12 -0400
  • e36777584c Cosmetic Tony Garnock-Jones 2016-07-31 12:09:27 -0400
  • 463dd48577 Always pick the highest-priority script to run next. Tony Garnock-Jones 2016-07-31 12:02:11 -0400
  • dd246ddcae I forgot the "forever". This happens somewhat frequently. Tony Garnock-Jones 2016-07-31 11:36:56 -0400
  • f34924bc6d Leave a "tombstone" so we can see the process's name while any record of it remains. Tony Garnock-Jones 2016-07-31 11:36:25 -0400
  • 15b5406932 First (incomplete, buggy!) commit of a port of lll-main.rkt to hll Tony Garnock-Jones 2016-07-30 17:22:24 -0400
  • 8f0ba7625b Move main.rkt --> lll-main.rkt Tony Garnock-Jones 2016-07-30 17:06:32 -0400
  • 4dad3e9661 Process retractions before asserts in the query forms Tony Garnock-Jones 2016-07-30 17:05:54 -0400
  • 06ddbe060e Clean up various projections. Tony Garnock-Jones 2016-07-30 15:07:23 -0400
  • 5f48f3ba0c Update platformer to split mux and relay. Tony Garnock-Jones 2016-07-30 14:48:30 -0400
  • 9e3f804aae I don't understand how elapsed-ms can end up negative, but I was seeing it in the platformer at frame 0 Tony Garnock-Jones 2016-07-30 14:48:17 -0400
  • b6a03bdd9b Tweak scribblings to silence errors. Still need to update docs. Tony Garnock-Jones 2016-07-30 14:24:29 -0400
  • 3edd184242 Update syndicate-gl for split mux and relay. Tony Garnock-Jones 2016-07-30 14:22:14 -0400
  • c7dae47210 inbound* and outbound* are now match-expanders Tony Garnock-Jones 2016-07-30 14:14:09 -0400
  • 07eb91b0d9 Update big-bang for split relay and mux. Tony Garnock-Jones 2016-07-30 13:53:45 -0400
  • 17db697690 spawn->process+transition Tony Garnock-Jones 2016-07-30 13:48:42 -0400
  • c0786c86ca Introduce struct process. Tony Garnock-Jones 2016-07-30 13:36:03 -0400
  • 68ba2f74a6 Split dataspaces in to relay and mux sublayers. Tony Garnock-Jones 2016-07-30 13:02:07 -0400
  • b8c109d82b pretty-print-actor-state Tony Garnock-Jones 2016-07-30 12:47:57 -0400
  • 2a2d363c5e Improve printing of patches Tony Garnock-Jones 2016-07-30 12:27:38 -0400
  • 129dd23b84 Remove obsolete endpoint.rkt and its example Tony Garnock-Jones 2016-07-30 06:08:29 -0400
  • 7a3973a097 Move syndicate-monolithic to new historical directory. Tony Garnock-Jones 2016-07-30 06:07:46 -0400
  • 9241775879 Multiserver. Tony Garnock-Jones 2016-07-28 15:44:00 -0400
  • 56d2fc2c0d Support #:when conditional (on ...) clauses. Tony Garnock-Jones 2016-07-28 15:43:36 -0400
  • 0cff79abec Switch from parameters to "stores". Tony Garnock-Jones 2016-07-28 15:39:52 -0400
  • 2e24e105b8 Modify LLL two-buyer examples to give buyer A a budget Sam Caldwell 2016-07-28 15:33:52 -0400
  • be157decce Remove unneeded line Tony Garnock-Jones 2016-07-28 06:58:36 -0400
  • eabf9be37b Fix stupid error Tony Garnock-Jones 2016-07-28 06:50:35 -0400
  • 48763d8dbe modify HLL two-buyer example to give buyer A a budget Sam Caldwell 2016-07-27 18:01:15 -0400
  • 7f930311ce dataflow.js Tony Garnock-Jones 2016-07-27 06:51:30 -0400
  • e99cd0887f Improved tests for dataflow.rkt Tony Garnock-Jones 2016-07-27 06:03:57 -0400
  • 05325c2699 Use a real field instead of an icky `set!` Tony Garnock-Jones 2016-07-26 16:40:55 -0400
  • eb27d6acc5 Allow garbage-collection of no-longer-needed operations. Tony Garnock-Jones 2016-07-25 20:41:49 -0400
  • d67d490885 Operational transformation example Tony Garnock-Jones 2016-07-25 19:29:26 -0400
  • 8dba9a66c6 Line reader for TCP Tony Garnock-Jones 2016-07-25 21:30:14 -0400
  • 8e22e58920 Move LLL two-buyer examples together in the syndicate collect Tony Garnock-Jones 2016-07-25 18:37:45 -0400
  • a05d486354 let-event Tony Garnock-Jones 2016-07-25 18:34:34 -0400
  • ce80efeb85 Change monolithic two-buyer to syndicate/monolithic Sam Caldwell 2016-07-25 14:49:46 -0400
  • fdf0fa8cf6 Add spawn/stateless to syndicate/monolithic Sam Caldwell 2016-07-25 14:48:41 -0400
  • 6cac704bc5 Sound Tony Garnock-Jones 2016-07-24 14:43:27 -0400
  • 819ff13835 Expanders for events and assertion-patterns. Tony Garnock-Jones 2016-07-23 14:57:26 -0400
  • 796acbeea2 Defaults for web-response-header Tony Garnock-Jones 2016-07-23 11:40:18 -0400
  • b6e863fa79 Support for using struct-defaults in web.rkt, plus a simple default Tony Garnock-Jones 2016-07-23 11:28:46 -0400
  • 981914c15b Move web-demo.rkt to web-sanity-check.rkt Tony Garnock-Jones 2016-07-23 11:03:17 -0400
  • c714374685 add monolithic two-buyer example Sam Caldwell 2016-07-22 18:16:50 -0400
  • 9a6ce7d7f9 allow named stateless actors in monolithic lang Sam Caldwell 2016-07-22 18:16:14 -0400
  • e20506644f update monolithic impl to use hierarchy.rkt Sam Caldwell 2016-07-22 16:28:22 -0400
  • f28e16ee7b low-level two-buyer example Sam Caldwell 2016-07-22 15:20:10 -0400
  • 9f8ddc5249 Allow stateless actors to be given names Sam Caldwell 2016-07-22 15:11:53 -0400
  • cecb261c6b Introduce level-anchor and level-anchor->meta-level Tony Garnock-Jones 2016-07-21 18:53:41 -0400
  • 5aebc7fa75 #:meta-level in query-set and friends Tony Garnock-Jones 2016-07-21 18:31:44 -0400
  • c931b0aee5 Fix dataspace macro Tony Garnock-Jones 2016-07-21 18:31:33 -0400
  • c146f1d3b9 Merge branch 'incremental-actor-netstack' Tony Garnock-Jones 2016-07-21 17:04:54 -0400
  • d33d2f42a3 Move incremental netstack implementation to subdir Tony Garnock-Jones 2016-07-21 17:04:43 -0400
  • b2d5a3f74d Copy monolithic netstack implementation to subdir, for future reference Tony Garnock-Jones 2016-07-21 17:02:34 -0400
  • e1ddeb5f90 Use begin/dataflow to log allocated ports and statevecs Tony Garnock-Jones 2016-07-17 12:51:19 -0400
  • e0f3650989 Switch to a more neutral webserver for fetchurl.rkt Tony Garnock-Jones 2016-07-17 12:08:59 -0400
  • e165972a03 Bring fetchurl.rkt up to date Tony Garnock-Jones 2016-07-17 12:08:47 -0400
  • 75ef296c58 Repair TCP state-vector tracking. Tony Garnock-Jones 2016-07-17 12:08:28 -0400
  • 71b8edf5c3 Remove no-longer-needed on-claim.rkt Tony Garnock-Jones 2016-07-17 00:32:57 -0400
  • 015d7c38dd Properly evaluate some TCP stop-when conditions. Tony Garnock-Jones 2016-07-17 00:28:03 -0400
  • 09dfaf7d0e Migrate ip, port-allocator, udp and tcp to syndicate/actor Tony Garnock-Jones 2016-07-12 21:02:06 -0400
  • 04f1c56a5a Migrate main.rkt to syndicate/actor Tony Garnock-Jones 2016-07-12 19:21:23 -0400
  • ec2996e931 Migrate fetchurl.rkt to syndicate/actor Tony Garnock-Jones 2016-07-12 18:57:18 -0400
  • b444bccb80 Migrate demo-config.rkt to syndicate/actor Tony Garnock-Jones 2016-07-12 18:47:51 -0400
  • fb5b6e80b8 Translate Ethernet and ARP to incremental/actor style Tony Garnock-Jones 2016-07-12 16:46:21 -0400
  • 4357424e78 Switch to non-boxed, persistent impl of fields Tony Garnock-Jones 2016-07-21 16:50:16 -0400
  • 970baf7a36 Forbid multiple uses of a suspend-script continuation Tony Garnock-Jones 2016-07-21 15:14:03 -0400
  • bffc3757cb Remove unused #:substate arg from add-facet!. Tony Garnock-Jones 2016-07-21 15:00:58 -0400
  • 573ca4d6e5 Handle exceptions better in syndicate/threaded Tony Garnock-Jones 2016-07-20 23:02:42 -0400
  • ccdaceb30c Add syndicate/threaded. Tony Garnock-Jones 2016-07-20 22:13:43 -0400
  • 3569426048 Support specification of the form to use to create an actor in during/actor Tony Garnock-Jones 2016-07-20 22:05:14 -0400
  • 9b5a399383 Route targeted-events via actor paths Tony Garnock-Jones 2016-07-20 19:27:40 -0400
  • 815b139e5c Split out keeping track of actor paths to hierarchy.rkt Tony Garnock-Jones 2016-07-20 18:54:31 -0400
  • a01480fe05 Anticipate the pid a process is *about* to be allocated. Tony Garnock-Jones 2016-07-20 18:42:35 -0400
  • c76480f701 Allow giving two contracts in field macro Sam Caldwell 2016-07-20 16:51:41 -0400
  • 01ad7c72f6 Allow field/c to have different in and out contracts Sam Caldwell 2016-07-20 16:34:21 -0400
  • 3b9e483076 Re-kerjigger field macro to allow using #f as a contract Sam Caldwell 2016-07-20 16:14:12 -0400
  • e20f87adba Implement field/c using a struct rather than make-contract Sam Caldwell 2016-07-19 17:49:45 -0400
  • 9cf12a381e wrap contracts given to field with `field\c` Sam Caldwell 2016-07-18 15:20:22 -0400