Zachary Wimer
Zachary Wimer
I've noticed that if I `make -j` binder when `cmake` was run with tests enabled, it might sometimes fail with ``` #22 7.131 make[2]: Leaving directory '/build' #22 7.138 [...
The `.dylib` distributed in the `pip` package of `z3` seems to have bad version info in it. Here is a comparison of the version distributed through homebrew vs pip. Notice...
### Feature description When starting weechat (I use the official alpine docker container version) it chmod's some files as 600; that is only the user has read/write permissions; even if...
### Is your feature request related to a problem? I would like to see how many unplayed items there are in a given plex library. ### What is your feature...
Implements: https://github.com/angr/angr-management/issues/780 Fixes: https://github.com/angr/angr-management/issues/805
### Description When I open a binary with the same binary already open, I notice an uncaught exception in the logs. The binary is `/bin/true` from `Fedora 36 Server`. ###...
### Description Right now `angr management` has multiple soft dependencies: In `interaction_view.py`, for example, we soft require: `archr`, `keystone-engine`, `nclib`, and `slacrs` (though, this view seems useless without any of...
### Description Move the Interactions View to a plugin as per: https://github.com/angr/angr-management/issues/844#issuecomment-1347805909 We can define these in `setup.cfg` as extras so that uses could `pip install angr-management[interactions_view]` or something as...
### Description The user should be able to change every font we store in `Conf` internally. Prerequisite PRs: - [ ] https://github.com/angr/angr-management/pull/819 This can be done by: 1. Allow users...
### Description When loading a theme in angr-management, there are 3 options: Light, Dark, and Current. Selecting `Current` can cause: ```python Traceback (most recent call last): File "/Users/zwimer/.virtualenvs/am-dev/lib/python3.10/site-packages/angrmanagement/ui/dialogs/preferences.py", line 151,...