ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-18 20:31:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'urbit/master' into newbreach

Browse Source 
Conflicts:
	urb/urbit.pill

Generated new pill.
This commit is contained in:
Steven Dee 2014-05-09 00:07:06 +00:00
commit b96267d6d9
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gen164/5/rub.c
View File

@ -16,8 +16,6 @@
u2_atom w, x, y, z; u2_atom w, x, y, z;
u2_atom p, q; u2_atom p, q;
u2_atom m = j2_mbc(Pt1, add)(wir_r, a, u2_met(0, b));
// Compute c and d. // Compute c and d.
{ {
x = u2_rx(wir_r, a); x = u2_rx(wir_r, a);
@ -25,12 +23,6 @@
while ( _0 == j2_mbc(Pt3, cut)(wir_r, _0, x, _1, b) ) { while ( _0 == j2_mbc(Pt3, cut)(wir_r, _0, x, _1, b) ) {
u2_atom y = j2_mbc(Pt1, inc)(wir_r, x); u2_atom y = j2_mbc(Pt1, inc)(wir_r, x);
// Sanity check: crash if decoding more bits than available
if ( u2_yes == j2_mbc(Pt1, gth)(wir_r, x, m)) {
// fprintf(stderr, "[%%rub-hard %d %d %d]\r\n", a, x, m);
return u2_bl_bail(wir_r, c3__exit);
}
u2_rz(wir_r, x); u2_rz(wir_r, x);
x = y; x = y;
} }
@ -85,6 +77,6 @@
*/ */
u2_ho_jet u2_ho_jet
j2_mbj(Pt5, rub)[] = { j2_mbj(Pt5, rub)[] = {
{ ".2", c3__hevy, j2_mb(Pt5, rub), Tier5, u2_none, u2_none }, { ".2", c3__hevy, j2_mb(Pt5, rub), Tier3, u2_none, u2_none },
{ } { }
}; };