35 Commits

Author	SHA1	Message	Date
Joe Bryan	898beb2931	8. updates nock 4K spec	2018-10-10 20:25:23 -04:00
Joshua Reagan	fde425fddf	Typo in 4k Nock spec ... Ted's correction somehow didn't make it in! Just to reiterate, however, on typo version of the spec, `#[2 b c]` reduces to b, which clearly isn't right. I noticed this, complained in urbit-meta, and Ted pointed me to the github discussion.	2018-02-14 13:57:56 -06:00
C. Guy Yarvin	cd5b3503b4	Fix typo pointed out by Ted.	2018-01-24 11:13:28 -08:00
C. Guy Yarvin	8ed991462b	Preliminary Nock 4 spec.	2018-01-23 18:56:59 -08:00
Raymond Pasco	5ab32ac055	Use assumed-secure for the "secure" port	2016-12-12 15:06:13 -08:00
Raymond Pasco	061e7d026a	Specification for .http.ports file	2016-12-12 15:06:13 -08:00
Raymond Pasco	9e24f8caa0	Finalize removal of U3_LIB	2016-08-29 13:06:41 -04:00
C. Guy Yarvin	97a4d5abdb	Some naming improvements.	2016-02-06 22:44:56 -08:00
C. Guy Yarvin	e3a0446634	In the middle of internal merge.	2016-01-29 18:25:52 -08:00
John Franklin	de28b2c0a4	Clarifications to Spec/u3.md	2015-10-18 15:33:48 -05:00
C. Guy Yarvin	bdebf8f657	Update some jet stuff, and docs	2014-11-28 12:29:10 -08:00
C. Guy Yarvin	a4f978798f	Clarify c3_g.	2014-11-26 11:04:23 -08:00
C. Guy Yarvin	80d6f74886	Various fixes and documentations.	2014-11-25 15:31:35 -08:00
C. Guy Yarvin	d43bc56bb1	Validate jet cores. Other cosmetic changes.	2014-11-24 14:41:47 -08:00
Anton Dyudin	5e0cd65314	Formatting	2014-11-20 16:56:18 -08:00
Anton Dyudin	f811ba7960	Fixed header markdown	2014-11-20 15:09:48 -08:00
C. Guy Yarvin	3e7455a14e	This commit is broken!	2014-11-17 13:56:51 -08:00
C. Guy Yarvin	f3fba50144	Moar edits.	2014-11-15 17:10:05 -08:00
C. Guy Yarvin	4815cbcfa6	Before gmp malloc changeover.	2014-11-07 14:54:59 -08:00
C. Guy Yarvin	9ad1e215bb	Turn off profiling interrupts.	2014-11-06 14:08:37 -08:00
C. Guy Yarvin	6e9e1443a5	Relocation.	2014-11-06 11:29:53 -08:00
C. Guy Yarvin	8c8fa11104	Rename.	2014-11-06 11:13:57 -08:00
C. Guy Yarvin	7b05fc96d1	Moar doc.	2014-11-05 19:12:47 -08:00
C. Guy Yarvin	4855a9d1d8	Another great renaming.	2014-11-05 16:20:01 -08:00
C. Guy Yarvin	87d8169c57	Fix sed follies.	2014-11-05 15:36:30 -08:00
C. Guy Yarvin	fbb7b79ef1	Various fixes and improvements.	2013-12-08 14:40:16 -08:00
C. Guy Yarvin	f1678e0972	Some batz improvements. Clean up nock spec.	2013-12-02 17:01:07 -08:00
johncburnham	00e9ae70d4	Slight change to nock spec	2013-11-22 15:58:25 -08:00
johncburnham	887da2671a	Nitpicky edit to Nock was wrong. Reverting, but changing formatting for clarity. Nock 5K now at 353 bytes.	2013-11-13 20:57:55 -08:00
johncburnham	c0320389b8	Minor nitpicky change to the Nock spec	2013-11-13 19:18:09 -08:00
C. Guy Yarvin	d5efd98997	New chat ready for testing.	2013-11-02 18:29:28 -07:00
Christian Carter	2bff81f92a	relatively tiny documentation changes	2013-09-30 18:39:02 -07:00
Aaron Beckerman	6f25ef4d72	Remove old documentation	2013-09-30 01:51:18 +08:00
Christian Carter	ab7a1bf564	removing old Nock specs	2013-09-28 13:52:13 -07:00
Christian Carter	3af3130bdc	Cleaning up old code	2013-09-28 13:21:18 -07:00