urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-12 10:29:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,649 Commits 768 Branches 10 Tags 215 MiB
a0d2c80364
Commit Graph

434 Commits

Author SHA1 Message Date
Jared Hance
c242663ce4 I think I fixed most of the obvious FP issues. 2014-06-26 15:25:40 -04:00
Jared Hance
e06693d93b Fix sub:rd. 2014-06-26 15:25:33 -04:00
Jared Hance
382237f2c0 Fix mul:rd bug 
Not sure how this fixes anything but w/e
 2014-06-26 15:25:23 -04:00
~hatteb-mitlyd
348f11255b Merge remote-tracking branch 'urbit/newnextbreach' 
this obsoletes newnextbreach, nextbreach, newbreach, et cetera.

Conflicts:
	gen164/4/in.c
	urb/zod/arvo/hoon.hoon
 2014-06-25 13:39:48 -07:00
Jared Hance
ced77641d1 Revert bogus changes. 2014-06-25 16:24:01 -04:00
Jared Hance
da03c25ad8 Merge branch 'nextbreach' into newnextbreach 
Conflicts:
	urb/urbit.pill
 2014-06-25 11:23:49 -04:00
Jared Hance
10d881a5e8 Add simple state-based functions to og. 
Useful for pure random generation that doesn't need to be
cryptographic....
 2014-06-25 11:16:28 -04:00
C. Guy Yarvin
418be101ef Various fixes and improvements. 2014-06-24 15:00:07 -07:00
C. Guy Yarvin
fee99966cb Fix irritating %logo bug. 2014-06-24 12:13:26 -07:00
C. Guy Yarvin
f939071722 Various fixes and improvements. 2014-06-24 10:32:59 -07:00
C. Guy Yarvin
23186f9a24 Some renaming. 2014-06-21 22:49:10 -07:00
C. Guy Yarvin
e9b898e330 Remove uses of old mold. 2014-06-21 22:20:42 -07:00
C. Guy Yarvin
bfd17aae6c Reversed toss order. 2014-06-21 11:42:34 -07:00
C. Guy Yarvin
5a1963fd52 Intermediate point in vane protocol change. 2014-06-19 22:49:39 -07:00
Anton Dyudin
af273d894c Sail doqblok, with full +-%*; escapes 2014-06-19 16:11:17 -07:00
C. Guy Yarvin
d6b1ecde47 Various fixes and improvements. 2014-06-19 11:53:16 -07:00
Anton Dyudin
766afec656 Merge nextbreach into soqdoqblok 2014-06-18 20:56:17 -07:00
Anton Dyudin
239b65aabc ;xml:soqblok get. 2014-06-18 20:30:43 -07:00
C. Guy Yarvin
7b095d47c8 Today's modifications. 2014-06-18 20:27:36 -07:00
Anton Dyudin
109d6d821b Doq blok roqd, inde doqd 2014-06-18 03:01:17 -07:00
Anton Dyudin
cc97179b83 Soq block rocked but undocced, doq block in the poq if the zoq deemeth so. 2014-06-17 04:17:01 -07:00
C. Guy Yarvin
4160de92b3 Merge branch 'nextbreach' of github.com:urbit/urbit into nextbreach 
Conflicts:
	urb/urbit.pill
 2014-06-17 01:01:26 -07:00
C. Guy Yarvin
925789ca61 Gall now basically aligned with its own doc. 2014-06-17 00:57:24 -07:00
pcmonk
a2b2e1e397 Added map turn from master (tur:by) 2014-06-16 20:11:15 -07:00
C. Guy Yarvin
39b72cbb5a App model 1.1 at least compiles. 2014-06-16 18:33:31 -07:00
Anton Dyudin
18204b1d8d Fixed choice of characters for href/id/class in ++sail: update . to /, @ to #, / to . 2014-06-16 12:34:37 -07:00
C. Guy Yarvin
4ccea74016 Various fixes and improvements. 2014-06-13 17:38:51 -07:00
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