Skip to content
Snippets Groups Projects
  1. Aug 23, 2017
  2. Aug 21, 2017
  3. Aug 20, 2017
  4. Aug 13, 2017
  5. Aug 12, 2017
  6. Aug 11, 2017
  7. Aug 10, 2017
  8. Aug 09, 2017
  9. Aug 08, 2017
  10. Aug 07, 2017
  11. Aug 01, 2017
  12. 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
  13. Jul 27, 2017
  14. Jul 26, 2017
  15. Jul 25, 2017
  16. Jul 24, 2017
  17. Jul 22, 2017
  18. Jul 17, 2017
  19. Jul 16, 2017
Loading