Humza Shahid fe9048299b add tests for 'df<char>' motion, uncover bug found by test where new match was not recognised after deletion if match involved last character in buffer, and fix that bug by checking (in fcore/search-list/search-list.sm) if we are at a dead state before we check if we are in the last index of the buffer

2026-04-24 16:29:16 +01:00

..

persistent-vector.sml

extract dfa generator to a separate file in repository root, so that it could be reused

2026-04-24 01:28:10 +01:00

search-list.sml

add tests for 'df<char>' motion, uncover bug found by test where new match was not recognised after deletion if match involved last character in buffer, and fix that bug by checking (in fcore/search-list/search-list.sm) if we are at a dead state before we check if we are in the last index of the buffer

2026-04-24 16:29:16 +01:00