Commit Graph

200 Commits

Author SHA1 Message Date
Tony Garnock-Jones ce0b30dba6 Fix code generation problem 2016-03-19 14:49:54 -04:00
Tony Garnock-Jones 45d1de7358 Get in-browser compilation working using brfs 2016-03-19 14:49:44 -04:00
Tony Garnock-Jones e4ae3b1f95 Check for termination of an actor after each event and after boot. 2016-03-19 14:47:39 -04:00
Tony Garnock-Jones d87118f686 Support risingEdge transition events 2016-03-19 13:48:49 -04:00
Tony Garnock-Jones e7de06c2d2 Remove spurious braces. 2016-03-19 13:01:23 -04:00
Tony Garnock-Jones 3b5a07f954 Split out compiler to separate syndicatec command 2016-03-19 13:01:14 -04:00
Tony Garnock-Jones adaf9511bf Init and done blocks. 2016-03-18 17:13:52 -04:00
Tony Garnock-Jones 3c124633b3 Terminate actors when they have no more facets left. 2016-03-18 17:08:49 -04:00
Tony Garnock-Jones dea733911d Load crypto functionality on node.js. 2016-03-18 17:01:00 -04:00
Tony Garnock-Jones 3785cebdf2 Syndicate/js HLL Ohm-based compiler. 2016-03-18 17:00:51 -04: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 d29fb17ad6 Update README. 2016-02-07 14:46:42 -05:00
Tony Garnock-Jones 4f94c8702e Rename syndicate.js to network.js 2016-02-07 14:39:09 -05:00
Tony Garnock-Jones 0e7a6375e9 Escape text, and make spaces display properly. 2016-02-07 14:25:52 -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 df0ff273b1 Mostly-working textfield example. 2016-02-06 22:05:25 -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 6d028f00c5 Seal DOMFragment specifications. 2016-02-06 15:06:59 -05:00
Tony Garnock-Jones afa657096a Introduce Syndicate.Ack() to reliably detect lack of demand in DOMFragment. 2016-02-06 14:32:42 -05:00
Tony Garnock-Jones 3489b5fab7 DOM driver. 2016-02-06 07:42:31 -05:00
Tony Garnock-Jones a0670ec3a3 Simple Seal class 2016-02-06 07:42:16 -05:00
Tony Garnock-Jones 85c43510a8 Remove out-of-date comments 2016-02-06 07:41:59 -05:00
Tony Garnock-Jones 5e0757b65f Support optional metaLevel argument to Network.send 2016-02-06 07:41:47 -05:00
Tony Garnock-Jones f12f24b133 Support Immutable.List in patterns 2016-02-06 07:41:31 -05:00
Tony Garnock-Jones 4cdd595301 Guard against accidentally trying to build a patch matching a patch. 2016-02-06 07:41:11 -05:00
Tony Garnock-Jones f06d951dcb Support Network onStateChange callback. 2016-02-06 07:40:46 -05:00
Tony Garnock-Jones d00d205314 Take metaLevel into account compiling DemandMatcher projections. 2016-02-06 07:39:58 -05:00
Tony Garnock-Jones 9d7dd37a37 demand-matcher.js, jquery-driver.js 2016-02-06 06:22:49 -05:00
Tony Garnock-Jones 8c55ada827 Fix typo in ground.js 2016-02-06 06:22:13 -05:00
Tony Garnock-Jones 9a8e7b4856 Split out captureToObject 2016-02-06 05:50:47 -05:00
Tony Garnock-Jones 674870b9ba Remove superfluous require. 2016-02-06 05:47:34 -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 e0f76b991a First pass at Network implementation 2016-02-02 18:22:29 -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 d1b3ffdf81 Document optionality of removeMeta 2016-02-02 14:36:47 -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 bf94a2cd1c Support leftShort in Route.matchTrie 2016-02-02 14:35:33 -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 c2fa26f9ed New $Special objects for __, SOA, EOA etc. 2016-01-31 10:54:41 -05:00
Tony Garnock-Jones 1107483c86 Initial commit. 2016-01-30 21:58:59 -05:00