Zachary Wimer comments

Results 66 comments of


Zachary Wimer

Allow adding to the file prefix list taken from the env

This message is to keep the PR from going stale.

Allow adding to the file prefix list taken from the env

Is there anything I can do to help get this merged?

Container.wait with timeout raises Connection Error

I have this issue on Fedora 36 as well.

Add option to remove (oldest) snapshot when space is low

This would be amazing! That way I wouldn't have to go in and manually delete old backups every time my disk fills up.

Clear caches after simplifying constraints in Z3 backend

The new updates only clears the abstraction cache as I see; I suspect this will be harmful if we abstract similar ASTs from Z3 multiple times, or for example if...

Clear caches after simplifying constraints in Z3 backend

@ltfish Ping

Claripy needs concrete floats implemented with something other than python doubles

A note: eventually the C++ backend should (currently does but claricpp is not finished) support native 32-bit.

add eq simplification 1^==0

I have a small backlog of tasks but once those are done I can do so.

Oh! My mistake, I misread the documentation in pybind11 to say the GIL is not held by default: https://pybind11.readthedocs.io/en/stable/advanced/misc.html?highlight=GIL#global-interpreter-lock-gil In that case (perhaps this is better for a different issue?),...

`std::variant<<` typo

I can provide the full sized example, but I don't currently have the bandwidth to narrow it down. I can also provide: `MacOS 12`, compiled binder with `LLVM 11.0.0git`; along...