infer_clone

Commit Graph

Author	SHA1	Message	Date
Radu Grigore	91ebfe9c20	[topl] Support side conditions for transitions. Summary: In addition to state1 -> state2: pattern one can now also write state1 -> state2: pattern if condition where "condition" is some conjunction of comparisons (==,<,>) that involve variables bound by "pattern", registers of the automaton, and constants. Reviewed By: ngorogiannis Differential Revision: D19035496 fbshipit-source-id: 6f6e6a9be	5 years ago

Author

SHA1

Message

Date

Radu Grigore

91ebfe9c20

[topl] Support side conditions for transitions.

Summary:
In addition to
  state1 -> state2: pattern
one can now also write
  state1 -> state2: pattern if condition
where "condition" is some conjunction of comparisons (==,<,>) that
involve variables bound by "pattern", registers of the automaton, and
constants.

Reviewed By: ngorogiannis

Differential Revision: D19035496

fbshipit-source-id: 6f6e6a9be

1 Commits (eb85a9b322e65cb70eabe1359e05d50be436767c)