practicalswift (Thomas J)

This issue has been fixed in my `kilo` fork called `openemacs`: https://github.com/practicalswift/openemacs :-)

@pankajdoharey I think @antirez' intention is to let any further development be done by others in their respective forks, so submitted pull requests have not being merged into this repo...

@zii My `kilo` fork `openemacs` supports Python syntax highlighting :-) See https://github.com/practicalswift/openemacs or more specifically https://github.com/practicalswift/openemacs/blob/d64cafaff07b97b60811f85d521cbbd190ec42bd/openemacs.c#L105-L112.

@DataAnalysisCosby Your simplification looks better in this case. I'm guessing the reasoning behind this structure it is probably to keep it consistent with the other usages of `erow *row =...

@1-p Thanks for reporting! :-) Are you able to reproduce this? What platform are you using? I'm unable to reproduce. I've tested under both Linux and OS X.

Also, switching to the Apache license would allow for bringing IKOS under the LLVM umbrella some time in the future if that would be desired, right? :-)

@c42f I cannot speak for Bitcoin Core, but for me personally the reason I like `tinyformat` is that it is more robust against malformed input compared to the alternatives. If...

@MarcoFalke Under the assumption of no programmer mistakes, yes. It would be strictly better if we had robustness also in the presence of programmer mistakes (which is entirely possible with...

Some additional minor issues found: ``` strprintf("%c", 1.31783e+38); tinyformat.h:244:36: runtime error: 1.31783e+38 is outside the range of representable values of type 'char' strprintf("%c", 2.54176e+307); tinyformat.h:244:36: runtime error: 2.54176e+307 is outside...

Wow that is great news! Thanks for all your excellent work on `ikos`!