Levent Erkök

@ahelwer It'd be nice if you can precisely document what parts of sre are supported and what parts aren't. (I'm assuming anchors, named groups etc. will fall in to the...

Discussion from stack-overflow: https://stackoverflow.com/a/70028978/936310 Bottom line, this has nothing to do with Java. z3's default solver can handle the query just fine; but `z3str3` does not seem to terminate on...

I'm not sure why this is labeled `no-repro`. I can replicate it from a fresh build, at commit hash 08f55f9d1f9da3fd72db2bde5fcc89d946867225

@NikolajBjorner A fresh-build no longer says `unsat` on it; looks like the problem went away. It does, however, say `unknown`; which is rather unfortunate, but obviously not a bug. I'll...

Currently, I'm doing: ``` curl -fsSL https://github.com/Z3Prover/z3/releases/download/Nightly/z3-4.8.6-x64-ubuntu-16.04.zip ``` to get access to the latest builds for Linux. (And similarly for Mac and Windows.) Note that I actually get the binary...

@NikolajBjorner I hate to be a bother about this, but I'd really appreciate if there was a way to get nightly releases out of master. Some of the downstream tools...

Perhaps.. My actual example was more along the lines of a uniplate application. Something like: ``` [() | x

Yes, N==1 seems to be the right heuristic indeed. Thanks!

@shayne-fletcher This was reported to GHC folks a while ago: https://gitlab.haskell.org/ghc/ghc/-/issues/18246 While I don't fully agree with GHC's behavior, the comments on that ticket suggest that this is the "correct"...

@shayne-fletcher I agree this is rather unfortunate; and perhaps can be marked "won't-fix." My mental model of hlint is that whatever it recommends I can apply it and GHC will...