Changes between Version 4 and Version 5 of GMC


Ignore:
Timestamp:
10/18/16 20:23:41 (10 years ago)
Author:
yihaoyan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

    v4 v5  
    44
    55Stateful classes in CIVL that may not be necessary to be stateful:[[BR]]
    6 
    7 
    86'''edu.udel.cis.vsl.civl.kripke.common.CommonEvaluator.java'''[[BR]]
    9 
    107boundVariableStack [[BR]]
    11 
    128originalState [[BR]]
    13 
    149originalPid [[BR]]
    15 
    16 valueAtOrRemoteCount [[BR]]
    17 
     10valueAtOrRemoteCount [[BR]][[BR]]
    1811''Possible solution'': spawn an EvaluatorWorker[[BR]]
    19 
    20 
    2112'''edu.udel.cis.vsl.civl.semantics.common.CommonExecutor.java'''[[BR]]
    22 
    2313numSteps[[BR]]
    24 
    2514''Possible solution'': Each thread has its own copy of Executor.[[BR]]
    2615