search

reactive-systems / syfco

Synthesis Format Conversion Tool
MIT License
23 stars 12 forks source link

Output reorder option #39

Closed gaperez64 closed 1 year ago

gaperez64 commented 3 years ago

It'd be nice to add to syfco a way of shuffling variable names/orders in a TLSF file before generating the output. Either we allow for some input ordering given by the user or we use a random one.

Also, if you're too busy, feel free to assign this to me :)

kleinreact commented 3 years ago

This is a questionable feature in my opinion. The only intention that I see is in the enforcement of TLSF synthesis tools to be more careful in not relying on the order of things according to their performance. This is, however, easily archivable by sorting inputs, outputs, guarantees, etc..

Can you explain in more detail, what would be the benefit of adding this feature to the tool?

gaperez64 commented 3 years ago

Well, precisely to enforce TLSF synthesis tools do not rely on the order of things. I do agree that this might not be something we want to put into syfco itself as a feature though, perhaps I just need to recycle its parser and shuffle inputs, outputs, guarantees, etc... before dumping the file again?