runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
447 stars 149 forks source link

Make each attribute its own class #4003

Open Scott-Guest opened 8 months ago

Scott-Guest commented 8 months ago

I've spent quite a bit of time trying to get #3993 working, and have yet to find a solution which simultaneously:

Additionally, I've noticed a few pain-points with the current set up:

One possible solely-Java solution would be to:

Baltoli commented 8 months ago

Don't have a monolithic PR; do smaller changes by keeping both implementations for a period of time.

Scott-Guest commented 2 months ago

Putting this on the backlog. It's low-priority and more work than we have bandwidth for at the moment.