Oliver Schneider
|
59d858a0b1
|
refactor away the closures and Event enum
|
2016-06-09 10:56:23 +02:00 |
|
Oliver Schneider
|
2178961262
|
improve the docs of ConstantId
|
2016-06-08 12:35:15 +02:00 |
|
Oliver Schneider
|
240f0c0dd6
|
improve fn argument naming
|
2016-06-08 12:30:25 +02:00 |
|
Oliver Schneider
|
3868a62713
|
put ConstantId's common fields into a struct
|
2016-06-08 11:46:37 +02:00 |
|
Oliver Schneider
|
3de30e33f5
|
no more function pointers
|
2016-06-08 11:34:56 +02:00 |
|
Oliver Schneider
|
8b25bc8a9a
|
directly push stackframes for constants when they are encountered
|
2016-06-08 11:11:33 +02:00 |
|
Oliver Schneider
|
6b939bbd79
|
rebase leftovers
|
2016-06-08 11:11:08 +02:00 |
|
Oliver Schneider
|
f42be6db54
|
move load_mir to the global eval context
|
2016-06-08 09:41:25 +02:00 |
|
Oliver Schneider
|
4d44a970a3
|
move some methods from FnEvalContext to GlobalEvalContext
|
2016-06-08 09:38:59 +02:00 |
|
Oliver Schneider
|
4c833a54d2
|
globally cache statics and promoteds
|
2016-06-03 17:41:36 +02:00 |
|
Oliver Schneider
|
4743842821
|
move constants stack to stackframe
|
2016-06-03 17:08:51 +02:00 |
|
Oliver Schneider
|
02eed64cc0
|
update documentation
|
2016-06-03 17:04:08 +02:00 |
|
Oliver Schneider
|
346560b318
|
factor out the statement index into the stackframe
|
2016-06-03 16:57:47 +02:00 |
|
Oliver Schneider
|
f995db9ffb
|
store the current block in the frame
|
2016-06-03 16:51:51 +02:00 |
|
Oliver Schneider
|
cc1ca73f57
|
jit interpretation of constants
|
2016-06-03 15:48:56 +02:00 |
|
Oliver Schneider
|
05f829cc9f
|
merge the three stacks in the interpreter
|
2016-06-02 18:21:32 +02:00 |
|
Oliver Schneider
|
6ac64f19af
|
also step through promoteds, constants and statics
|
2016-06-02 17:05:17 +02:00 |
|
Oliver Schneider
|
5211178377
|
note that not all literal items are function pointers
|
2016-06-01 19:20:23 +02:00 |
|
Oliver Schneider
|
0c269a500c
|
rename iterator module to stepper
|
2016-06-01 19:17:18 +02:00 |
|
Oliver Schneider
|
2405c81c65
|
stepwise interpretation
|
2016-06-01 18:50:20 +02:00 |
|