model: print 'number of executions'
-rw-r--r-- 67 .gitignore
-rw-r--r-- 332 Makefile
-rw-r--r-- 384 common.h
-rw-r--r-- 376 libatomic.cc
-rw-r--r-- 619 libatomic.h
-rw-r--r-- 951 libthreads.cc
-rw-r--r-- 338 libthreads.h
-rw-r--r-- 794 malloc.c
-rw-r--r-- 5574 model.cc
-rw-r--r-- 2485 model.h
-rw-r--r-- 892 schedule.cc
-rw-r--r-- 331 schedule.h
-rw-r--r-- 2839 threads.cc
-rw-r--r-- 842 threads.h
-rw-r--r-- 919 tree.cc
-rw-r--r-- 775 tree.h
-rw-r--r-- 542 userprog.c