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
Paul Driver
d214d00e89
slightly odd syntax on _song_atom
2018-01-29 10:52:47 -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
e7a7db6b84
check heads first in sing and friends
2018-01-24 13:14:56 -08:00
Paul Driver
714d7e7608
use explicit stack in unifying equals
2018-01-23 17:22:27 -08:00
C. Guy Yarvin
98c28965cf
Clean up %H.
2017-12-06 21:18:23 -08:00
C. Guy Yarvin
7cebac8144
Merge remote-tracking branch 'origin/retrofit' into retrofit-redefault
2017-12-06 16:38:40 -08:00
C. Guy Yarvin
62b20b56ee
Support long ~$ symbols.
2017-12-06 16:33:24 -08:00
Ted Blackman
677a97371b
New pill URL format and search through old commits
2017-12-05 17:59:20 -08:00
Ted Blackman
9a4d7fb2f4
Merge pull request #898 from joemfb/pill-s-err
...
checks HTTP response code when fetching pill
2017-11-29 17:00:40 -08:00
Joseph Bryan
3a782bdff9
checks HTTP response code when fetching pill
2017-11-18 21:43:23 -05:00
C. Guy Yarvin
5c2a4b0445
Merge branch 'retrofit' of https://github.com/urbit/urbit into retrofit
2017-11-17 12:49:21 -08:00
cgyarvin
3b1906bd2f
Merge pull request #897 from frodwith/hshfix
...
Update arm_u state correctly in _ch_buck_trim
2017-11-17 10:59:46 -08:00
C. Guy Yarvin
fafc897b62
Improved diganostics.
2017-11-16 18:35:26 -08:00
C. Guy Yarvin
f59222bba8
Fix reclaim logic bug.
2017-11-16 18:31:09 -08:00
C. Guy Yarvin
8c20c3dcdf
Larger slab allocations make profiling work.
2017-11-16 11:44:52 -08:00
C. Guy Yarvin
fee009a40e
Merge branch 'retrofit' of https://github.com/urbit/urbit into retrofit
2017-11-15 17:09:11 -08:00
C. Guy Yarvin
70a4dcf448
Cleanups and inlining.
2017-11-15 17:09:00 -08:00
Paul Driver
c284c800bf
Update arm_u state correctly in _ch_buck_trim
...
Previously, trimming the penultimate value from a hash bucket would
leave arm_u in an inconsistent state: mug_w would be pointing at
a key-value pair in a node, but arm_u.buc_o and arm_u.inx_w were
not updated to reflect this. Correspondingly, a rare edge case could
occur where said key-value pair would not be marked cold (due to
buc_o), which is a semantic error.
2017-11-15 10:00:11 -08:00
cgyarvin
e202076ef3
Merge pull request #896 from frodwith/hshfix
...
reset inx_w after finishing a bucket
2017-11-14 16:00:41 -08:00
C. Guy Yarvin
8d5ac23ab2
Minor debugging cleanups.
2017-11-14 15:24:42 -08:00
Paul Driver
b65b23cbcb
reset inx_w after finishing a bucket
2017-11-14 13:38:02 -08:00
C. Guy Yarvin
806ee33e5f
Actually works this time.
2017-11-13 23:18:18 -08:00
C. Guy Yarvin
3732697153
Hashtable merge passes basic live reclaim test.
2017-11-13 22:49:34 -08:00
C. Guy Yarvin
fc53b339a4
Working with some debug stuff.
2017-11-13 20:35:34 -08:00
C. Guy Yarvin
3d2ed11bb7
Merge branch 'retrofit-cash' into retrofit
2017-11-13 09:49:37 -08:00
C. Guy Yarvin
be936e5356
Remove unnecessary printf.
2017-11-13 09:49:24 -08:00
C. Guy Yarvin
0b31bad54e
Correct and disable memory tracking.
2017-11-13 09:06:10 -08:00
C. Guy Yarvin
25564c3f5f
Merge remote-tracking branch 'belisarius222/hash-cash-rebase' into retrofit-cash
2017-11-12 17:51:27 -08:00