57 Commits

Author	SHA1	Message	Date
Curtis Yarvin	7a48d012f6	Initial draft of modern fishing.	2018-07-09 15:37:27 -07:00
Curtis Yarvin	7a9a9047c3	Old help totally cleaned out.	2018-05-24 15:40:28 -07:00
Curtis Yarvin	747831dc26	Platform for coordinated type system adjustment.	2018-05-05 15:10:34 -07:00
Curtis Yarvin	63ea041ecf	Renamed %form to %hint.	2018-04-24 22:29:31 -07:00
Curtis Yarvin	a2e2dee3db	Finish integrating %form in +type.	2018-04-24 21:57:54 -07:00
C. Guy Yarvin	dfe9265576	Support experimental bit in ++ap and ++al.	2018-01-29 18:58:36 -08:00
C. Guy Yarvin	70487ba362	Disable ++ap shims.	2017-12-10 21:04:31 -08:00
C. Guy Yarvin	cb46432b9b	Support ^% switch to ++aq instead of ++ap.	2017-12-06 16:33:49 -08:00
C. Guy Yarvin	9c22f7e08b	Remove 151, standardize on 143.	2017-09-27 17:40:12 -07:00
C. Guy Yarvin	c20c66901d	Hand-copied build with both 151 and 143 jets.	2017-09-25 16:54:42 -07:00
Paul Driver	1dfa5e4411	jet +-wyt:in	2016-11-08 17:29:36 -08:00
Raymond Pasco	f3547e7ac4	Merge branch 'jet-aes', remote-tracking branch 'dhaffey/burn-zeroing' ... AES, Ed25519, and ++rep jets Prevent ++burn:ut jet from zeroing non-constants	2016-08-10 15:00:51 -07:00
Raymond Pasco	08994156e1	Add missing jet for ++rep ... (very ghetto)	2016-08-10 09:34:43 -07:00
Raymond Pasco	1d1c3f962c	Jet murmur3	2016-08-03 17:49:44 -07:00
Dan Haffey	2311b3ee82	Fix ++peek:ut jet semi-discrepancy	2016-08-01 02:00:26 -07:00
Raymond Pasco	af012bab8a	Jet AES ECB and CBC modes	2016-07-20 11:25:05 -07:00
Raymond Pasco	4a9d61607f	Jet shar:ed curve25519 shared secret arm	2016-05-24 12:00:35 -04:00
Raymond Pasco	e9a429fbdd	Activate ++lune jet	2016-03-03 00:06:24 -05:00
C. Guy Yarvin	35a385e81c	Fully shifted over to modern typed namespace.	2016-02-03 20:51:01 -08:00
C. Guy Yarvin	b26fd40636	More typed .^.	2016-02-03 13:33:43 -08:00
C. Guy Yarvin	326fd27db8	Fully transitioned to correct %face.	2016-02-02 18:45:11 -08:00
C. Guy Yarvin	0838818881	%face to %fuss. Next change back.	2016-02-02 17:50:34 -08:00
C. Guy Yarvin	4b92cd2685	Making typed .^ a little less fake.	2016-02-02 11:52:10 -08:00
C. Guy Yarvin	9ff6fe676f	Make ++fork actually build set-shaped things.	2016-01-24 14:05:55 -08:00
C. Guy Yarvin	7b75e647da	Better wiring for find testing.	2016-01-21 11:13:27 -08:00
C. Guy Yarvin	d93f96a21a	ut_find.c compiles, not yet activated.	2016-01-20 17:35:11 -08:00
C. Guy Yarvin	9d9255d870	%fuss entirely shifted to %face.	2016-01-16 16:47:36 -08:00
C. Guy Yarvin	2d4045f3c9	Testing =#.	2016-01-15 17:42:50 -08:00
C. Guy Yarvin	848c891db9	Not compiling, but finished first stage of adding fuss.	2016-01-14 20:37:58 -08:00
C. Guy Yarvin	23273b4d12	Now entirely frog-free.	2016-01-14 01:52:50 -08:00
C. Guy Yarvin	9ed837f415	Slightly more cleansed.	2016-01-14 01:13:01 -08:00
C. Guy Yarvin	45e16630a5	Stash commit; in middle of debugging nest bug.	2016-01-13 17:46:01 -08:00
C. Guy Yarvin	42580bda5c	Burn stuff builds, doesn't work...	2016-01-13 10:06:42 -08:00
C. Guy Yarvin	d52ec5125f	Handling forks trivially; about to make them.	2016-01-11 01:16:38 -08:00
C. Guy Yarvin	4f31be75db	Fully onto frog. Next, delete old %fork.	2016-01-10 21:08:03 -08:00
C. Guy Yarvin	17e1196eb4	Jets use grof. Now ready to apply froqs piecemeal.	2016-01-10 19:56:53 -08:00
C. Guy Yarvin	b86fb544da	Double solid; about to incrementally refrog.	2016-01-10 19:10:47 -08:00
C. Guy Yarvin	921aef5e29	Frog jets installed; still not generating frogs.	2016-01-10 16:27:36 -08:00
C. Guy Yarvin	7f554bf20e	Old seek system eradicated.	2016-01-09 16:22:25 -08:00
C. Guy Yarvin	f5c42e451d	Change ++seek to ++sick.	2016-01-07 16:38:11 -08:00
C. Guy Yarvin	d6d94de3c9	New, non-degenerate ++nost almost works, fails on ++homo.	2015-12-31 02:07:29 -05:00
C. Guy Yarvin	4651852406	Eliminate snubbing.	2015-12-26 06:44:32 -05:00
C. Guy Yarvin	62573101a8	Correct last checkin.	2015-11-28 13:11:09 -08:00
C. Guy Yarvin	df4a161679	About to switch over to new, modern fino.	2015-11-27 15:00:54 -08:00
Joan Torres	012dabaf6a	Add ++skid jet	2015-09-19 10:03:13 -07:00
Joan Torres	dfc529f274	Add ++reap jet	2015-09-16 13:50:36 -07:00
Joan Torres	70b9e5d9c2	Add ++murn jet	2015-09-15 13:59:00 -04:00
Alex Higgins	01faf1fa45	Jet ++xeb	2015-08-27 05:31:10 -05:00
Max G	eb76ec6c4f	rounding modes for rd, rq, rs	2015-08-04 06:00:09 +03:00
Max G	1c5d0d08c4	++lug jet	2015-08-02 00:04:25 +03:00