Skip to content
Snippets Groups Projects
  1. Aug 13, 2017
  2. Aug 12, 2017
  3. Aug 11, 2017
  4. Aug 10, 2017
  5. Aug 09, 2017
  6. Aug 08, 2017
  7. Aug 07, 2017
  8. Aug 01, 2017
  9. Jul 29, 2017
    • George Nachman's avatar
      Fix a bug in regex search where a regex like xa* would return multiple search... · 811f0c5e
      George Nachman authored
      Fix a bug in regex search where a regex like xa* would return multiple search results against a document like xaaaa (xa, xaa, etc.). Now that search results are properly sorted, this causes strange behavior. For example, only part of a match might be selected. Now, we ignore results that are a subset of a previous result. This works because the search progressively shortens and re-searches the document (e.g., xaaa, xaa, xa, x). Issue 5937
      811f0c5e
  10. Jul 27, 2017
  11. Jul 26, 2017
  12. Jul 25, 2017
  13. Jul 24, 2017
  14. Jul 22, 2017
  15. Jul 17, 2017
  16. Jul 16, 2017
  17. Jul 15, 2017
Loading