Jonathan Protzenko

I think the relative precedence of - and >> is counter-intuitive, but the printing is correct (https://en.cppreference.com/w/c/language/operator_precedence). I don't think the parentheses you suggest would change anything. My understanding of...

Oh ok got it. You're talking about the implicit integer promotion that happens for uint8_t because it is smaller than it.

https://github.com/sliptree/bootstrap-tokenfield/pull/236 pull request for drag&drop there. Seems closer to usable for us now.

Hi @web-vertalo The first tidbit would be to fix `hacl-star/dist/configure` so that it builds out of the box on freebsd. This probably implies fixing https://github.com/project-everest/hacl-star/issues/393 so that either: - freebsd...

Hi @web-vertalo perhaps it'd be helpful to break down this discussion into individual pull requests and/or issues on each project. For instance, I don't know that @tahina-pro keeps an eye...

I think F* works with F# 4.1. Does Vale work with any version of F#? We could just try to detect fsc.exe in the new location. Does the 2015 version...

Yes, I'd be in favor of switching wholesale. Do you need support for the 2015 toolchain as bundled within VS2017 now?

@BarryBo is this still valid knowing that one project you've been working on requires the VS2015 toolchain?

If we have another issue that tracks the creation of a powershell script that fetches and installs VS2017, the right version of python, along with "making the ewerest docker file...

This should also install git so that the powershell script can launch `bash -c "git clone && everest/everest check"`.