Graham Nelson
|
6942400204
|
Completed the code-emission API
|
2021-04-17 15:28:28 +01:00 |
|
Graham Nelson
|
a053adebfc
|
More on emission
|
2021-04-16 21:50:46 +01:00 |
|
Graham Nelson
|
a8ecdcfab2
|
Abolished holding of Inter symbols
|
2021-04-16 09:31:46 +01:00 |
|
Graham Nelson
|
4c2640617a
|
Improved constant emission
|
2021-04-15 22:42:28 +01:00 |
|
Graham Nelson
|
aab471d0ab
|
Began work on Emit
|
2021-04-14 22:57:48 +01:00 |
|
Graham Nelson
|
28a52ebadf
|
Simplified use option compilation
|
2021-04-13 23:23:45 +01:00 |
|
Graham Nelson
|
3f99d77c58
|
Organising stage 4
|
2021-04-12 22:32:27 +01:00 |
|
Graham Nelson
|
3e5107bb90
|
Fixed bug making pipelines and languages invisible in Materials folder
|
2021-04-12 22:30:39 +01:00 |
|
Graham Nelson
|
eec32b0f4b
|
Reduced usage of compilation_unit to a minimum
|
2021-04-12 10:20:09 +01:00 |
|
Graham Nelson
|
fce781beff
|
Moved compilation data to imperative module
|
2021-04-11 21:41:26 +01:00 |
|
Graham Nelson
|
4f9045361b
|
Made jump label storage local in Inter hierarchy
|
2021-04-11 16:42:37 +01:00 |
|
Graham Nelson
|
2c0d5c6dda
|
Added redundant operations optimisation
|
2021-04-11 12:29:07 +01:00 |
|
Graham Nelson
|
84904f4348
|
Moved raw adjectives to assertions
|
2021-04-10 19:15:15 +01:00 |
|
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
|
b425741fef
|
Removed one more compilation mode
|
2021-04-08 10:21:50 +01:00 |
|
Graham Nelson
|
dfe3a4aaee
|
Removed 2 more compilation modes
|
2021-04-07 23:58:07 +01:00 |
|
Graham Nelson
|
14bbcda3ea
|
Removed a further compilation mode
|
2021-04-07 13:31:43 +01:00 |
|
Graham Nelson
|
8bb060c576
|
Removed 6 of the compilation modes
|
2021-04-07 00:34:07 +01:00 |
|
Graham Nelson
|
80e36dc532
|
Completed invocations
|
2021-04-06 14:56:15 +01:00 |
|
Graham Nelson
|
1f701dad6f
|
Beginning on inline invocations
|
2021-04-06 00:19:15 +01:00 |
|
Graham Nelson
|
80504f1bb2
|
Clarified runtime disambiguation of invocations
|
2021-04-05 17:55:34 +01:00 |
|
Graham Nelson
|
a4dbc2d8f3
|
Minor tweaks to code block compilation
|
2021-04-05 00:56:48 +01:00 |
|
Graham Nelson
|
c0a742410b
|
Completed refactor of invocations
|
2021-04-04 13:46:08 +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
|
d23fe29b05
|
Clarified stacked variables, a little
|
2021-03-31 23:28:26 +01:00 |
|
Graham Nelson
|
6e5d0b130e
|
Minor improvement on local variable slates
|
2021-03-30 23:32:22 +01:00 |
|
Graham Nelson
|
ee39beb662
|
Cosmetic improvements
|
2021-03-30 10:50:04 +01:00 |
|
Graham Nelson
|
7c27b94542
|
Finally completed draft of imperative definitions
|
2021-03-29 22:53:01 +01:00 |
|
Graham Nelson
|
1ff736a2a0
|
Updated phrase options
|
2021-03-29 09:18:07 +01:00 |
|
Graham Nelson
|
7b2df20585
|
Improved type data
|
2021-03-28 23:42:22 +01:00 |
|
Graham Nelson
|
6a69f25bef
|
Began move of phrase code
|
2021-03-28 11:47:28 +01:00 |
|
Graham Nelson
|
b21a194644
|
Further work on To... phrases
|
2021-03-27 19:52:35 +00:00 |
|
Graham Nelson
|
6f6737f319
|
Tidied up rule family
|
2021-03-27 15:21:07 +00:00 |
|
Graham Nelson
|
7ca37360b4
|
Tidied up further
|
2021-03-26 23:03:25 +00:00 |
|
Graham Nelson
|
df2f345dad
|
Eliminated ph_usage_data
|
2021-03-26 15:04:34 +00:00 |
|
Graham Nelson
|
217bd4e104
|
Merged the rules families
|
2021-03-26 09:58:50 +00:00 |
|
Graham Nelson
|
1f14f0b155
|
Imperative definition families
|
2021-03-25 23:20:37 +00:00 |
|
Graham Nelson
|
fd34abd418
|
Refactored Definition: X is Y: subtrees
|
2021-03-25 08:46:41 +00:00 |
|
Graham Nelson
|
d41b67bc9e
|
Began refaactor of imperative blocks
|
2021-03-24 12:48:15 +00:00 |
|
Graham Nelson
|
919fd9bc3e
|
Tentative work on imperative nodes
|
2021-03-24 00:20:56 +00:00 |
|