Konstantin Chukharev

icon indicating an email [email protected]

icon company ITMO University, @ctlab icon location Russia, Saint-Petersburg

Results 8 comments of Konstantin Chukharev

Simple question.....

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

Automata Theory cheatsheet

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:

Will Cheatsheet #7 about Combinatorics be completed?

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...

Flow-less summary storage

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

Improve resolution of callees in `EtsApplicationGraph`

This PR is not necessary anymore, sorry.

Meta-issue on Boolean algebra lecture

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...

Update ArkAnalyzer

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

The definition of graph isomorphism was added. Information about graph K2 walk was added.

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...