search

draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis
MIT License
50 stars 1 forks source link

Model Flags #179

Open philzook58 opened 2 years ago

philzook58 commented 2 years ago

We're enforcing certain ordering constraints using a single "world" token that gets assigned to a dummy register. I hate this. We should be modelling flags which get preassigned to the appropriate flag "registers" for the minizinc model.

philzook58 commented 2 years ago

Ok, hate is too strong. It is useful and appropriate sometimes. But not for modelling flags.

codyroux commented 2 years ago

Yea it's bogus for flags, but I was lazy. And it's good for some other things.

Part of the issue was that we weren't modelling flags in the C semantics, so there was a slight mismatch.

But mostly the lazy.