Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
framac: 18.0 -> 19.0 #65664
Motivation for this change
thoughtpolice left a comment
This is already done by #63494, which also does more, including auto-configuration of why3 provers, and does several other nice cleanups. It was WIP until a few days ago, as the author was otherwise busy, I assume.
Apologies for taking a few days to reply to this; however I think #63494 is probably what we want to merge in the end.