search

webyrd / Barliman

Prototype smart text editor
MIT License
1.04k stars 30 forks source link

Try complete search if fast search fails #13

Closed gregr closed 7 years ago

gregr commented 7 years ago

@webyrd This seems to work, but let me know if I've missed anything. I'm not too familiar with the swift code.

webyrd commented 7 years ago

Am I doing it right? Synthesis seems both slow and not parsimonious.

On Sun, Oct 9, 2016 at 2:31 PM, Greg Rosenblatt notifications@github.com wrote:

@webyrd https://github.com/webyrd This seems to work, but let me know if I've missed anything. I'm not too familiar with the swift code.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/webyrd/Barliman/pull/13#issuecomment-252510666, or mute the thread https://github.com/notifications/unsubscribe-auth/ABHThG_6oQgv0BbUVIRHfeJas1rzKPWaks5qyU8dgaJpZM4KSGfE .

webyrd commented 7 years ago

Screenshot[image: Inline image 1]

On Sun, Oct 9, 2016 at 3:32 PM, William Byrd webyrd@gmail.com wrote:

Am I doing it right? Synthesis seems both slow and not parsimonious.

On Sun, Oct 9, 2016 at 2:31 PM, Greg Rosenblatt notifications@github.com wrote:

@webyrd https://github.com/webyrd This seems to work, but let me know if I've missed anything. I'm not too familiar with the swift code.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/webyrd/Barliman/pull/13#issuecomment-252510666, or mute the thread https://github.com/notifications/unsubscribe-auth/ABHThG_6oQgv0BbUVIRHfeJas1rzKPWaks5qyU8dgaJpZM4KSGfE .

gregr commented 7 years ago

The screenshot didn't appear. What query are you trying?

Note that this uses DLS for fast search, but does not make use of conde1, so while the full append synthesis is possible, it takes a little under a minute to finish.

query part 1

query part 2

append-complete-fallback

webyrd commented 7 years ago

Nevermind--I was on the wrong branch! Thanks.

On Sun, Oct 9, 2016 at 3:42 PM, Greg Rosenblatt notifications@github.com wrote:

The screenshot didn't appear. What query are you trying?

Note that this uses DLS for fast search, but does not make use of conde1, so while the full append synthesis is possible, it takes a little under a minute to finish.

[image: query part 1] https://cloud.githubusercontent.com/assets/192561/19223846/9d0d16fe-8e47-11e6-8571-0be2b5741705.png

[image: query part 2] https://cloud.githubusercontent.com/assets/192561/19223847/a1fd363a-8e47-11e6-8a37-ca62ad965d22.png

[image: append-complete-fallback] https://cloud.githubusercontent.com/assets/192561/19223830/42f60fc2-8e47-11e6-9b08-ed369bbbe0d9.png

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/webyrd/Barliman/pull/13#issuecomment-252514771, or mute the thread https://github.com/notifications/unsubscribe-auth/ABHThGLDG5B7VWbimOP7zGGy3wMU-HFHks5qyV-wgaJpZM4KSGfE .