George Karpenkov

Automatically test Maven deployments

1

This can be done by adding a Travis job which would create an empty maven project, add last version of JavaSMT as a dependency, and attempt to build it. Otherwise...

Increase visitors performance

7

While visitors provide very convenient methods for formula transformation, their performance is sometimes suboptimal. Using a following fuzzer (https://gist.github.com/cheshire/c43575a86be1b58e3c40f95f1ba8ec07) , I've tried creating a random integer formula of size 1000,...

Evaluate catching SIGSEGV from JNI

1

This is not a critical feature, but apparently it's possible. See: http://blog.httrack.com/blog/2013/08/23/catching-posix-signals-on-android/ https://github.com/xroche/coffeecatch

If sosy-lab.common indeed has potentially zero-overhead (when disabled) timers, tracking statistics inside JavaSMT would be very nice.

Cleaning up msat_terms, at least optionally

1

Currently, we never deallocate `msat_term`s. Mathsat5 has a function `msat_gc_env`, which can be called periodically for this purpose. This can be enabled at least as an option.

**Is your feature request related to a problem? Please describe.** gitsigns.vim support is amazing, but sometimes, other VCS have to be used. Having vim-signfy supported would be amazing. **Describe the...

A large amount of calls to redraw make rendering slow

4

On neovim 0.9.1, latest release checkout seems very slow for basic editing with autocompletion, I went back to 69f954eaebc0f15a0ff17b6d40e24aa1039d9334 which seems considerably faster. I have relatively minimal vimrc, using clangd...

Support profiling without source code changes

2

Currently adding profiling requires source-code changes which could be difficult in a large codebase. Would be great if something like `JAX_PROFILE=output.pb` was supported to generate profiling from command line. CC...