14629 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Ted Blackman	d30914a1f8	encode and decode packets	2019-05-24 19:03:33 -07:00
Elliot Glaysher	d86f5f4d0d	More notes about why I think verification is failing.	2019-05-24 14:25:46 -07:00