Commit Graph

557 Commits

Author SHA1 Message Date
johncburnham
9f648ca4c4 added a few comments 2014-06-12 10:03:34 -07:00
Anton Dyudin
1e2e1174e2 Merge branch 'nextbreach' of https://github.com/urbit/urbit into nextbreach 2014-06-11 20:16:45 -07:00
pcmonk
3b83e88fa6 Added set and map union and intersection (uni,int) 2014-06-11 20:14:50 -07:00
pcmonk
f597bf009d Added map merge (mer:by) 2014-06-11 11:18:43 -07:00
pcmonk
437d7a9146 Added set merge to nextbreach. 2014-06-11 10:12:10 -07:00
C. Guy Yarvin
120760563c Various fixes and improvements. 2014-06-11 07:06:36 -07:00
pcmonk
6d2b9e07bb Added set merge (mer:in) 2014-06-10 20:02:20 -07:00
pcmonk
79b4512479 Updated chat. Also added +-tur to ++by. 2014-06-09 18:45:19 -07:00
C. Guy Yarvin
df8ae2368d More %eyre fixes. 2014-06-09 13:09:14 -07:00
Anton Dyudin
230610e2f1 slight ++mink refactor 2014-06-08 20:22:11 -07:00
C. Guy Yarvin
82a9ce1211 Merge branch 'nextbreach' of github.com:urbit/urbit into nextbreach
Conflicts:
	urb/urbit.pill
	urb/zod/arvo/hoon.hoon
2014-06-07 19:56:38 -07:00
C. Guy Yarvin
ba59c5bffc Various fixes and improvements. 2014-06-07 11:36:31 -07:00
Anton Dyudin
eb79a666a9 ?@ refactoring 2014-06-06 18:09:44 -07:00
C. Guy Yarvin
3d1b20cfdd Apply actual type checks in arvo core. 2014-06-06 18:03:36 -07:00
Gavin Whelan
d221f092cb Merge branch 'nextbreach' of https://github.com/urbit/urbit into nextbreach 2014-06-06 18:07:12 -04:00
Jared Hance
6e0235f2b5 Merge branch 'master' into nextbreach
Conflicts:
	urb/urbit.pill
	urb/zod/arvo/hoon.hoon
2014-06-06 15:38:38 -04:00
Gavin Whelan
32e8bb7d96 merge fixes
Conflicts:
	urb/zod/arvo/clay.hoon
2014-06-06 15:03:24 -04:00
C. Guy Yarvin
13a0a1f397 About to activate full card typechecking. 2014-06-06 04:33:26 -07:00
C. Guy Yarvin
14301c9beb Visible Arvo. 2014-06-05 20:41:47 -07:00
C. Guy Yarvin
6befd64507 More vane restructuring. 2014-06-05 15:14:49 -07:00
Jared Hance
8a15ab7685 Fix bug in mul:fl. 2014-06-05 12:50:07 -04:00
Jared Hance
b624f81443 Fix serious bug with div:fl. 2014-06-05 10:57:47 -04:00
Luke Patmore
62af41619d Whitespace: the invisible killer 2014-06-04 19:46:12 -07:00
Luke Patmore
b637564dc2 Merge branch 'master' into nextbreach
Conflicts:
	urb/urbit.pill
2014-06-04 15:54:21 -07:00
Jared Hance
4c2fd59789 Add function for @u -> @rd 2014-06-04 15:16:15 -04:00
Jared Hance
95c9309f78 Finish fixing the floating point parser. 2014-06-04 14:44:02 -04:00
Jared Hance
1fde43b3d5 Fix floating point parsing.
Not completely finished, but it can parse numbers not in the range
(-1,1)
2014-06-04 13:56:09 -04:00
Jared Hance
5f979c9346 Various fixes to Fl Points.
Printing/parsing still pretty broken.
2014-06-04 11:12:33 -04:00
C. Guy Yarvin
6e00dd5ee3 Tighten types on some vanes. 2014-06-04 03:40:09 -07:00
C. Guy Yarvin
9217a16707 Merge branch 'master' of github.com:urbit/urbit
Conflicts:
	urb/urbit.pill
2014-06-03 11:25:12 -07:00
Jared Hance
4dd161d76c Add comparison gates for floating points. 2014-06-03 14:15:22 -04:00
C. Guy Yarvin
96eabe0316 Merge branch 'master' of github.com:urbit/urbit 2014-06-03 10:46:02 -07:00
Jared Hance
6a391f9edb Merge branch 'newbreach'
Conflicts:
	urb/urbit.pill
