任务单 #33551

Bit vectors exclude a match they shouldn't

开放日期: 2014-03-22 01:58 最后更新: 2014-03-22 04:13

报告人:
属主:
类型:
状态:
关闭
组件:
优先:
9 - Highest
严重性:
5 - Medium
处理结果:
Fixed
文件:

Details

The dictionary entry "【气】⿳<𠂉>⿰丿一一乁" should be matched by the query "|⺡⿳⿰丿一一乁", but isn't matched when a bit vector index is used. It specifically seems to be excluded by the BDD test. This represents a failure of correctness of the bit vector algorithm, and is high-priority to nail down and fix because it's a blocking issue for a related academic paper. Once fixed, a new release of IDSgrep will be in order.

任务单历史 (2/2 Histories)

2014-03-22 01:58 Updated by: mskala
  • New Ticket "Bit vectors exclude a match they shouldn't" created
2014-03-22 04:13 Updated by: mskala
  • 处理结果 Update from to Fixed
  • 状态 Update from 开启 to 关闭
  • Ticket Close date is changed to 2014-03-22 04:13
评论

Fixed by recent commit. It was one character wrong in an array index for calculating the bit vectors of ternary roots, causing the first child of the first child of a ternary root to be recorded as a child, not grandchild, of the root. Very rare that this would make a difference, but the case described in the report happens to depend on it.

Attachment File List

No attachments

编辑

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » 登录名