Commit Graph

52 Commits

Author SHA1 Message Date
Paul Driver
46747b9ce3 shux jet 2018-05-23 15:39:22 -07:00
Paul Driver
83f698ab44 mux jet 2018-05-23 15:13:00 -07: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
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