Commit Graph

383 Commits

Author SHA1 Message Date
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