urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 20:02:51 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,874 Commits 768 Branches 10 Tags 215 MiB
ee4d43f045
Commit Graph

489 Commits

Author SHA1 Message Date
C. Guy Yarvin
2f42a419ea Ford, with some comments to save memory. 2014-07-25 09:26:12 -07:00
C. Guy Yarvin
faf33d012b Ford compiles - still needs some syntax. 2014-07-24 13:29:16 -07:00
C. Guy Yarvin
f9e53c2541 Merge branch 'master' of github.com:urbit/urbit 2014-07-24 11:16:50 -07:00
C. Guy Yarvin
96e2eef2b2 Fix some indents. 2014-07-24 11:16:39 -07:00
C. Guy Yarvin
20c5c1d5a0 Code complete on ford. 2014-07-23 16:23:53 -07:00
Anton Dyudin
7e50755029 Restructured raws/rads:og for =^ result order, added /=pals= %ames .^ 2014-07-23 14:01:52 -07:00
Jared Hance
4e6e0e79eb Add +-got to ++by. 2014-07-22 10:10:01 -04:00
C. Guy Yarvin
2b5e57de2d Replace ++logo with ++mark to match doc. 2014-07-21 15:14:52 -07:00
C. Guy Yarvin
ac488f6225 We are very close to the memory limit on :solid! 2014-07-18 19:45:10 -07:00
C. Guy Yarvin
925ae8ccb7 Merge branch 'master' of github.com:urbit/urbit 2014-07-18 17:51:37 -07:00
C. Guy Yarvin
79b91ebd7a New ford skeleton; some hoon cleanups 2014-07-18 17:51:22 -07:00
pcmonk
dd7400682b Merge branch 'eyre-stuff' 
Conflicts:
	urb/urbit.pill
 2014-07-17 16:16:28 -07:00
C. Guy Yarvin
f3e3eb01e0 Preparing to integrate new ford. 2014-07-17 13:56:08 -07:00
pcmonk
20574f69f7 more work on eyre-stuff -- compiles 2014-07-16 19:10:13 -07:00
C. Guy Yarvin
b9b6d522b9 Merge branch 'master' of github.com:urbit/urbit 
Conflicts:
	urb/urbit.pill
 2014-07-16 11:56:15 -07:00
C. Guy Yarvin
5b8844207e Minor tweaks. 2014-07-16 11:54:53 -07:00
Jared Hance
e086185603 Add ++reap. 
Makes constructing lists for testing alot nicer.
 2014-07-14 11:59:16 -04:00
pcmonk
0966b543c8 Merge branch 'master' of https://github.com/urbit/urbit 
Conflicts:
	urb/urbit.pill
 2014-07-09 14:44:54 -07:00
pcmonk
2c15e0c0bf %send effect does not need to drop through anymore 2014-07-09 14:42:08 -07:00
C. Guy Yarvin
f9236fe2c8 Various fixes and improvements. 2014-07-09 00:37:47 -07:00
C. Guy Yarvin
95eb7baca5 Various fixes and improvements. 2014-07-08 20:00:30 -07:00
pcmonk
a55d4d1413 fixed %nice, %mean over %ames 2014-07-07 17:32:58 -07:00
C. Guy Yarvin
4387713100 Eliminate old XML abbreviations. 2014-07-06 15:16:20 -07:00
C. Guy Yarvin
b0f6e59f66 Merge branch 'master' of github.com:urbit/urbit 2014-07-05 14:27:08 -07:00
C. Guy Yarvin
35b48e0cb9 Various fixes and improvements. 2014-07-05 14:26:35 -07:00
Anton Dyudin
b44c6ff94c ++inde indented block combinator no longer produces optimistic hair 2014-07-05 14:02:52 -07:00
C. Guy Yarvin
f9f5f7c29d Merge branch 'master' of github.com:urbit/urbit 
Conflicts:
	urb/urbit.pill
 2014-07-03 13:06:52 -07:00
