Graham Nelson
|
6c7db18ff5
|
Aggregated value compilation code
|
2021-04-10 17:55:28 +01:00 |
|
Graham Nelson
|
650a49c79e
|
Optimised number of K and list of K
|
2021-04-10 14:34:26 +01:00 |
|
Graham Nelson
|
ed6dd127b9
|
Clarified proposition deferral mechanism
|
2021-04-10 00:37:43 +01:00 |
|
Graham Nelson
|
c471ee140e
|
Started in on compiling propositions
|
2021-04-09 10:09:44 +01:00 |
|
Graham Nelson
|
5d4a8ec62e
|
Tidied up atom and schema compilation
|
2021-04-09 00:04:34 +01:00 |
|
Graham Nelson
|
c35ce73b8c
|
Largely abolished compilation modes altogether
|
2021-04-08 15:06:01 +01:00 |
|
Graham Nelson
|
1f701dad6f
|
Beginning on inline invocations
|
2021-04-06 00:19:15 +01:00 |
|
Graham Nelson
|
a4dbc2d8f3
|
Minor tweaks to code block compilation
|
2021-04-05 00:56:48 +01:00 |
|
Graham Nelson
|
32ee52194d
|
Started in on invocations
|
2021-04-03 23:10:19 +01:00 |
|
Graham Nelson
|
0df52ba048
|
Moved invocations to values module
|
2021-04-03 15:02:38 +01:00 |
|
Graham Nelson
|
082ff4ee05
|
Improved closures
|
2021-04-03 14:32:59 +01:00 |
|
Graham Nelson
|
8486fe484e
|
Made kernel functions very slightly faster
|
2021-04-02 19:28:39 +01:00 |
|
Graham Nelson
|
467ae1892c
|
Reorganised local variables
|
2021-04-02 17:33:37 +01:00 |
|
Graham Nelson
|
a8191a9168
|
Improved stack frame handling
|
2021-04-02 00:47:20 +01:00 |
|
Graham Nelson
|
6e5d0b130e
|
Minor improvement on local variable slates
|
2021-03-30 23:32:22 +01:00 |
|
Graham Nelson
|
7c27b94542
|
Finally completed draft of imperative definitions
|
2021-03-29 22:53:01 +01:00 |
|