On 1/4/21 9:58 AM, Jeff Chapman wrote:
Ping. re:
https://gcc.gnu.org/pipermail/gcc-patches/2020-December/561135.html
<https://gcc.gnu.org/pipermail/gcc-patches/2020-December/561135.html>
> OK, I'll start with -alt then, thanks.
Andrew is exactly correct, contracts-jac-alt is still the current
branch we're focusing our upstreaming efforts on.
It's trailing upstream master by a fair bit at this point. I'll get
a merge pushed shortly.
The latest is still on the same branch, which hasn't been updated since
that last merge:
https://github.com/lock3/gcc/tree/contracts-jac-alt
<https://github.com/lock3/gcc/tree/contracts-jac-alt>
Would you prefer me to keep it from trailing upstream too much through
regular merges, or would it be more beneficial for it to be left alone
so you have a more stable review target?
Either way I'm reviewing by diff against the most recent merged trunk
revision, so it doesn't really matter.
But you probably want to do one merge at least, to make sure that
modules and contracts coexist well.
Jason