Updated Pritoni model

[steveraysteveray]

No description provided.

[steveraysteveray]

@gtfierro, it's looking like the build process is not including the QUDT units graph, so there are many violations when units are referenced from the model files.

[gtfierro]

Thanks for the heads up! I'll try to get to it early next week after I finish up some deadlines

[gtfierro]

Hi @steveraysteveray I think I'm close to fixing this. I'm not getting any more QUDT errors on my machine, but now we'll test it on GItHub actions to see if it works here.

Are you double checking the models by downloading them from, for example: https://models.open223.info/examples/nist-bdg1-1.html#downloads ?

[steveraysteveray]

Here's what I have so far:

1. Download from open223 GitHub main - passes in TopBraid
2. Download from open223 GitHub srr-update-pritoni - passes in TopBraid
3. Download "compiled" from open223 (which is from main) - fails.
   1. Missing the import statement for ...model.all
4. Download "original" from open223 (which is from main) - fails after inferencing.
   1. Explanation: the errors reflect pritoni before the updated the binary enumeration kinds. Maybe the enumeration kind files have been updated in open223, which is good. I haven't checked.

We have two separate branches on the open223 GitHub - my Pritoni file update and your fixing-compilation. It seems messy to create and push a third branch that builds on both of those. Would you consider just merging yours and then we can test my PR again?

[gtfierro]

Just merged mine, so you are free to test!