Changes between Version 6 and Version 7 of GMC


Ignore:
Timestamp:
10/18/16 20:40:22 (10 years ago)
Author:
yihaoyan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

    v6 v7  
    33== Multi-Core Model Checking ==
    44
    5 Stateful classes in CIVL that may not be necessary to be stateful:[[BR]]
     5Stateful classes in CIVL that may not be necessary to be stateful:[[BR]][[BR]]
     6
    67'''edu.udel.cis.vsl.civl.kripke.common.CommonEvaluator.java'''[[BR]]
    78boundVariableStack [[BR]]