changes to process/prune state machines
authorbdemsky <bdemsky>
Fri, 25 Mar 2011 00:10:05 +0000 (00:10 +0000)
committerbdemsky <bdemsky>
Fri, 25 Mar 2011 00:10:05 +0000 (00:10 +0000)
commitfff59443c5ca22bcb37074c9cf1d65cc8e0c6b1f
treea3bd4a7dc867bc6a88343386eab0dd8b33fb4b57
parent16901807f0ce71aef0bcc6951781a020c84d654d
changes to process/prune state machines
Robust/src/Analysis/Disjoint/BuildStateMachines.java
Robust/src/Analysis/Disjoint/Effect.java
Robust/src/Analysis/Disjoint/SMFEState.java
Robust/src/Analysis/Disjoint/StateMachineForEffects.java
Robust/src/Analysis/OoOJava/ConflictGraph.java
Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java