Graham Nelson
|
cbb3fcb0bf
|
Moved synoptic activities into codegen
|
2021-04-28 09:14:20 +01:00 |
|
Graham Nelson
|
551dc487cb
|
Better fix for horizon issue in queue
|
2021-04-27 08:15:07 +01:00 |
|
Graham Nelson
|
03b09ac3f4
|
Queued rule and GPR compilation, fixing a timing problem
|
2021-04-26 23:31:08 +01:00 |
|
Graham Nelson
|
6b5c77b6eb
|
But now working
|
2021-04-25 00:36:54 +01:00 |
|
Graham Nelson
|
e29869ab7f
|
Promising, yet not at all working, responses system
|
2021-04-24 23:35:10 +01:00 |
|
Graham Nelson
|
d71f3bdf50
|
Simplified text substitutions
|
2021-04-23 00:32:20 +01:00 |
|
Graham Nelson
|
70b17e3237
|
Handled box quotations outside literal text system
|
2021-04-22 07:19:25 +01:00 |
|
Graham Nelson
|
f40c55ba53
|
Improved list literals
|
2021-04-21 10:36:22 +01:00 |
|
Graham Nelson
|
22ef7b5e51
|
Clarified interventions
|
2021-04-20 10:34:54 +01:00 |
|
Graham Nelson
|
f933e689f5
|
Modernised banner and fundamental constants
|
2021-04-19 09:17:32 +01:00 |
|
Graham Nelson
|
27e678d03d
|
Clarified Hierarchy code
|
2021-04-18 22:42:39 +01:00 |
|
Graham Nelson
|
6942400204
|
Completed the code-emission API
|
2021-04-17 15:28:28 +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
|
eec32b0f4b
|
Reduced usage of compilation_unit to a minimum
|
2021-04-12 10:20:09 +01:00 |
|
Graham Nelson
|
2c0d5c6dda
|
Added redundant operations optimisation
|
2021-04-11 12:29:07 +01:00 |
|
Graham Nelson
|
ed6dd127b9
|
Clarified proposition deferral mechanism
|
2021-04-10 00:37:43 +01:00 |
|
Graham Nelson
|
5d4a8ec62e
|
Tidied up atom and schema compilation
|
2021-04-09 00:04:34 +01:00 |
|
Graham Nelson
|
b425741fef
|
Removed one more compilation mode
|
2021-04-08 10:21:50 +01:00 |
|
Graham Nelson
|
8bb060c576
|
Removed 6 of the compilation modes
|
2021-04-07 00:34:07 +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
|
c0a742410b
|
Completed refactor of invocations
|
2021-04-04 13:46:08 +01:00 |
|
Graham Nelson
|
082ff4ee05
|
Improved closures
|
2021-04-03 14:32:59 +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
|
ee39beb662
|
Cosmetic improvements
|
2021-03-30 10:50:04 +01:00 |
|
Graham Nelson
|
1ff736a2a0
|
Updated phrase options
|
2021-03-29 09:18:07 +01:00 |
|
Graham Nelson
|
6a69f25bef
|
Began move of phrase code
|
2021-03-28 11:47:28 +01:00 |
|
Graham Nelson
|
6f6737f319
|
Tidied up rule family
|
2021-03-27 15:21:07 +00:00 |
|
Graham Nelson
|
217bd4e104
|
Merged the rules families
|
2021-03-26 09:58:50 +00:00 |
|
Graham Nelson
|
fd34abd418
|
Refactored Definition: X is Y: subtrees
|
2021-03-25 08:46:41 +00:00 |
|
Graham Nelson
|
919fd9bc3e
|
Tentative work on imperative nodes
|
2021-03-24 00:20:56 +00:00 |
|
Graham Nelson
|
9c0d8a0c63
|
Improved focus and outcomes
|
2021-03-23 00:08:57 +00:00 |
|
Graham Nelson
|
13458a5137
|
Finished on rulebooks for now
|
2021-03-22 10:38:19 +00:00 |
|
Graham Nelson
|
51d1afce08
|
Some progress on rulebooks amid fever
|
2021-03-21 21:56:46 +00:00 |
|
Graham Nelson
|
2800e4dd6d
|
Started in on rules
|
2021-03-20 00:08:32 +00:00 |
|
Graham Nelson
|
3f73e2b1c6
|
Completed if module at last
|
2021-03-19 14:43:02 +00:00 |
|
Graham Nelson
|
52eebfcb9b
|
Completed overhaul of CGLs
|
2021-03-18 13:38:20 +00:00 |
|
Graham Nelson
|
f89a30378d
|
Some tidying of CGLs
|
2021-03-17 00:18:19 +00:00 |
|
Graham Nelson
|
d72b2de626
|
Completed refactor of CGs
|
2021-03-16 00:25:37 +00:00 |
|
Graham Nelson
|
f28a210e0f
|
Completed work on Understand... sentences
|
2021-03-15 00:09:17 +00:00 |
|
Graham Nelson
|
7bb00a274c
|
Beginning work on command grammar
|
2021-03-14 13:42:15 +00:00 |
|
Graham Nelson
|
27da81f8f8
|
Much tidying up
|
2021-03-13 01:02:50 +00:00 |
|
Graham Nelson
|
df10fd520e
|
New AP parser mostly working now
|
2021-03-12 01:20:29 +00:00 |
|
Graham Nelson
|
b00c787b90
|
Completed better ANL parser
|
2021-03-11 13:34:23 +00:00 |
|
Graham Nelson
|
9216b0bbbe
|
Not sure this is getting anywhere
|
2021-03-10 22:45:43 +00:00 |
|
Graham Nelson
|
4f5368c426
|
Rejigged action name list
|
2021-03-09 09:19:08 +00:00 |
|
Graham Nelson
|
bd6c45bca7
|
Descending the lip of the crater that is the action pattern parser
|
2021-03-07 21:37:59 +00:00 |
|
Graham Nelson
|
fb31d57883
|
Further strides through the swampland of actions
|
2021-03-06 16:35:47 +00:00 |
|
Graham Nelson
|
6fa0f5381b
|
Introduced explicit_action
|
2021-03-05 16:20:09 +00:00 |
|
Graham Nelson
|
d8f428e863
|
Fully adopted action pattern clauses
|
2021-03-04 00:01:02 +00:00 |
|
Graham Nelson
|
e7c64b407d
|
Merged the two forms of APOC
|
2021-03-03 11:22:28 +00:00 |
|
Graham Nelson
|
88fb8901a2
|
Began tentative reorganisation of action_pattern
|
2021-03-02 00:04:52 +00:00 |
|
Graham Nelson
|
35658e125b
|
Divided up Action Patterns section
|
2021-03-01 01:01:41 +00:00 |
|
Graham Nelson
|
c1841fa031
|
Cautiously sidling around anl_link
|
2021-02-28 10:32:58 +00:00 |
|
Graham Nelson
|
e50bfc5ceb
|
Started in on actions plugin
|
2021-02-27 00:41:51 +00:00 |
|
Graham Nelson
|
310a7cd219
|
Minor testing changes for Windows
|
2021-02-26 09:03:21 +00:00 |
|
Graham Nelson
|
4730cc2f2d
|
Miscellaneous work on spatial model
|
2021-02-25 00:15:09 +00:00 |
|
Graham Nelson
|
b6b68a8f9d
|
Make actions and parsing plugins more prominent
|
2021-02-24 00:17:14 +00:00 |
|
Graham Nelson
|
8531afdb4d
|
Improved separation of plugins from main compiler
|
2021-02-23 00:25:10 +00:00 |
|
Graham Nelson
|
f76c192a24
|
Began work on multimedia module
|
2021-02-21 00:03:29 +00:00 |
|
Graham Nelson
|
7a8ec51907
|
Completed refactor of plugins
|
2021-02-20 15:45:46 +00:00 |
|
Graham Nelson
|
c3260f05ed
|
Completed revision of the knowledge module
|
2021-02-19 00:21:55 +00:00 |
|
Graham Nelson
|
1ed86c4c4e
|
Simplified property structure
|
2021-02-18 10:26:57 +00:00 |
|
Graham Nelson
|
4993a99dda
|
Completed inferences chapter of knowledge model
|
2021-02-17 09:43:05 +00:00 |
|
Graham Nelson
|
89f9b0e45d
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
|
Graham Nelson
|
cc8d396040
|
Reorganised variables
|
2021-02-15 12:10:54 +00:00 |
|
Graham Nelson
|
ef7803a29a
|
Precautionary commit
|
2021-02-14 16:46:14 +00:00 |
|
Graham Nelson
|
3856fb9d2f
|
Simplified instance grammar
|
2021-02-13 13:18:26 +00:00 |
|
Graham Nelson
|
b2a5a56317
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
|
Graham Nelson
|
fab4ab3c78
|
Refactored inference subjects into families with methods
|
2021-02-11 22:53:43 +00:00 |
|
Graham Nelson
|
14703f57d0
|
More on knowledge
|
2021-02-10 22:20:57 +00:00 |
|
Graham Nelson
|
ce1f8291b9
|
Began work on knowledge module
|
2021-02-09 21:27:52 +00:00 |
|
Graham Nelson
|
6fa43d8caa
|
Improved tables and equations
|
2021-02-07 12:44:02 +00:00 |
|
Graham Nelson
|
b4a6775fa6
|
Reorganised the values module
|
2021-02-06 18:00:34 +00:00 |
|
Graham Nelson
|
43bbcdbaf4
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
|
Graham Nelson
|
65f41dbca4
|
Completed simplifications
|
2021-02-04 09:24:35 +00:00 |
|
Graham Nelson
|
41efae7f29
|
Clarified sentence conversions
|
2021-02-03 09:32:42 +00:00 |
|
Graham Nelson
|
e0a25411c8
|
Completed refactor of binary predicates
|
2021-02-02 13:55:27 +00:00 |
|
Graham Nelson
|
edadedbd82
|
Divided off more of run-time implementation
|
2021-02-01 23:24:17 +00:00 |
|
Graham Nelson
|
b989cd1d80
|
Catching back up
|
2021-01-31 14:57:05 +00:00 |
|
Graham Nelson
|
180d254ca7
|
Tidying up calculus module
|
2020-09-02 23:24:10 +01:00 |
|
Graham Nelson
|
515b130748
|
Pared calculus module down to essential predicates only
|
2020-08-29 09:33:21 +01:00 |
|
Graham Nelson
|
8e8565c0db
|
Further work on annotation logging
|
2020-08-28 01:00:52 +01:00 |
|
Graham Nelson
|
b0c0bf87ea
|
Further post-fragmentation tidying
|
2020-08-27 15:50:24 +01:00 |
|
Graham Nelson
|
dfcc5ee277
|
Completed fragmentation
|
2020-08-26 10:52:50 +01:00 |
|
Graham Nelson
|
22d2c3d8bd
|
Moved sentence conversion into calculus module
|
2020-08-25 21:47:14 +01:00 |
|
Graham Nelson
|
23ff600463
|
Began refactoring unary predicates
|
2020-08-24 00:22:48 +01:00 |
|
Graham Nelson
|
107f9b2c74
|
Improved testing of terms and atoms
|
2020-08-23 12:00:56 +01:00 |
|
Graham Nelson
|
623d5e340c
|
Wrote basic calculus-test tool
|
2020-08-22 12:59:50 +01:00 |
|
Graham Nelson
|
b2cf29137d
|
Further progress towards calculus module
|
2020-08-21 22:38:20 +01:00 |
|
Graham Nelson
|
7d3f53cc61
|
Introduced binary predicate families
|
2020-08-20 11:50:43 +01:00 |
|
Graham Nelson
|
f695cd7a4f
|
Further work on Neptune
|
2020-08-19 00:56:02 +01:00 |
|
Graham Nelson
|
e0cf630409
|
Rewrote Neptune files parser
|
2020-08-18 18:59:08 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
2a48aeb128
|
Completed Chapter 2 of kinds module
|
2020-08-12 13:05:44 +01:00 |
|
Graham Nelson
|
83dcd79164
|
Improved kind-checking of contravariant constructors
|
2020-08-11 11:55:39 +01:00 |
|