Joe Bryan
|
d37983c0c4
|
adds +tap:to treap-order validation arm
|
2019-05-29 14:08:01 -07:00 |
|
Joe Bryan
|
6fee79fbf8
|
adds tests for +set and +map mold clams
|
2019-05-29 13:41:22 -07:00 |
|
Jared Tobin
|
b01a5396dd
|
Merge branch 'master' into validate-treap-order
|
2019-05-29 15:40:06 +08:00 |
|
Jared Tobin
|
a4a2f36233
|
Merge pull request #1179 from urbit/philip/ap-cage
More useful +diff and +sigh in gall apps
|
2019-05-29 15:29:59 +08:00 |
|
Joe Bryan
|
86660303bb
|
calls map/set treap-order validation arms in molds with $|
|
2019-05-28 23:28:51 -07:00 |
|
Joe Bryan
|
9f0196ec4b
|
moves container mold-builders back to layer2
|
2019-05-28 23:25:58 -07:00 |
|
Ted Blackman
|
b255fa2168
|
full |message-pump compiles
|
2019-05-28 19:56:05 -07:00 |
|
Philip Monk
|
87e50458fc
|
rename command -> poke
|
2019-05-28 17:11:21 -07:00 |
|
Philip Monk
|
c48f942264
|
add effectful timers
|
2019-05-28 17:01:18 -07:00 |
|
Philip Monk
|
4c93a6f6e9
|
generalize poke in lib/tapp
|
2019-05-28 16:06:53 -07:00 |
|
Philip Monk
|
b7fb5c10b1
|
more useful +diff and +sigh
|
2019-05-28 15:38:59 -07:00 |
|
Philip Monk
|
40c4ea45d2
|
add subscriptions to stdio
|
2019-05-28 15:38:14 -07:00 |
|
Philip Monk
|
96a2baabec
|
more useful +diff and +sigh
|
2019-05-28 15:37:42 -07:00 |
|
Ted Blackman
|
62b399da63
|
fleshed out more skeleton and message passing; compiles
|
2019-05-28 15:05:59 -07:00 |
|
Philip Monk
|
9d1e8601e3
|
add app poking to stdio
|
2019-05-28 13:23:06 -07:00 |
|
Jared Tobin
|
d33f9ea73f
|
Merge pull request #1178 from urbit/dedupe-vane-interfaces
deduplicates vane interfaces (+note/+sign)
|
2019-05-28 14:49:03 +08:00 |
|
Jared Tobin
|
485e234c67
|
Merge branch 'master' into dedupe-vane-interfaces
|
2019-05-28 14:18:39 +08:00 |
|
Ted Blackman
|
a5e5d94a2f
|
make it 'secure'
|
2019-05-27 20:59:53 -07:00 |
|
Ted Blackman
|
b109056536
|
+test-alien-encounter passes
|
2019-05-27 20:39:42 -07:00 |
|
Ted Blackman
|
b92e9f79aa
|
alien encounter compiles
|
2019-05-27 20:15:17 -07:00 |
|
Ted Blackman
|
38f0d4504c
|
beginnings of high-level control flow; compiles
|
2019-05-27 19:43:47 -07:00 |
|
Ted Blackman
|
e26185067c
|
external interface types and skeleton
|
2019-05-27 18:43:10 -07:00 |
|
Joe Bryan
|
f200138532
|
factors out common +note/+sign declarations with $>
|
2019-05-27 00:41:33 -07:00 |
|
Joe Bryan
|
8dabbfead4
|
factors out common vane +task declarations with $>
|
2019-05-27 00:41:37 -07:00 |
|
Joe Bryan
|
b880a24e91
|
adds comment noting %behn/%eyre %born +task discrepancy
|
2019-05-27 00:41:33 -07:00 |
|
Joe Bryan
|
30f5b1b645
|
updates +unix-task to reference vanes with $>
|
2019-05-26 23:09:28 -07:00 |
|
Jared Tobin
|
32d62baa52
|
Merge pull request #1177 from urbit/fix-ho-mold-bunts
fix higher-order mold parameter-bunts
|
2019-05-27 13:06:48 +08:00 |
|
Ted Blackman
|
cd17cc8a4e
|
more docs on |message-pump
|
2019-05-26 21:44:11 -07:00 |
|
Ted Blackman
|
45392b02a4
|
fix and document $message-pump-state
|
2019-05-26 21:34:18 -07:00 |
|
Ted Blackman
|
6cdde64b7a
|
first stab at outgoing message types
|
2019-05-26 20:22:38 -07:00 |
|
Ted Blackman
|
913362c134
|
more minor cleanup
|
2019-05-26 18:52:31 -07:00 |
|
Ted Blackman
|
907aff8701
|
minor cleanup
|
2019-05-26 18:48:41 -07:00 |
|
Ted Blackman
|
97a7f4e76e
|
first stab at state data structures
|
2019-05-26 18:38:19 -07:00 |
|
Philip Monk
|
2fd87c815b
|
add contracts to trad and time-related stdio functions
|
2019-05-26 18:07:02 -07:00 |
|
Ted Blackman
|
6f8d06d617
|
+ordered-set, with basic tests
|
2019-05-26 16:54:23 -07:00 |
|
Joe Bryan
|
a32e8a3def
|
updates %jael +note/+sign to reference other vanes with $>
|
2019-05-26 13:38:23 -07:00 |
|
Joe Bryan
|
ffd4a259c4
|
updates %ford +note/+sign to reference other vanes with $>
|
2019-05-26 02:51:19 -07:00 |
|
Joe Bryan
|
46d376e853
|
updates %eyre +note/+sign to reference other vanes with $>
|
2019-05-26 02:47:33 -07:00 |
|
Joe Bryan
|
a267f1aca9
|
updates %dill +note/+sign to reference other vanes with $>
|
2019-05-26 02:44:35 -07:00 |
|
Joe Bryan
|
8e4303fdf8
|
updates %clay +note/+sign to reference other vanes with $>
|
2019-05-26 02:26:10 -07:00 |
|
Joe Bryan
|
b7bdc66bc8
|
updates %behn +note/+sign to reference other vanes with $>
|
2019-05-26 02:23:03 -07:00 |
|
Joe Bryan
|
313052ff09
|
updates %ames +note/+sign to reference other vanes with $>
|
2019-05-26 02:08:23 -07:00 |
|
Philip Monk
|
9eb10aaec1
|
better stdio
|
2019-05-25 19:17:18 -07:00 |
|
Joe Bryan
|
36ed4192a7
|
reconciles the definition of +mold and the expansion of +*
|
2019-05-25 11:08:30 -07:00 |
|
Jared Tobin
|
d4706234fd
|
Merge branch 'master' into fix-ho-mold-bunts
|
2019-05-25 17:54:57 +08:00 |
|
Jared Tobin
|
cf2fa883b3
|
Merge pull request #1176 from urbit/fix-spec-assertions
fixes the macro expansion of $> and $< specs
|
2019-05-25 15:45:04 +08:00 |
|
Joe Bryan
|
09b249b819
|
fix +* spec parameter bunts (default to identity)
|
2019-05-25 00:23:24 -07:00 |
|
Joe Bryan
|
d1944ff07c
|
Merge pull request #1284 from urbit/ccr-jet-cleanup
cleanup jet allocations, remove unused
|
2019-05-25 00:18:03 -07:00 |
|
Ted Blackman
|
5be3c4b6b9
|
beginnings of data types
|
2019-05-24 22:53:29 -07:00 |
|
Philip Monk
|
ece6bba79b
|
bigger poc
|
2019-05-24 19:45:46 -07:00 |
|