Makefile: only build a single shared library
-rw-r--r-- 34 .dir-locals.el
-rw-r--r-- 75 .gitignore
-rw-r--r-- 1410 Makefile
-rw-r--r-- 1835 action.cc
-rw-r--r-- 1510 action.h
-rw-r--r-- 1263 clockvector.cc
-rw-r--r-- 394 clockvector.h
-rw-r--r-- 662 common.h
-rw-r--r-- 538 libatomic.cc
-rw-r--r-- 771 libatomic.h
-rw-r--r-- 958 librace.cc
-rw-r--r-- 452 librace.h
-rw-r--r-- 964 libthreads.cc
-rw-r--r-- 380 libthreads.h
-rw-r--r-- 1918 main.cc
-rw-r--r-- 220076 malloc.c
-rw-r--r-- 6624 model.cc
-rw-r--r-- 1763 model.h
-rw-r--r-- 1449 mymemory.cc
-rw-r--r-- 3800 mymemory.h
-rw-r--r-- 3268 nodestack.cc
-rw-r--r-- 1217 nodestack.h
-rwxr-xr-x 43 run.sh
-rw-r--r-- 1069 schedule.cc
-rw-r--r-- 432 schedule.h
-rw-r--r-- 3094 snapshot-interface.cc
-rw-r--r-- 826 snapshot-interface.h
-rw-r--r-- 10307 snapshot.cc
-rw-r--r-- 607 snapshot.h
-rw-r--r-- 2460 snapshotimp.h
-rw-r--r-- 1720 threads.cc
-rw-r--r-- 1157 threads.h
-rw-r--r-- 1413 tree.cc
-rw-r--r-- 1061 tree.h
-rw-r--r-- 795 userprog.c