model: change 'struct model_checker' to 'class ModelChecker'
-rw-r--r-- 72 .gitignore
-rw-r--r-- 280 Makefile
-rw-r--r-- 330 common.h
-rw-r--r-- 259 libatomic.c
-rw-r--r-- 619 libatomic.h
-rw-r--r-- 3263 libthreads.c
-rw-r--r-- 540 libthreads.h
-rw-r--r-- 549 model.c
-rw-r--r-- 334 model.h
-rw-r--r-- 1560 schedule.c
-rw-r--r-- 363 schedule.h
-rw-r--r-- 513 userprog.c