27 Commits

Author	SHA1	Message	Date
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
Max G	f92ccb3504	++drg jet	2015-07-31 05:01:20 +03:00
Max G	ac23f4ac70	a bunch of stuff	2015-07-29 23:43:55 +03:00
Max G	24c0a807ab	++rq jets	2015-07-29 19:53:45 +03:00
Max G	6fabd7c565	++rs jets	2015-07-29 18:59:21 +03:00
Max G	05e6a96bd5	++rd jets	2015-07-29 06:56:02 +03:00
Raymond Pasco	a649440ed2	set difference jets	2015-07-02 01:25:13 -04:00
Philip C Monk	9edda1bb73	descriptive names for c files ... fixes #294	2015-06-23 21:29:11 -04:00