Gregory M. Kapfhammer

Hello @wookayin and @cbcoutinho, I wanted to write and let you know that I recently ran into this issue. I am currently running `NVIM v0.3.2-dev` on Ubuntu 16.04 and found...

Hello @vrozin, thanks for working on this issue! As soon as we can, we will review and merge your PR.

It is worth noting that there is a Python interface to a wide variety of constraint solvers: https://github.com/pysmt/pysmt. Also, please note that CVS4 now supports strings: http://cvc4.cs.stanford.edu/wiki/Strings. I am wondering...

Hello @Ktaylor2 and @mmarconi, thanks for your work on this issue. I should point out that you are going to also need to comment out the reference to the screencast...

It is also important to note that the Gradle build system does not seem to have as many features at the Ant build system. For instance, the Ant build system...

I should also note here that none of the documentation explains how to run a campaign of experiments. This would be useful to include for researchers who want to use...

Hi @griffinh1, please note that the completion of this issue will depend on the completion of many other issues. That is, we cannot show the output of the commands until...

Hi, I can confirm that the system theme appears when I use 1.0.37 in `kitty` on NixOS but does not appear when I use the same version of `opencode` with...

After quickly scanning docs for `zellij` it looks like that terminal multiplexing tool has similar issues. I often (but not always) use `opencode` through `nvim` and the `sidekick.nvim` plugin that...

Since the `system` theme still does not appear in version `1.0.48` when run in `tmux` but does appear otherwise, should we open a new issue to track the problem? As...