Jonathan Protzenko

Results 404 comments of Jonathan Protzenko

This seems good to me -- a branch seems like a good way to go. I'd still like to hear whether @Chris-Hawblitzel will have enough time to follow this work...

@Frosne any thoughts on this? @karthikbhargavan I think a link to the PR would be even better, example: ``` - #533 Start tracking changes in Changes.md (Natalia Kulatova) ``` We...

Fair enough if it's a big change that touches several files, maybe worth giving others a heads-up. Let's do some categories then: ``` # Current release ## New features -...

@Frosne any news on this? how does this interact with your other PR?

@Frosne are you saying that this PR is superseded by #563?

Thanks for the report. Which systems don't have /usr/bin/env? The advantage of using `env` (see https://unix.stackexchange.com/questions/29608/why-is-it-better-to-use-usr-bin-env-name-instead-of-path-to-name-as-my/29620#29620) is that on systems that have multiple versions of bash, it picks the one...

Sorry, I was talking about a hypothetical scenario which would be to replace the first line of the script with `/usr/bin/bash` -- I somehow assumed this was your preferred fix....

Is there a recommended macro to figure out how to do aligned memory allocation on all platforms?

The memory also needs to be freed with a special function at least in the case of MSVCRT

Does this mean if I have a struct that contains a vec256, I need to align it in the struct declaration *and* align the outer allocation? ``` typedef struct {...