2014-06-03 13:38:33 -04:00
Jared Hance
0ed3dc73a7 Add primitives for printing floating point values. 2014-06-03 13:09:40 -04:00
Jared Hance
4530b15d94 Add div:rd, div:fl, and jet.
Also fix rnd:fl (by fixing rne:fl).
2014-06-03 11:41:25 -04:00
Jared Hance
a1d5bfcb08 Give atoms more specific odors. 2014-06-03 10:07:08 -04:00
C. Guy Yarvin
0df8aeeb67 Some vane cleanups, etc. 2014-06-02 22:07:32 -07:00
Jared Hance
531d4eb0ad Signed exponent for floating points.
Yay, now parsing something like 0.x is possible in the parser.
(Previously fails due to underflow). 0.0x is still impossible due to
parser limitations, so use (div:rd .~0.x .~10) when div is actually
implemented).
2014-06-02 16:09:00 -04:00
Jared Hance
3fafc59b50 Jet sub:rd. 2014-06-02 15:13:58 -04:00
Jared Hance
c8b6830aca Kill stray newline. 2014-06-02 14:58:48 -04:00
Jared Hance
24bf5b7e5b Add sub:rd and sub:fl.
Also a fix in exp:rd.
2014-06-02 14:54:47 -04:00
Luke Patmore
0930a9eb77 Added jet linkage for co_emco, co_oxco, and co_roco. Added templates for co jets. 2014-06-02 11:48:16 -07:00
Jared Hance
5e22eccb3b Jet add:rd.
Also fix some rounding in add:fl that was found through jet test mode.
2014-06-02 12:43:26 -04:00
Jared Hance
2e1a4c0f2e Implement add:fl and add:rd. 2014-06-02 11:51:08 -04:00
Jared Hance
652db79338 Merge branch 'newbreach' into ieee
Conflicts:
	urb/urbit.pill
2014-06-02 11:07:57 -04:00
Jared Hance
840cca444a Jet mul:rd.
Running in test mode for now.
2014-06-02 11:03:48 -04:00
John Dulin
6cb0150ae1 Merge branch 'master' of https://github.com/urbit/urbit 2014-06-01 18:31:41 -07:00
John Dulin
c037d463cc Commented set, map, jar, jug, queue arms. Added jet tag to ++ fac 2014-06-01 18:31:32 -07:00
C. Guy Yarvin
20c3964c14 Merge branch 'master' of github.com:urbit/urbit 2014-06-01 14:07:38 -07:00
C. Guy Yarvin
ea54293ee2 Improved eyre/gall integration. 2014-06-01 14:07:13 -07:00
johncburnham
e080ee108d added some comments 2014-05-31 18:41:27 -07:00
C. Guy Yarvin
4db07a816d More pre-breach fixes. 2014-05-31 13:22:49 -07:00
C. Guy Yarvin
32295555c5 Scry interface fixes. 2014-05-31 12:40:02 -07:00
C. Guy Yarvin
733ff7f0c6 Fill in some stubs in %ford. 2014-05-31 05:52:06 -07:00
~hatteb-mitlyd
733e1b0a8f Merge remote-tracking branch 'origin/newbreach'
Update protocol for breach.

Conflicts:
	f/trac.c
	urb/urbit.pill
	urb/zod/arvo/zuse.hoon
	v/raft.c
2014-05-30 17:56:12 -07:00
Gavin Whelan
cded6c902d Merge various changes 2014-05-30 16:13:44 -07:00
Gavin Whelan
6177ebbb26 Merge and minor merge changes 2014-05-30 15:59:58 -07:00
C. Guy Yarvin
dc4e9a41ca Changed some interfaces. 2014-05-30 15:51:31 -07:00
C. Guy Yarvin
a087b13417 Unbreak :reset. 2014-05-30 15:04:20 -07:00
C. Guy Yarvin
7c1cad4672 Revert "Remove unused arms from arvo external core."
This reverts commit b754c2aeadbc8028a2e7989066dbbf08d2f293ef.
2014-05-30 14:51:28 -07:00
C. Guy Yarvin
eb2f4a560b Remove unused arms from arvo external core. 2014-05-30 14:45:41 -07:00
C. Guy Yarvin
6455b41363 Slow things commented out. 2014-05-30 13:57:49 -07:00
johncburnham
6aac6caf9c added glyph mnemonics 2014-05-30 13:52:35 -07:00
Jared Hance
86b871e395 Fix multiply. Seems to work.
Probably won't test too much more. It will be easier to test once there
is a jet.
2014-05-30 15:34:43 -04:00
Jared Hance
33f7d69414 Fix rounding.
Use "round to closest" mode, w/ rounding to even when same distance
(which is a rare case anyway)
2014-05-30 14:25:12 -04:00
Jared Hance
faf2e910f4 Add floating point parsing.
Floating point parses for doubles correctly and can be easily
implemented for the other types of floats (algorithm is general with
respect to the precision of the significand).

Some half-baked gates are included, like bey, which is unfortunate. I'm
not sure if an equivalent to bey exists somewhere. These won't be used
anywhere with actual math, though.

Warning: Don't try to print floats. It doesn't work and will crash or
something. Its not really implemented, because parsing is actually
fairly nontrivial mathwise. Parsing represents the problem

x.y -> r2^e, find (r, e) given (x, y)

whereas printing is the problem

r2^e -> x.y,  find (x, y) given (r, e)

