Dmitriy Sokolov

Bitwuzla update to 0.2.0-dev

1

Bitwuzla native libs and API updated to [0.2.0-dev @ main](https://github.com/bitwuzla/bitwuzla/commit/b655bc0cde570258367bf8f09a113bc7b95e46e9) . What's new: 1. Native API changed. 2. Now bitwuzla distinguishes `BitVec 1` from `bool`. 3. Native terms are globally...

A **forking solver** presents an ability to create children with existed parental assertions memory efficiently as possible. Also, it has lazy assertions initialization. *It is draft implementation requiring following reviews.*...

Colorized entries in picker

3

**Is your feature request related to a problem? Please describe.** Hi! I was unable to find anything related to specifying colors of a picker entry in search window. Actually, I...

Invalid character during RSS feed processing (crash)

1

**Describe the bug** Hello! First, thank you for the wonderful service! I really like it. Related to issue. some time back, I subscribed to several RSS feeds on my self-hosted...

Lack of `objc_msgSendSuper`

1

Hi! There is a function `objc_msgSendSuper` declared in Apple's obj-c runtime, but gnustep does not provide such API. So, is there no way to call super method implementation with gnustep,...