Jared Hance
1f5ca20c6e Revive ++ja. 2014-07-03 14:07:21 -04:00
C. Guy Yarvin
f86e80187a Fix json reparser. 2014-07-02 19:56:33 -07:00
pcmonk
f0d41ea9d6 progress in chat, added reverse of sup.hid 2014-07-02 18:53:53 -07:00
Jared Hance
06c0b54d1b Various fixes and improvements. 
++murn is better.

++zing now works like ++welp.
 2014-07-02 15:44:37 -04:00
Jared Hance
38ce666012 Add ++murn. 
Maybe turn
 2014-07-02 11:11:23 -04:00
C. Guy Yarvin
7f2a8deb61 Merge branch 'master' of github.com:urbit/urbit 2014-07-01 13:35:36 -07:00
C. Guy Yarvin
a857ff6445 Merge branch 'master' of github.com:urbit/urbit 
Conflicts:
	urb/urbit.pill
 2014-07-01 13:34:06 -07:00
Jared Hance
119841460f Add a bit of info to ++unce. 2014-07-01 14:33:27 -04:00
C. Guy Yarvin
2c527bf51a Various fixes and improvements. 2014-06-30 18:15:56 -07:00
Anton Dyudin
2c2ce8767e Merge branch 'master' of https://github.com/urbit/urbit 
Conflicts:
	urb/zod/arvo/hoon.hoon
 2014-06-30 13:09:16 -07:00
Anton Dyudin
acbab5c7f4 Indentation 2014-06-30 13:07:56 -07:00
Jared Hance
efc0aa0c70 More flpt bug fixes 2014-06-30 14:25:36 -04:00
Jared Hance
01a148f852 More floating point bugfixes. 
Also enable FTZ, a SSE instruction... For now at least.
 2014-06-30 12:24:32 -04:00
Jared Hance
40672c8b08 Fix decrement underflow in flpt. 2014-06-30 11:44:58 -04:00
Jared Hance
ac9feb7542 Fix add:rd & sub:rd jet failure. 2014-06-30 11:23:46 -04:00
C. Guy Yarvin
c0758b3704 Merge branch 'master' of github.com:urbit/urbit 
Conflicts:
	urb/urbit.pill
 2014-06-29 20:03:15 -07:00
Anton Dyudin
6271940610 Merge branch 'master' of https://github.com/urbit/urbit 2014-06-28 16:50:57 -07:00
Anton Dyudin
c13fa17fe6 Partially fixed reel/roll. Alas, while (reel wall~["ab" "cd"] welp) now compiles it loses type info, because passing wet gates to wet gates makes nest:ut sad 2014-06-28 16:47:49 -07:00
Jared Hance
5d5d892f39 Simple fix. 
Printer still doesn't work for 0.0x
 2014-06-27 16:17:01 -04:00
Jared Hance
54090fbcb9 Exponentials, yay? 2014-06-27 15:24:42 -04:00
C. Guy Yarvin
5b01c2c96d Merge branch 'master' of github.com:urbit/urbit 2014-06-27 10:52:42 -07:00
Jared Hance
1a546b7ac3 Various fixes and improvements. 2014-06-27 13:44:56 -04:00
Jared Hance
1f232d9bb4 Working zero stuff. 2014-06-27 12:44:32 -04:00
Jared Hance
f97ee71a2c Further dismantle the printer. 
Now can print stuff like .~inf, .~nan, etc
 2014-06-27 11:20:59 -04:00
Jared Hance
ee18ef9196 Hack r-co. 
I think this is the best way to do this...
 2014-06-27 10:11:07 -04:00
Jared Hance
fb202f68eb Lots of FlP goodness. 
Printing almost works, NaN/Inf stuff implemented but untested...

Just need to chop off the first char of the printed output
 2014-06-27 09:39:41 -04:00
C. Guy Yarvin
28e63d7a36 Trailing whitespace and stuff. 2014-06-26 21:02:05 -07:00
~hatteb-mitlyd
a20584f185 Merge remote-tracking branch 'origin/soqdoqblok' 
Conflicts:
	urb/urbit.pill
	urb/zod/arvo/zuse.hoon
 2014-06-26 12:51:01 -07:00
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