both of which are annoying to solve.
2014-05-30 11:04:49 -04:00
Gavin Whelan
f8c2775bde Merge 2014-05-29 12:29:55 -07:00
C. Guy Yarvin
61988d932e Clean build without debug printfs. 2014-05-29 12:06:08 -07:00
Gavin Whelan
fa518297f1 Merging 2014-05-29 11:52:49 -07:00
C. Guy Yarvin
b18c327392 Some optimizations. 2014-05-29 11:46:43 -07:00
C. Guy Yarvin
2e5acd50da More good stuff. 2014-05-28 16:43:30 -07:00
Gavin Whelan
9913150cf7 Lore to crash on 0 2014-05-28 13:19:49 -07:00
Gavin Whelan
0082afad57 Merge & new pill 2014-05-28 12:37:04 -07:00
Gavin Whelan
a242cea2b2 Merging merge 2014-05-28 12:26:16 -07:00
C. Guy Yarvin
907f7ff112 Various fixes and improvements. 2014-05-28 01:57:00 -07:00
C. Guy Yarvin
ff310aeca1 Merge branch 'newbreach' of github.com:urbit/urbit into newbreach
Conflicts:
	urb/urbit.pill
2014-05-27 22:45:37 -07:00
C. Guy Yarvin
3d5d6d4b0b Various fixes and improvements. 2014-05-27 22:44:18 -07:00
Luke Patmore
60b3fe1b97 Added interpreter hint for scag jet. 2014-05-27 10:22:21 -07:00
C. Guy Yarvin
26c6c5868b %gall's vane shell compiles. 2014-05-27 02:47:19 -07:00
C. Guy Yarvin
8f598f10f4 hoon.hoon restored from last bad commit. 2014-05-26 21:40:22 -07:00
C. Guy Yarvin
a51f595c4c duct system now type-consistent but not verified. 2014-05-26 15:59:16 -07:00
C. Guy Yarvin
3581f69eec meta-cards work. 2014-05-26 14:16:17 -07:00
C. Guy Yarvin
53cd9e3a23 More instruments. 2014-05-26 14:01:07 -07:00
C. Guy Yarvin
ce0a07d426 Merge branch 'newbreach' of github.com:urbit/urbit into newbreach
Conflicts:
	urb/urbit.pill
2014-05-26 13:46:38 -07:00
C. Guy Yarvin
b5377d196b %meta ready to test. 2014-05-26 13:43:40 -07:00
Luke Patmore
96fddd8b96 Added interpreter hint for slag jet. 2014-05-26 13:33:17 -07:00
C. Guy Yarvin
2f414a5413 New calling convention, rough version. 2014-05-26 12:38:37 -07:00
C. Guy Yarvin
078c3b1d0a About to switch over to typed cards. 2014-05-26 11:59:21 -07:00
C. Guy Yarvin
bf2535d0b3 Worked around bizarre !: bug. 2014-05-25 21:32:37 -07:00
C. Guy Yarvin
a30ebd2cd6 About to attack bizarre ++spec bug. 2014-05-25 20:51:39 -07:00
C. Guy Yarvin
0182cc896a Ready to move to typed cards. 2014-05-25 13:35:07 -07:00
C. Guy Yarvin
41e4005ee7 More cleanups. 2014-05-24 15:34:00 -07:00
C. Guy Yarvin
35c9188f5f More arvo cleanups. 2014-05-24 15:02:28 -07:00
C. Guy Yarvin
dc57141156 More arvo2 tweaks. 2014-05-23 15:04:50 -07:00
C. Guy Yarvin
8e6a722382 More kernel card handling. 2014-05-23 14:58:12 -07:00
C. Guy Yarvin
80052a1726 Tweaks. 2014-05-23 14:06:07 -07:00
C. Guy Yarvin
ee96b2e62e New move format. 2014-05-23 13:46:43 -07:00
C. Guy Yarvin
d38df6ab85 Hack for consoles. 2014-05-22 15:21:42 -07:00
C. Guy Yarvin
248894e271 More writ elimination. 2014-05-22 14:48:47 -07:00
C. Guy Yarvin
13c4dd3416 More interface changes. 2014-05-22 11:36:37 -07:00
C. Guy Yarvin
afce7bc639 Modified some arvo interfaces. 2014-05-22 10:39:51 -07:00
C. Guy Yarvin
fe69371100 Stop passing the writ in. 2014-05-21 13:33:15 -07:00
C. Guy Yarvin
dd33d2a71a Eliminate last remaining uses of ++writ. 2014-05-21 13:12:46 -07:00
C. Guy Yarvin
5845c0b2bd Fix a bad checkin. 2014-05-21 09:57:54 -07:00
C. Guy Yarvin
c83a14dd0b newbreach before vane interface changes. 2014-05-21 09:32:24 -07:00
John Dulin
49cde8eea4 Moved api helper arms into zuse. Added factorial ("fac") and Uppercase ("cuss") arms to hoon.hoon. 2014-05-20 22:43:21 -07:00
C. Guy Yarvin
67bc1d59da Merge branch 'newbreach' of github.com:urbit/urbit into newbreach
Conflicts:
	urb/zod/arvo/hoon.hoon
2014-05-20 10:36:10 -07:00
C. Guy Yarvin
563b28514a Various fixes and improvements. 2014-05-20 10:33:59 -07:00
~hatteb-mitlyd
1fe27a175f jet mule. 2014-05-18 16:16:01 -07:00
~hatteb-mitlyd
2a665d6c84 Merge remote-tracking branch 'urbit/master' into newbreach
Conflicts:
	urb/urbit.pill

