Changes between Version 9 and Version 10 of GMC


Ignore:
Timestamp:
10/24/16 14:36:15 (10 years ago)
Author:
yihaoyan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GMC

    v9 v10  
    55Stateful classes in CIVL that may not be necessary to be stateful:[[BR]]
    66
    7 '''edu.udel.cis.vsl.civl.kripke.common.CommonEvaluator.java'''[[BR]]
     7'''edu.udel.cis.vsl.civl.kripke.semantics.CommonEvaluator.java'''[[BR]]
    88boundVariableStack [[BR]]
    99originalState [[BR]]