34 Commits

Author	SHA1	Message	Date
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