Zachary Wimer

My `rst` viewer doesn't seem to recognize the `:ref:` syntax used so I can't entirely test this, but it would seem I just moved the marker before the proper section...

This should be fixed by https://github.com/angr/claripy/pull/244

This can be dynamically adjusted fixed by interfacing with mac via Cocoa. `pip install pyobjc-framework-Cocoa` ```python from pathlib import Path if sys.platform.startswith("darwin"): from Foundation import NSBundle bundle = NSBundle.mainBundle() if...

Note this only changes the application title- not the name (which is shown in the dock and tab-switcher)

It has to be execute before qt stuff sets up the app though; i.e. before this line: https://github.com/angr/angr-management/blob/d1701ae13273bc46960b917b240b68b7a196436f/angrmanagement/__main__.py#L142

Of course, it isn't about 'perfect privacy' as much as not 'publicly' announcing to each member of your family, of all age groups, what the others recently had added. If...

@sct @danshilm Can I do anything to help this get reviewed / merged?

Out of scope.

I believe this issue was fixed in the Z3 backend here: https://github.com/angr/claripy/blob/46b5af7432b63dea7b2e9b67c371256a2ec945e4/claripy/backends/backend_z3.py#L112 in https://github.com/angr/claripy/pull/285

@rhelmot Can you provide an update to this issue?