pill created from fakezod
2014-05-16 15:04:40 -07:00
pcmonk
31663a39ce Fixing line width. 2014-05-15 14:29:11 -07:00
pcmonk
054dc5e010 Allow unicode in comments 2014-05-15 13:58:26 -07:00
~hatteb-mitlyd
f578e9b92c it is in fact sane for %ta and %tas to have numbers
Fixes #137
2014-05-14 16:58:43 -07:00
C. Guy Yarvin
a0d290abc7 Merge branch 'fordgall' into newbreach
Conflicts:
	urb/urbit.pill
	urb/zod/arvo/ford.hoon
	urb/zod/main/bin/begin.hoon
2014-05-13 17:25:59 -07:00
~hatteb-mitlyd
c2b1290234 Merge remote-tracking branch 'urbit/master' into newbreach
Conflicts:
	urb/urbit.pill

Generate new pill.
2014-05-09 13:26:22 -07:00
~hatteb-mitlyd
d59003e4e2 Revert "Revert "fix rub to crash gracefully upon decoding invalid data""
This reverts commit 8c87faf180e00c582b01f7c4e82b77b17933596a.

The previous use-after-free fix appears to alleviate the crash "caused"
by this code.
2014-05-09 12:45:41 -07:00
C. Guy Yarvin
d1299681a2 Improved %reload. 2014-05-08 17:47:34 -07:00
C. Guy Yarvin
e3a33cfe87 It's better to commit. 2014-05-08 17:34:57 -07:00
Steven Dee
7265a29a6b Merge remote-tracking branch 'urbit/master' into newbreach
Conflicts:
	urb/urbit.pill

Generated new pill.
2014-05-09 00:07:06 +00:00
~hatteb-mitlyd
a518c857bb Revert "fix rub to crash gracefully upon decoding invalid data"
This reverts commit ae2f94b01848dd760bb5c912e3010689f4a86d61.

Some odd crash is happening on boot...
2014-05-08 16:56:02 -07:00
Steve Dee
21d00550ed Merge remote-tracking branch 'urbit/master' into newbreach
Conflicts:
	.gitignore
	Makefile
	urb/urbit.pill

Took both bpt and ed25519, and generated a new pill starting from master's.
2014-05-08 14:53:12 -07:00
Steve Dee
f9adde24ee curve25519 -> hoon.hoon 2014-05-08 14:43:55 -07:00
Steve Dee
d1263592ba Fix ga api 2014-05-08 14:41:33 -07:00
~hatteb-mitlyd
7e80f0dfda fix rub to crash gracefully upon decoding invalid data
if we exceed the number of available bits, crash.
2014-05-08 10:55:31 -07:00
Steve Dee
ebe3658412 Incorporate feedback on ++ga 2014-05-06 17:25:07 -07:00
~hatteb-mitlyd
78544486c3 add xeb for no particular reason 2014-05-03 13:16:18 -07:00
johncburnham
6ebf16f2ff changing v:ne broke things, moved funct. to ++urle 2014-05-02 19:22:46 -07:00
johncburnham
ea24c0aef7 fixed v:ne 2014-05-02 15:14:56 -07:00
johncburnham
14be7d52a5 sigh 2014-05-01 23:42:44 -07:00
johncburnham
d81633c44f minor nitpick 2014-05-01 21:17:49 -07:00
johncburnham
465f22a918 added ++fil and ++swap 2014-05-01 21:16:40 -07:00
C. Guy Yarvin
fa46bfba1b More fordgall. 2014-05-01 16:33:15 -07:00
Steve Dee
1759228a56 fort/firs -> pen/pin 2014-04-30 16:36:17 -07:00
C. Guy Yarvin
30475d3c11 Toward ska. 2014-04-30 15:15:04 -07:00
~hatteb-mitlyd
b132b73315 Merge remote-tracking branch 'urbit/master' into newbreach
Conflicts:
	urb/urbit.pill

Create a new pill.
2014-04-30 14:02:14 -07:00
C. Guy Yarvin
77fe1c1d6e About to try scry again. 2014-04-30 13:58:32 -07:00
~hatteb-mitlyd
758e1607f8 more ed work 2014-04-30 12:59:44 -07:00
Gavin Whelan
b2cbe6e8f5 Removing unused function fade 2014-04-30 11:26:47 -07:00
C. Guy Yarvin
37f12524ad New scry. 2014-04-30 10:33:50 -07:00
johncburnham
b1072d7380 for steve xoxoxox 2014-04-29 22:05:57 -07:00
johncburnham
54da18639a found and fixed a bug in ++shan 2014-04-29 21:35:21 -07:00
Steve Dee
ff4b3d877c Merge branch 'master' into newbreach
Conflicts:
	urb/urbit.pill
	urb/zod/arvo/zuse.hoon
