Konstantin Chukharev

Results 8 comments of Konstantin Chukharev

@OdinsHat, > What on earth does `^@` mean? ctrl+space http://zsh.sourceforge.net/Guide/zshguide04.html Section 4.3.5

This PR requires additional changes and can't be merged as it is, but the foundation is here, let's keep working on it! :cat2:

I totally agree, feel free to submit a PR with Combinatorics cheatsheet :) To begin with, you (or anyone passing by this GH issue) can sketch a list of topics...

Moved to https://github.com/UnitTestBot/usvm/pull/235

This PR is not necessary anymore, sorry.

The whole phase 11 is out of scope. We do not need non-binary logics, we do not need to cover FOL yet, we do not need Post's lattice. Similarly, formal...

One more build failure due to codecov and I am going to rip it off from this repo...

Thanks for your contribution! Note however that it is better to dedicate each PR to a single feature or change. For example, it would be better to devote this PR...