model: rename check_current_action() local variables
-rw-r--r-- 75 .gitignore
-rw-r--r-- 971 Makefile
-rw-r--r-- 1835 action.cc
-rw-r--r-- 1410 action.h
-rw-r--r-- 1263 clockvector.cc
-rw-r--r-- 394 clockvector.h
-rw-r--r-- 697 common.h
-rw-r--r-- 523 libatomic.cc
-rw-r--r-- 771 libatomic.h
-rw-r--r-- 776 librace.cc
-rw-r--r-- 452 librace.h
-rw-r--r-- 958 libthreads.cc
-rw-r--r-- 374 libthreads.h
-rw-r--r-- 1325 main.cc
-rw-r--r-- 825 malloc.c
-rw-r--r-- 6572 model.cc
-rw-r--r-- 1635 model.h
-rw-r--r-- 3336 nodestack.cc
-rw-r--r-- 1217 nodestack.h
-rwxr-xr-x 44 run.sh
-rw-r--r-- 1002 schedule.cc
-rw-r--r-- 363 schedule.h
-rw-r--r-- 1666 threads.cc
-rw-r--r-- 1150 threads.h
-rw-r--r-- 1306 tree.cc
-rw-r--r-- 922 tree.h
-rw-r--r-- 703 userprog.c