2014-04-29 17:43:30 -07:00
Steve Dee
8921c4bc27 I type two spaces before I type two spaces
And then I type two more
2014-04-29 17:38:44 -07:00
~hatteb-mitlyd
7c9d6a2e51 have puck bail for seeds larger than 32 bytes
also add size-odors
2014-04-29 17:34:55 -07:00
C. Guy Yarvin
12fffaab52 Merge branch 'master' of github.com:urbit/urbit 2014-04-28 15:24:52 -07:00
C. Guy Yarvin
b979188071 Typed cards. 2014-04-28 15:24:32 -07:00
johncburnham
e0b74d84e7 but really 2014-04-27 16:26:29 -07:00
johncburnham
1a55cc84f7 delete printf 2014-04-27 16:25:33 -07:00
johncburnham
994a99a130 added ++shan (sha-1) and ++not (binary not) 2014-04-27 16:19:58 -07:00
Steve Dee
77b65f5ab4 Merge branch 'master' into newbreach
Conflicts:
	urb/urbit.pill
	urb/zod/arvo/ames.hoon
2014-04-25 18:39:29 -07:00
Steve Dee
2b514c1204 Elaborate 2014-04-25 13:30:09 -07:00
Steve Dee
81d7543b24 Down, not across 2014-04-25 13:23:18 -07:00
C. Guy Yarvin
2c3c4c8b1d Fix ames timer to actually work. 2014-04-23 10:02:36 -07:00
Steve Dee
d50809b420 Merge branch 'master' into newbreach
Conflicts:
	urb/zod/arvo/ames.hoon
	v/sist.c
2014-04-21 19:06:16 -07:00
C. Guy Yarvin
507f006ba4 Jar and jug. 2014-04-21 15:25:35 -07:00
C. Guy Yarvin
37aeaa7d7d Fix previous commit. 2014-04-21 10:22:16 -07:00
C. Guy Yarvin
5e5303496f Login and stuff. 2014-04-21 10:02:09 -07:00
Steve Dee
9864c4d114 |+ instead of |= 2014-04-20 17:39:00 -07:00
Steve Dee
90099f7849 Simplify aesc core structure
This makes ++en and ++de dramatically faster.
2014-04-18 18:33:56 -07:00
Steve Dee
a17cf499bc AES decryption jet
++ix remains unjetted. There's no function that directly lines up
with it in rijndael.h, and you should almost always be using ++en
and ++in rather than touching ++be directly anyway.

Also, take the jets live.
2014-04-18 16:08:31 -07:00
Steve Dee
dc5ea5a556 Jetted en and ex
You'll note that ex involves more endianness twiddling. This is
unfortunate, but en is exactly as stupid as you'd hope it would be,
so I'm going to call it okay.

Also, fixed ex. In particular, (ex:aesc 0) now agrees with the C's
output. Our bad.
2014-04-18 14:58:51 -07:00
Steve Dee
df6edc8619 WIP jetted AES
be:aesc jet appears to be working.
2014-04-17 18:56:47 -07:00
~hatteb-mitlyd
128c995506 working sign:ed jet 2014-04-16 20:28:39 -07:00
Steve Dee
c8655dbeca Merge branch 'master' into newbreach
Took master's pill.

Conflicts:
	Makefile
	urb/urbit.pill
2014-04-16 10:53:50 -07:00
C. Guy Yarvin
2e0dbf2ecf Merge branch 'master' of github.com:urbit/urbit 2014-04-15 18:36:43 -07:00
C. Guy Yarvin
f60a3e31b2 Eyre console stuff. 2014-04-15 18:35:25 -07:00
Steve Dee
680b666026 Generate tree diffs, comment out jamfile umph 2014-04-15 18:28:38 -07:00
Steve Dee
69ef62338b Apply tree diffs 2014-04-15 18:28:38 -07:00
C. Guy Yarvin
c899e40277 Merge branch 'master' of github.com:urbit/urbit 2014-04-15 17:49:22 -07:00
C. Guy Yarvin
7db0bbf04b Add @ui. 2014-04-15 17:49:11 -07:00
Steve Dee
93193477cc Don't generate diffs we can't apply 2014-04-15 17:43:15 -07:00
Steve Dee
1d347ede31 Tree edit 2014-04-15 16:47:57 -07:00
Steve Dee
79e34e3929 Map union jet 2014-04-15 13:07:11 -07:00
C. Guy Yarvin
20c6d005b3 Clean up requests from dead connections. 2014-04-14 11:01:18 -07:00
~hatteb-mitlyd
e0dfb10b42 veri jet skeleton, still not working 2014-04-12 19:59:02 -07:00
~hatteb-mitlyd
dac62b87e2 sort-of fix jets for Ed25519
puck:ed is correct for at least the single test-point i tried.

sign:ed is still wrong.
2014-04-11 17:17:39 -07:00
~hatteb-mitlyd
a0762ef8c8 first hack at sign:ed jet 2014-04-10 18:05:59 -07:00
Gavin Whelan
2860413be3 Fixing breakage from reformatting 2014-04-09 16:25:11 -07:00
Gavin Whelan
a1cb94b1e4 hoon regex 2014-04-09 13:35:28 -07:00
Steve Dee
0d901a8608 Trailing whitespace
Repeat after me:

    find urb/zod/ -type f -name *.hoon | xargs sed -i '' -e 's/[[:space:]]*$//'
