You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
LF produces a file .fq.ple with the equations discovered by the PLE algorithm that uses an smt solver. It would be nice to get there the equations that come from the interpreter (Language.Fixpoint.Solver.Interpreter) as well, maybe under separate sections per constraint to tell apart the equations coming from the different PLEs.
The text was updated successfully, but these errors were encountered:
LF produces a file
.fq.ple
with the equations discovered by the PLE algorithm that uses an smt solver. It would be nice to get there the equations that come from the interpreter (Language.Fixpoint.Solver.Interpreter
) as well, maybe under separate sections per constraint to tell apart the equations coming from the different PLEs.The text was updated successfully, but these errors were encountered: