Changes between Version 7 and Version 8 of GMC


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

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

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