add support for "C_RET, S_RET, JustifyingPre/Postconditions"
authorPeizhao Ou <peizhaoo@uci.edu>
Tue, 12 Jul 2016 08:58:40 +0000 (01:58 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Tue, 12 Jul 2016 08:58:40 +0000 (01:58 -0700)
commit6c052684208c5c9350ae50d532031ea0ee073d40
tree786a100945ab86d41d914683d7d2cad103b0a7ee
parentae001970e291857b3fc716f1a1e1472139a4faa6
add support for "C_RET, S_RET, JustifyingPre/Postconditions"
src/edu/uci/eecs/codeGenerator/Environment.java
src/edu/uci/eecs/specExtraction/SpecExtractor.java