2014-04-08 17:34:29 -07:00
C. Guy Yarvin
2676054930 Merge branch 'master' of github.com:urbit/urbit
Conflicts:
	urb/zod/arvo/eyre.hoon
	urb/zod/arvo/hoon.hoon
2014-04-08 15:28:36 -07:00
C. Guy Yarvin
deaa14d27a Various fixes and improvements. 2014-04-08 15:26:01 -07:00
Steve Dee
977a7fc702 Trailing whitespace
You guys. The default git precommit hook checks for this. You can enable
it by copying and pasting this command into a shell in your Urbit
checkout:

    cp .git/hooks/precommit{.sample,}
2014-04-07 10:19:02 -07:00
C. Guy Yarvin
0879da2286 Final template tweaks. 2014-04-05 14:25:16 -07:00
C. Guy Yarvin
08c3078647 "Fix" script and style non-escaping. 2014-04-05 12:04:05 -07:00
C. Guy Yarvin
bd21f15624 Merge branch 'master' of github.com:urbit/urbit 2014-04-04 15:36:21 -07:00
C. Guy Yarvin
80b6707039 More template tweaks. 2014-04-04 15:35:59 -07:00
johncburnham
bea2dd0d55 added some comments to hoon.hoon 2014-04-04 03:00:26 -07:00
C. Guy Yarvin
774beceac3 Template language. 2014-04-02 18:06:45 -07:00
C. Guy Yarvin
891f026bbd Fix a bad checkin. 2014-03-26 18:06:11 -07:00
C. Guy Yarvin
a6dbaf7584 Some html and syntax tweaks. 2014-03-25 17:48:22 -07:00
C. Guy Yarvin
619666ee35 Some syntax changes. 2014-03-25 10:46:30 -07:00
C. Guy Yarvin
3cf9dc3ba2 Check in a bunch of web stuff. 2014-03-19 18:05:42 -07:00
Steve Dee
a6b43c81ad Trailing whitespace, hoon level, part 2 2014-03-14 10:50:12 -07:00
C. Guy Yarvin
13055e7dff Fix dor. Duh. 2014-03-13 17:49:31 -07:00
C. Guy Yarvin
cdf290587f Merge branch 'master' of github.com:urbit/urbit 2014-03-12 12:44:27 -07:00
C. Guy Yarvin
67e6ed51b9 Add ++wain. 2014-03-12 12:44:08 -07:00
Gavin Whelan
d8af5d339b Merge branch 'master' of github.com:urbit/urbit 2014-03-07 16:38:19 -08:00
Gavin Whelan
e8b3d3faac Redefined pfix, sfix in terms of comb, cleaned some variable names. 2014-03-07 16:36:43 -08:00
C. Guy Yarvin
c1570f1272 Add ++zing. 2014-03-07 16:31:36 -08:00
C. Guy Yarvin
08a932474f Fix another ++dish bug. 2014-03-05 11:00:27 -08:00
C. Guy Yarvin
65c709223a Fix an infinite loop in ++dish (prettyprinting). 2014-03-04 11:38:14 -08:00
C. Guy Yarvin
395ec1d285 Don't automatically span-escape URLs. 2014-03-03 14:47:59 -08:00
C. Guy Yarvin
a0654094b1 Revert to previous hoon and zuse. 2014-03-03 12:39:48 -08:00
C. Guy Yarvin
78645ae116 Some HTTP client fixes. 2014-03-03 11:51:35 -08:00
C. Guy Yarvin
26f4cbaf81 Working HTTP client. 2014-03-02 14:31:03 -08:00
C. Guy Yarvin
65fe1417e2 Some memory palliatives. 2014-02-14 17:35:22 -08:00
C. Guy Yarvin
012396a4b1 Various fixes and improvements. 2014-02-14 11:29:03 -08:00
C. Guy Yarvin
dad137f068 Sacrifice a %bull bug. 2014-02-10 21:34:24 -08:00
C. Guy Yarvin
7395ceb49e Various fixes and improvements. 2014-02-10 09:50:20 -08:00
C. Guy Yarvin
d937b964b2 Better checkin. 2014-01-27 14:24:27 -08:00
C. Guy Yarvin
cb04b91c94 Various fixes and improvements. 2014-01-27 11:09:56 -08:00
C. Guy Yarvin
a8ad473cf6 Merge branch 'master' of github.com:urbit/urbit 2014-01-27 10:49:41 -08:00
C. Guy Yarvin
7d2f7d3dfe Various fixes etc. 2014-01-27 10:49:26 -08:00
Steve Dee
62ac351101 Generalize rol and ror 2014-01-24 14:09:34 -08:00
Steve Dee
6e34c98472 Revert "Add signed modulus"
This reverts commits 5fa624d27e4e6ae3b9d268b02ce79b712598caff and
81cc1d5632415f2b4e661f754b324a9b66875198.
2014-01-23 14:53:48 -08:00
Steven Dee
3c5e24ecaf Remove unnecessary :si in si 2014-01-22 18:16:22 -05:00
Steven Dee
da9432bf3f Add signed modulus 2014-01-22 17:18:40 -05:00
Steve Dee
d1c84b878a Make shal truncate ruz to len 2014-01-21 15:38:28 -08:00
Steve Dee
6aa1ca3c73 Get at the length field of sha-512
This lets us take the hash of old-world strings with a bunch of trailing
zero bytes.
2014-01-21 15:03:30 -08:00
Steve Dee
e156c00d93 sha-512 hoon 2014-01-20 18:22:04 -08:00
C. Guy Yarvin
39e5411c04 Various fixes and improvements. 2014-01-20 13:50:54 -08:00
C. Guy Yarvin
d0e5caf069 Just some stuff. 2014-01-15 22:43:56 -08:00
C. Guy Yarvin
e4bbd4c21d Last checkin on funbreach. 2014-01-06 12:37:42 -08:00
C. Guy Yarvin
98e6396258 New vane version detection. 2014-01-05 18:10:37 -08:00
C. Guy Yarvin
37c32ed8b7 New load/come interface, part a. 2014-01-05 17:52:37 -08:00
C. Guy Yarvin
5fa1531701 Ready for a cross-generation reset. 2014-01-05 16:36:29 -08:00
C. Guy Yarvin
59815373bd Refactor peek. 2014-01-05 16:02:34 -08:00
C. Guy Yarvin
c3e0a0394c Some arvo cleanups. 2014-01-05 15:38:34 -08:00
C. Guy Yarvin
37c4885cfb Reinvented reset. 2014-01-05 14:10:49 -08:00
C. Guy Yarvin
1a7c8bf182 Removed unused runes. 2014-01-04 20:11:15 -08:00
C. Guy Yarvin
7a02512e38 dtpt and dtsg are gone. 2014-01-04 19:56:33 -08:00
C. Guy Yarvin
bba36c8222 cnbc and cnhx now actually gone. 2014-01-04 19:31:24 -08:00
C. Guy Yarvin
298384b3a9 About to remove cnbc and cnhx. 2014-01-04 19:18:06 -08:00
C. Guy Yarvin
8c1eb9bace zpsm is now fully sifted. 2014-01-04 18:05:33 -08:00
C. Guy Yarvin
e122c912d2 %zpwt, language version gating. 2014-01-04 17:15:52 -08:00
C. Guy Yarvin
9136204453 Hint refactoring. 2014-01-04 14:57:44 -08:00
C. Guy Yarvin
1b50d77eeb Various fixes and improvements. 2014-01-03 23:28:16 -08:00
C. Guy Yarvin
2567a6f529 Preparing to install wt?z. 2014-01-03 18:59:56 -08:00
C. Guy Yarvin
00939d2d38 New structure of ++wing. 2014-01-01 12:47:18 -08:00
C. Guy Yarvin
1cc029333e About to remove wtfs. 2013-12-31 22:48:21 -08:00
C. Guy Yarvin
e0f545ee03 Preparing to redo wts. 2013-12-31 12:11:16 -08:00
C. Guy Yarvin
9f2f953637 New model bull. 2013-12-31 11:30:37 -08:00
C. Guy Yarvin
880f0a64a5 Support :reset path. 2013-12-26 21:56:57 -05:00
C. Guy Yarvin
99a82ccb17 Eliminate %wtcn in favor of %wtts. 2013-12-26 21:43:25 -05:00
C. Guy Yarvin
33eb41cdfe Various %bull-related updates. 2013-12-26 12:12:07 -05:00
C. Guy Yarvin
389cb3d6b8 Eliminate sloppy fork resolution. 2013-12-23 15:49:15 -05:00
C. Guy Yarvin
b449146d9f A little bit of %bull. 2013-12-22 15:32:30 -08:00
C. Guy Yarvin
450e90a391 Remove all traces of snap. Add ktdt for grooming. 2013-12-20 23:46:49 -08:00
C. Guy Yarvin
afdc627168 Funky, thy work is done. 2013-12-20 18:35:33 -08:00
C. Guy Yarvin
6d65557fe0 ktts evolution complete. 2013-12-20 17:02:26 -08:00
C. Guy Yarvin
f69e8d91f2 ktzp is no more. 2013-12-20 16:59:03 -08:00
C. Guy Yarvin
eba0a1b1c0 Double verified; about to change togas. 2013-12-20 14:26:23 -08:00
C. Guy Yarvin
4f9b7173f9 On the way to funk. 2013-12-20 09:34:13 -08:00
C. Guy Yarvin
dd067182a3 %brhx is prepared to replace %brtr. 2013-12-17 17:47:20 -08:00
C. Guy Yarvin
3bb91d91da I hate having a detached HEAD. 2013-12-17 11:13:44 -08:00
C. Guy Yarvin
9f3efa799f Various hoon improvements. 2013-12-16 20:48:40 -08:00
C. Guy Yarvin
5e4b12b5d9 Reversed %bush and %reed. 2013-12-16 10:53:22 -08:00
C. Guy Yarvin
29f40e633d %bc* complete with new twig and tile. 2013-12-15 18:44:44 -08:00
C. Guy Yarvin
9c59feaffd More cleanup. 2013-12-15 17:15:04 -08:00
C. Guy Yarvin
25bddfb829 %bcts to %bczp. Double verified. 2013-12-15 15:40:44 -08:00
C. Guy Yarvin
6474f37de2 Replace %base with %axil. Double verified. 2013-12-15 12:52:24 -08:00
C. Guy Yarvin
4a2646c776 Fully done with cnts. Verified. 2013-12-15 01:48:16 -08:00
C. Guy Yarvin
776172e6bb Almost all the way on cnts. 2013-12-15 01:02:05 -08:00
C. Guy Yarvin
77a92e91bc Verified - more cnts. 2013-12-15 00:42:52 -08:00
C. Guy Yarvin
23252fdda5 Double verified, more hxts. 2013-12-15 00:33:53 -08:00
C. Guy Yarvin
39c0b79b3f Double verified, early hxts. 2013-12-15 00:23:23 -08:00
C. Guy Yarvin
cd22d4e185 Double verified step. 2013-12-14 23:07:57 -08:00
C. Guy Yarvin
138f886cc0 Double verified step. 2013-12-14 22:46:41 -08:00
C. Guy Yarvin
23617f7ffe Double verified step. 2013-12-14 22:27:48 -08:00
C. Guy Yarvin
eacde68d55 Double verified step. 2013-12-14 22:12:58 -08:00
C. Guy Yarvin
a31ccc3f2b Double verified step. 2013-12-14 21:52:07 -08:00
C. Guy Yarvin
6ae443870f Double verified step. 2013-12-14 21:42:27 -08:00
C. Guy Yarvin
dae64f9bdc Double verified step. 2013-12-14 21:27:28 -08:00
C. Guy Yarvin
cbe6f50d93 Double verified step. 2013-12-14 21:12:37 -08:00
C. Guy Yarvin
ee09de098d Double verified step. 2013-12-14 21:07:33 -08:00
C. Guy Yarvin
59eb629d83 Double verified stage. 2013-12-14 19:39:43 -08:00
C. Guy Yarvin
9387c2b7d8 Double verified step. 2013-12-14 19:04:52 -08:00
C. Guy Yarvin
df4eaab383 Breach changed kthp. 2013-12-13 13:11:26 -08:00
C. Guy Yarvin
ec24937615 Breach stage point 1. 2013-12-13 12:52:06 -08:00
C. Guy Yarvin
484a151ddb Breach branch now self-compiles. 2013-12-13 11:21:48 -08:00
C. Guy Yarvin
b8f5a76d3d Basically a stash. 2013-12-13 08:59:09 -08:00
C. Guy Yarvin
9d9d32122e Some intermediate progress. 2013-12-12 17:44:15 -08:00
C. Guy Yarvin
6b4ca8b9af Merge branch 'master' of github.com:urbit/urbit
Conflicts:
	urb/zod/arvo/hoon.hoon
