Changes between Version 3 and Version 4 of GMC

Timestamp:

10/18/16 20:23:02 (10 years ago)

Author:

yihaoyan

Comment:

--

GMC

@@ -3 +3 @@
 == Multi-Core Model Checking ==
 
-Stateful classes in CIVL that may not be necessary to be stateful:
-
-'''edu.udel.cis.vsl.civl.kripke.common.CommonEvaluator.java'''
-boundVariableStack 
-originalState 
-originalPid 
-valueAtOrRemoteCount 
-''Possible solution'': spawn an EvaluatorWorker
-
-'''edu.udel.cis.vsl.civl.semantics.common.CommonExecutor.java'''
-numSteps
-''Possible solution'': Each thread has its own copy of Executor.
+Stateful classes in CIVL that may not be necessary to be stateful:[[BR]]
 
 
+'''edu.udel.cis.vsl.civl.kripke.common.CommonEvaluator.java'''[[BR]]
+
+boundVariableStack [[BR]]
+
+originalState [[BR]]
+
+originalPid [[BR]]
+
+valueAtOrRemoteCount [[BR]]
+
+''Possible solution'': spawn an EvaluatorWorker[[BR]]
+
+
+'''edu.udel.cis.vsl.civl.semantics.common.CommonExecutor.java'''[[BR]]
+
+numSteps[[BR]]
+
+''Possible solution'': Each thread has its own copy of Executor.[[BR]]
+
+
+