2 Commits (4ddf46268f342c1bfe7b97787ddfd4272ca7c0ad)

Author	SHA1	Message	Date
Radu Grigore	3554101ece	[topl] Generate simpler monitor for deterministic states. ... Summary: This is an optimization. We ask the user to tell us which states are nondeterministic, and we generate code that handle nondeterminism only for those states. It is common for only one state per TOPL property to be nondeterministic. This speeds up the biabduction-analysis of the monitor by a factor of ~10. But, using the monitor is only a little faster. Facebook Reviewed By: jvillard Differential Revision: D19160286 fbshipit-source-id: 4dd39769a	5 years ago
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