Generated files, like regular Dafny files, end in .dfy. So it's hard to distinguish them from developer-written .dfy files like barrier/extra.dfy. As a result, sometimes developers forget to check in the .dfy files they've written.
It would be useful if generated Dafny files were named specially, e.g., if they all ended in .g.dfy. Then, it would be straightforward to have a .gitignore entry that covered those files but not developer-written ones.
Generated files, like regular Dafny files, end in .dfy. So it's hard to distinguish them from developer-written .dfy files like barrier/extra.dfy. As a result, sometimes developers forget to check in the .dfy files they've written.
It would be useful if generated Dafny files were named specially, e.g., if they all ended in .g.dfy. Then, it would be straightforward to have a .gitignore entry that covered those files but not developer-written ones.