Really sickens me to read that they didn't acknowledge the prior work. It would break my heart to be in this position, but then to not even get credit is just too much.
If that is the case, I would hope Galois would just given him some ex-gratia payment.
[0] https://github.com/immunant/c2rust/commit/e0d3adf656db000b1c...