tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Investigate whether `PrtUnorderedDefs` could be encoded as constraints in `SymEvalSt` #188

Open Niols opened 1 year ago

Niols commented 1 year ago

Coming from @facundominguez's question:

How is this (PrtUnorderedDefs) conceptually different from the constraints that link variables to variables and values in SymEvalSt?

cf https://github.com/tweag/pirouette/pull/184#discussion_r1156260618