Commit Graph

2648 Commits

Author SHA1 Message Date
Paul Driver
7fc59254e4 slightly improve special sam opcodes 2018-02-22 14:21:33 -08:00
Paul Driver
910154b140 reaping actual bytecodes instead of recompiling 2018-02-22 13:37:00 -08:00
Paul Driver
adb9a4e437 recompiling when reaping solves generator issues 2018-02-22 11:42:29 -08:00
Joseph Bryan
4db7eb4d60 maintains cursors position on %clr 2018-02-21 23:10:41 -05:00
Paul Driver
03ae2dfffc nox_d bumps in appropriate places, remove superfluous while 2018-02-20 13:41:09 -08:00
Paul Driver
fad4db8b66 commenting out and moving around some debugging code, boot is working 2018-02-20 12:57:59 -08:00
Paul Driver
d3bfebdd1a always take in bytecode reap 2018-02-20 12:13:14 -08:00
Paul Driver
6ab1f076ce proper bytecode reaping, fix wish 2018-02-20 11:28:01 -08:00
Paul Driver
98bb18f28c bytecode promotion, small south road fix 2018-02-19 12:13:59 -08:00
Paul Driver
b08cdcf7fc correct offsets for south roads 2018-02-18 15:40:36 -08:00
Paul Driver
dc09b2cf70 fix refcounting bug in do_bump 2018-02-18 14:11:44 -08:00
Paul Driver
b95a663b59 minor improvements to the quote opcode implementation 2018-02-18 13:10:33 -08:00
Paul Driver
e3ca0ad64b renumber opcodes after samc 2018-02-18 12:55:00 -08:00
Paul Driver
3943f3fd95 some debugging convenience, proper handling of non-cons nock 5, fixed memo coded 2018-02-18 12:53:07 -08:00
Paul Driver
2a247cb859 some bugfixes, can compute memoizing fibonacci 2018-02-14 15:56:00 -08:00
Joshua Reagan
fde425fddf
Typo in 4k Nock spec
Ted's correction somehow didn't make it in!

Just to reiterate, however, on typo version of the spec, `#[2 b c]` reduces to b, which clearly isn't right.  I noticed this, complained in urbit-meta, and Ted pointed me to the github discussion.
2018-02-14 13:57:56 -06:00
Paul Driver
f0d1ee8d4f same-as-literal opcodes 2018-02-14 09:18:53 -08:00
Paul Driver
8adc247d48 slam and slat 2018-02-13 14:32:32 -08:00
Paul Driver
10413983ba lit0 and lit1 bytecodes 2018-02-13 14:17:47 -08:00
Paul Driver
a8af4dbfb5 copy-reduced interpreter can run ackermann 2018-02-13 13:54:56 -08:00
Paul Driver
b116b22bc6 retain-bytecode refactor compiles 2018-02-12 15:19:11 -08:00
Paul Driver
3ea0b3c515 stash - finished writing interpreter branches for new retaining opcodes 2018-02-12 13:21:20 -08:00
Paul Driver
945371ae46 i have a new idea... stash 2018-02-07 10:26:06 -08:00
Paul Driver
2b7f5f23b3 in-progress adding general copy elimination 2018-02-06 11:50:14 -08:00
Paul Driver
c87954b4f8 optimized some copy/quot pairs 2018-02-05 17:04:41 -08:00
Paul Driver
a60d2844c1 exorcise c stack from _n_burn 2018-02-05 15:26:17 -08:00
Paul Driver
d50f36bd51 byte version of skip, optimized stack ops 2018-02-05 13:34:11 -08:00
Paul Driver
a8b4012f15 byte versions of frag/kick 2018-02-05 11:20:34 -08:00
Paul Driver
389261be10 try compiling away all fragment axes 2018-02-05 10:27:39 -08:00
Paul Driver
17a166fa83 bytecode interpreter can run nock decrement 2018-02-02 15:28:07 -08:00
Paul Driver
232d2cccf8 fixing compile errors and warnings 2018-02-01 09:21:10 -08:00
Paul Driver
9610d59874 cleanup, comments 2018-02-01 09:04:47 -08:00
Paul Driver
9a5bd10871 wish, some bugfixes, numbered the opcodes 2018-01-31 15:10:58 -08:00
Paul Driver
62dc052760 think-o in stack hints, clarify case 6 in compiler 2018-01-31 09:36:35 -08:00
Paul Driver
8038366b52 fix memo compilation, implement several hint opcodes 2018-01-31 09:24:56 -08:00
Paul Driver
9c7f855eee kick and tick 2018-01-30 18:15:55 -08:00
Paul Driver
0e3180aea0 stash - writing it down 2018-01-30 16:27:04 -08:00
Ted Blackman
5c5374c1fd
Merge pull request #918 from urbit/helptext
help text: added -N and removed -L
2018-01-29 12:06:21 -08:00
Ted Blackman
c1725e2cf2 Prevent Ames from sending and receiving remote packets if remote networking is disabled 2018-01-29 12:03:37 -08:00
Paul Driver
d214d00e89 slightly odd syntax on _song_atom 2018-01-29 10:52:47 -08:00
Ted Blackman
87e250e90f help text: added -N and removed -L 2018-01-29 10:21:46 -08:00
Paul Driver
665e0899ad revert unification redesign, memoize-by-pointer for large equality traverses 2018-01-29 10:16:20 -08:00
Paul Driver
70f6cd4df5 unification redesign -- initial recursive version 2018-01-26 11:49:56 -08:00
Paul Driver
674af1842d whoops, left these unused macros in 2018-01-24 15:42:23 -08:00
Paul Driver
3be6b258b0 be more unified about unification (and fix a crash) 2018-01-24 15:27:21 -08:00
Paul Driver
ed41d43a94 use explicit stack in jam 2018-01-24 13:16:44 -08:00
Paul Driver
e7a7db6b84 check heads first in sing and friends 2018-01-24 13:14:56 -08:00
C. Guy Yarvin
cd5b3503b4 Fix typo pointed out by Ted. 2018-01-24 11:13:28 -08:00
C. Guy Yarvin
8ed991462b Preliminary Nock 4 spec. 2018-01-23 18:56:59 -08:00
Paul Driver
714d7e7608 use explicit stack in unifying equals 2018-01-23 17:22:27 -08:00