summaryrefslogtreecommitdiff
path: root/DIARY
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2023-08-01 11:47:44 +0800
committerJSDurand <mmemmew@gmail.com>2023-08-01 11:47:44 +0800
commit81854107bcf0b4480cfb11e8af7fec6894240c0c (patch)
treedb85df073d1f5201545aa463ef34307d763e7095 /DIARY
parentca56b918b48cc08d8a43660a5e6f82c946fad8a0 (diff)
Fix some bugs
Some bugs are fixed: 1. If a non-terminal expansion can be reduced immediately, previously an extra node would be created that had no parents. Now this strange behaviour is corrected. 2. When performing reductions, a leaf non-terminal node would previously be regarded as completed. Now we will first try to complete that node, and then determine if the completion is successful, and finally determine the completedness according to the result. Of course some more tests are still pending, before I can confirm that no more bugs lurk around.
Diffstat (limited to 'DIARY')
0 files changed, 0 insertions, 0 deletions