Benedikt Radtke

Any chance we can get this (or a similar implementation) upstream at some point? 😇

Done some changes: - rebased onto master - added CI for static and default macos builds - moved bindgen out of z3-sys to reduce z3 rebuilds - moved the bindgen...

I am sorry for the late response, but I won't have sufficient free time to complete this pull request in the near future. You are of cause very welcome to...

>We're working on a solution for making it easier to "bootstrap" WinGet on Windows Server without Microsoft Store access. winget is an excellent solution to provision Windows sandboxes as well,...

Was this issue solved by #61?

@sfackler @Muscraft @sksat could you accept or refuse this PR, or is this repository abandonware except for the version bumps?

>Poetry caches metadata and distfiles from package sources (aka repositories aka indexes). If you are looking to nuke the cache, I >would generally suggest a multi-stage build as a cleaner...

which version of what should have fixed this?

Is this an endianess problem? ```rust let data: Vec = vec![0b0000_0000, 0b1111_1111]; let slice = data.view_bits::(); info!("{:04b}", slice[6..10].load::()); ``` is printing `1100` instead of `0011`. I work around this with...

Ran your numbers, in your case it does not look like an endianess problem, and rather like a generic "reads across word boundaries" problem. I guess what happens is -...