Danny Yoo
|
b8971417b2
|
fixing type of list*; kanren wasn't running properly
|
2012-02-20 14:00:42 -05:00 |
|
Danny Yoo
|
656825be9e
|
cadddr
|
2012-02-20 13:36:05 -05:00 |
|
Danny Yoo
|
6f36854ee7
|
correcting typos in the fast path detection
|
2012-02-20 12:18:31 -05:00 |
|
Danny Yoo
|
a0b708c799
|
adding more of the c*r functions
|
2012-02-19 21:27:07 -05:00 |
|
Danny Yoo
|
21631c6959
|
fixing issue 83: javascript-translated functions didn't release the exclusive lock upon call. Whoops.
|
2012-02-18 23:03:57 -05:00 |
|
Danny Yoo
|
00ce581fbd
|
fixing uses of not-a-procedure
|
2012-02-18 22:45:40 -05:00 |
|
Danny Yoo
|
11021542bf
|
Merge remote-tracking branch 'origin/master'
Conflicts:
version.rkt
|
2012-02-18 22:37:27 -05:00 |
|
Danny Yoo
|
e41c505cb1
|
correcting bug with cadr: wrong contract type and implementation
|
2012-02-18 22:36:13 -05:00 |
|
Danny Yoo
|
1b1d285297
|
correcting bug with cadr: wrong contract type
|
2012-02-18 22:35:40 -05:00 |
|
Danny Yoo
|
97dd749a52
|
trying to avoid the numeric tower for addition and subtraction
|
2012-02-17 14:25:40 -05:00 |
|
Danny Yoo
|
b5bff99169
|
adding fast and slow paths for adding and subtracting
|
2012-02-17 14:09:22 -05:00 |
|
Danny Yoo
|
4cf6865862
|
fixing isList fo the negative case. Oops.
|
2012-02-16 23:44:42 -05:00 |
|
Danny Yoo
|
7b31b119a5
|
trying to make simple numerics a bit faster
|
2012-02-16 16:56:27 -05:00 |
|
Danny Yoo
|
97c11cffba
|
fixing small bug where current-continuation-marks was shifting when it's not necessary
|
2012-02-16 16:19:47 -05:00 |
|
Danny Yoo
|
a13274d63b
|
trying to reduce size of code some more
|
2012-02-15 17:24:22 -05:00 |
|
Danny Yoo
|
bf9305d5c9
|
trying to fix some of the verbose open coding
|
2012-02-15 17:03:21 -05:00 |
|
Danny Yoo
|
71c9e4ba87
|
lazy instantiation of the marks
|
2012-02-15 16:28:11 -05:00 |
|
Danny Yoo
|
59dd18976f
|
we're violating continuation marks for some reason.
|
2012-02-13 23:49:54 -05:00 |
|
Danny Yoo
|
0b404e7243
|
fixing typo with Base64
|
2012-02-13 13:57:29 -05:00 |
|
Danny Yoo
|
2bfc143b45
|
resources as base64
|
2012-02-13 13:34:01 -05:00 |
|
Danny Yoo
|
de0055bf00
|
removing one level of indirection in constructing vectors
|
2012-02-13 11:16:22 -05:00 |
|
Danny Yoo
|
b7ca54058c
|
more micro-optimizations
|
2012-02-10 14:57:34 -05:00 |
|
Danny Yoo
|
97d8848e01
|
changing makevector so it must take in the elements
|
2012-02-10 14:46:15 -05:00 |
|
Danny Yoo
|
d70db16956
|
continuing to optimize
|
2012-02-10 14:24:42 -05:00 |
|
Danny Yoo
|
6d035504af
|
trying to fix benchmark for list-length, which is failing badly
|
2012-02-10 13:27:26 -05:00 |
|
Danny Yoo
|
e6877c3e19
|
grabbing an old version of the read library from beyond the grave of the moby probject
|
2012-01-27 14:47:48 -05:00 |
|
Danny Yoo
|
e80c54fc75
|
base64 encoding stuff
|
2012-01-26 17:04:41 -05:00 |
|
Danny Yoo
|
f6b2132973
|
reducing the number of symbol construction; we were making a symbol per structure instance, which isn't smart.
|
2012-01-19 15:26:22 -05:00 |
|
Danny Yoo
|
9ed5898c1f
|
trying to reduce allocation to shave off a second from iron puzzle
|
2012-01-19 15:23:06 -05:00 |
|
Danny Yoo
|
a23e117b6d
|
trying to reduce explicit for loop in structure construction
|
2012-01-19 15:07:48 -05:00 |
|
Danny Yoo
|
db21f6b5ab
|
changing these away from apply, since some js browsers may break if the list grows too large
|
2012-01-17 12:24:24 -05:00 |
|
Danny Yoo
|
729e61cfae
|
unsafe-car, unsafe-cdr
|
2012-01-10 10:51:13 -05:00 |
|
Danny Yoo
|
976b6112f1
|
Merge branch 'with-exclusive-lock'
Conflicts:
js-assembler/runtime-src/runtime.js
version.rkt
web-world/main.rkt
|
2011-12-13 15:31:04 -05:00 |
|
Danny Yoo
|
68de55b170
|
adding references to the static resources
|
2011-12-12 12:34:01 -05:00 |
|
Danny Yoo
|
1baa212d02
|
defensive: when the machine fails during an internal call, try getting the environment and control in a good state.
|
2011-12-09 22:59:15 -05:00 |
|
Danny Yoo
|
bc5204f28e
|
fixing typos
|
2011-12-09 22:36:58 -05:00 |
|
Danny Yoo
|
ac499e24f6
|
locking internalCall
|
2011-12-09 22:31:36 -05:00 |
|
Danny Yoo
|
4573dc701e
|
Trying to introduce mechanism for locking the evaluator, but I'm still running into several messy issues.
|
2011-12-09 22:02:04 -05:00 |
|
Danny Yoo
|
23d4c27c2b
|
There is something very suspicious happening with makeRestartFunction where the env and control are being munged, but I haven't been able to trace where yet.
|
2011-12-09 20:40:10 -05:00 |
|
Danny Yoo
|
7f0fe7516b
|
adding a lock around the trampoline
|
2011-12-09 18:50:16 -05:00 |
|
Danny Yoo
|
13db47eac8
|
correcting raise to raiseFailure, to get better error stack messages
|
2011-12-08 17:17:50 -05:00 |
|
Danny Yoo
|
666fa04243
|
turning off pre-emptive trampolining because of a very ugly bug. No energy to figure out how to fix it, so I'm turning it off for now.
|
2011-12-04 20:47:00 -05:00 |
|
Danny Yoo
|
31ac428276
|
trying to get the exclusive lock code right
|
2011-12-04 20:40:44 -05:00 |
|
Danny Yoo
|
46f314ea35
|
chasing a double-release
|
2011-12-04 20:04:03 -05:00 |
|
Danny Yoo
|
ccdb0c88f6
|
before
|
2011-12-04 19:00:56 -05:00 |
|
Danny Yoo
|
6904222c69
|
starting to do something
|
2011-12-04 18:43:25 -05:00 |
|
Danny Yoo
|
efb978b52f
|
correcting typos
|
2011-12-04 18:05:31 -05:00 |
|
Danny Yoo
|
fa5cb557ba
|
trying to get the exclusive lock logic in place
|
2011-12-04 18:03:53 -05:00 |
|
Danny Yoo
|
e57f5d29d9
|
trying to get infrastructure on exclusive locks
|
2011-12-04 17:43:31 -05:00 |
|
Danny Yoo
|
76300eaa85
|
corrected id callsBeforeTrampoline to cbt
|
2011-12-04 17:41:36 -05:00 |
|