2013-12-08 14:41:27 -08:00
C. Guy Yarvin
1e8ce4846a Various fixes and improvements. 2013-12-08 14:40:16 -08:00
Steven Dee
4025898428 Ye olde whitespace cleanup
Run using
  find . -type f | xargs sed -i '\s\+$'

And not even glanced at. It's fine. Don't worry about it.
2013-12-08 21:23:03 +00:00
C. Guy Yarvin
341c7e2a12 Fix more printing/parsing issues. 2013-12-07 18:55:03 -08:00
C. Guy Yarvin
5c7fe4e61e Correct some printing issues. 2013-12-07 17:10:14 -08:00
C. Guy Yarvin
8e6940ebb4 Add ~_ for type diagnosis. 2013-12-04 14:30:09 -08:00
C. Guy Yarvin
4a10ba5003 Parse ~?. 2013-12-03 11:06:43 -08:00
Steven Dee
301b609992 Really fix yawn
This does what d959ba1 failed to do. We always need to consider whether
the year we're jumping to is a leap year or not.

Really fixes #87.
2013-11-25 21:23:36 +00:00
Steven Dee
268c8294ad Fix quadricentennial leap years in yawn
Every quadcentury, there is a leap year. That century has 25 leap years
in it, rather than the usual 24.

Fixes #87.
2013-11-24 18:18:52 +00:00
C. Guy Yarvin
5e3502ca9f Add tall bracket mode for tall nock. 2013-11-22 12:22:14 -08:00
johncburnham
6cb3ba1778 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
ab1cfc58ab Minor nitpicky change to the Nock spec 2013-11-13 19:18:09 -08:00
Dan Haffey
f1b1fc258e Fix escaping in ++wood. 2013-11-10 01:38:11 -08:00
C. Guy Yarvin
a636535044 Proper %numb. 2013-11-04 15:44:45 -08:00
Curtis Yarvin
46de001fa6 More broken :tach. 2013-11-04 22:13:12 +00:00
Curtis Yarvin
5455429895 Fix a typo in hoon.hoon 2013-11-03 19:56:40 +00:00
C. Guy Yarvin
ff906e5b59 New chat ready for testing. 2013-11-02 18:29:28 -07:00