add function calls for volatile loads and stores
authorweiyu <weiyuluo1232@gmail.com>
Mon, 22 Jul 2019 22:55:04 +0000 (15:55 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Mon, 22 Jul 2019 22:55:04 +0000 (15:55 -0700)
commit727d6b73ba2d22dbfca36f98b1136b2de74ac784
treef838f3551e4f2b40de47456a46ac6c8d9fb8384d
parentda513a6abd6fdfdd7050a668579b269bf8e077de
add function calls for volatile loads and stores
action.h
cmodelint.cc
include/cmodelint.h