Raymond Pasco
|
08994156e1
|
Add missing jet for ++rep
(very ghetto)
|
2016-08-10 09:34:43 -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 |
|
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 |
|