Changes between Version 2 and Version 3 of GMC


Ignore:
Timestamp:
10/18/16 20:21:54 (10 years ago)
Author:
yihaoyan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

    v2 v3  
    22
    33== Multi-Core Model Checking ==
     4
     5Stateful classes in CIVL that may not be necessary to be stateful:
     6
     7'''edu.udel.cis.vsl.civl.kripke.common.CommonEvaluator.java'''
     8boundVariableStack
     9originalState
     10originalPid
     11valueAtOrRemoteCount
     12''Possible solution'': spawn an EvaluatorWorker
     13
     14'''edu.udel.cis.vsl.civl.semantics.common.CommonExecutor.java'''
     15numSteps
     16''Possible solution'': Each thread has its own copy of Executor.
     17
     18