Disconnect3d

@stephan-rayner You can do it even better: work on that and send a PR? :) Note that you can also attend in https://hacktoberfest.digitalocean.com and win a t-shirt ;D.

> but still explicitly allow naive datetimes *explicitly* is the key here. If the user wants it, let him do that. I am not a maintainer of the project but...

Hey, I don't have an answer to this question but I am curious to know that as well. I bet that the length is usually a hint and we probably...

I've changed benchmarking script into profiling script: https://github.com/trailofbits/manticore/pull/1285 Not sure about `verify.py`, `extract_syscalls.py` and `stats.py`.

Bump. It's two years since the issue appeared and it seems we still can't fetch the profile :(. --- EDIT: For future reference, I managed to dump it via modifying...

Hi, I think it would make sense and while I am not a maintainer, I think it may get merged :P.

@OBarronCS btw this is something I hope gets fixed when we enhance arm display :)

This is something we could revisit now that some time has passed ;). @zachriggle do you maybe remember what fs/gs emulation would be useful for in emulation? Getting stack cookies...

@lebr0nli @OBarronCS just to be sure: we do not emulate fs/gs yet, right?

Correct me if I am wrong, but this was implemented in #2317. Closing. (cc: @lebr0nli )