You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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
..
IndexSkip.java	[topl] Support side conditions for transitions.	5 years ago
Iterators.java	[topl] Simple error reporting.	6 years ago
Makefile	[topl] More biabduction-friendly monitor.	5 years ago
ScannerFail.java	[topl] Bugfix in matching constructor names.	5 years ago
SkipAfterRemove.topl	[topl] Generate simpler monitor for deterministic states.	5 years ago
TomcatFail.java	[copyright] Remove years	6 years ago
hasnext.topl	[topl] Generate simpler monitor for deterministic states.	5 years ago
issues.exp	[topl] Generate simpler monitor for deterministic states.	5 years ago
iterators.topl	[topl] Generate simpler monitor for deterministic states.	5 years ago
tomcat.topl	[topl] Generate simpler monitor for deterministic states.	5 years ago