libthreads: use model-checker's thread ID assignment
-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-- 3276 libthreads.c
-rw-r--r-- 539 libthreads.h
-rw-r--r-- 650 model.c
-rw-r--r-- 373 model.h
-rw-r--r-- 1560 schedule.c
-rw-r--r-- 371 schedule.h
-rw-r--r-- 492 userprog.c