Commit Graph

30 Commits

Author SHA1 Message Date
Tony Garnock-Jones a55dc6ec58 Fix expected test outputs 2016-08-07 22:44:56 -04:00
Tony Garnock-Jones 41693b897c Hook dataflow.js into Syndicate/js; add "during ... actor { ... }" 2016-08-07 15:33:09 -04:00
Tony Garnock-Jones ba2f4d677d Add Dataflow.Graph.newScope. 2016-08-06 19:57:29 -04:00
Tony Garnock-Jones 8b63c68673 Add Dataflow.Graph.enforceSubjectPresence. 2016-08-06 19:57:01 -04:00
Tony Garnock-Jones 7f930311ce dataflow.js 2016-07-27 06:51:30 -04:00
Tony Garnock-Jones 31ee4cb2cd Broadcast message delivery in Syndicate/js 2016-06-27 14:59:53 -04:00
Tony Garnock-Jones f83f4c6413 Oops, forgot to git-add the tests 2016-05-17 19:43:22 -04:00
Tony Garnock-Jones 8256b56607 Generalize matchValue to permit wildcard messages (not yet used) 2016-05-17 18:16:20 -04:00
Tony Garnock-Jones 8546e93e5d Implement Syndicate/js broker-client and chat app.
Support capturing with a pattern in the Syndicate/js DSL: ($foo = bar())

Struct has been cleaned up, and now offers proper Javascript objects
for its prefab-like structures. These can serialize and deserialize
themselves to/from JSON. They behave like prefabs in that two
StructureTypes created with the same label and arity behave
identically wrt Dataspaces and Tries. Sadly, prefab field names had to
go in order to support this.

Facets now track and terminate their children upon termination. This
is experimental; I suspect it is required for nested durings.

DemandMatcher can now support multiple specs, but this is less useful
than you might think since it tracks supply and demand quite naively.
It would have to have (surprise, surprise!) a mux-like structure to do
the job properly!

Added WakeDetector to main.js; adding the broker client will have to
wait until it is turned into a proper module in the src/ directory.
2016-05-10 00:40:53 -04:00
Tony Garnock-Jones 9c5f427366 Split and rename route.js into trie.js, struct.js and special.js 2016-05-08 11:33:39 -04:00
Tony Garnock-Jones 062e4603af Convert Syndicate/js to use prefix-style trie 2016-05-08 11:11:29 -04:00
Tony Garnock-Jones 7fcfa9586b Rename "network" to "dataspace" throughout 2016-04-07 09:42:54 +02:00
Tony Garnock-Jones fbbad85b04 Put matchPattern back: actor.js will need it. 2016-03-18 15:02:44 -04:00
Tony Garnock-Jones dc35e7c1bd Cosmetic (reindentation) 2016-03-18 12:32:37 -04:00
Tony Garnock-Jones 21fd0f574a makeStructureConstructor 2016-03-18 12:32:09 -04:00
Tony Garnock-Jones 935fb98a1f Echo-cancel assertions, following syndicate/racket. 2016-02-11 23:56:42 -05:00
Tony Garnock-Jones e9b431c50f triePruneBranch; preparation for echo-cancellation of SCNs 2016-02-11 22:51:26 -05:00
Tony Garnock-Jones 49d11b1a73 Fix two major subtraction-related bugs in Route union and intersect.
Moved a bunch of lookup logic into rlookupWild, which let me delete a
lot of special-purpose and flawed code. It is clearly heading toward
being properly-refactored, like the Racket implementation (and the
ESOP2016 paper's presentation) is. The performance problems may
interrupt this gradual evolution before it is complete, though:
hopefully I will be able to move to an explicitly memory-managed
scheme soon.
2016-02-07 14:18:57 -05:00
Tony Garnock-Jones 8c3aeec6ad Failing test 2016-02-06 22:05:07 -05:00
Tony Garnock-Jones e02755c701 Improve patch pretty-printing 2016-02-06 21:56:47 -05:00
Tony Garnock-Jones 7d1a0c58c2 Use immutable sets/lists for projection results 2016-02-06 05:47:14 -05:00
Tony Garnock-Jones bfd8203a7a use strict 2016-02-02 21:11:50 -05:00
Tony Garnock-Jones 9f69cffbe7 Ground network; minor refactorings and bugfixes; smoketest example 2016-02-02 21:02:55 -05:00
Tony Garnock-Jones f22e228cc0 New tests and bug fixes for patch and mux 2016-02-02 15:52:48 -05:00
Tony Garnock-Jones 4d87f071da Mux; beginnings of tests for it 2016-02-02 14:36:31 -05:00
Tony Garnock-Jones 6b9c7fee67 Remove unused function from test script 2016-02-02 14:35:43 -05:00
Tony Garnock-Jones 95cb196c49 Fix bug in Route.subtract 2016-02-02 14:35:08 -05:00
Tony Garnock-Jones a0f1d61635 Start skeleton Network 2016-01-31 17:48:00 -05:00
Tony Garnock-Jones 579b82261c Patches, more tests, fixes 2016-01-31 16:55:24 -05:00
Tony Garnock-Jones 1107483c86 Initial commit. 2016-01-30 21:58:59 -05:00