fix exit message and exit status for DECISION_INFO_ONLY
Make lockset track write mode / read mode in prep for rwlocks
Instrument userspace rwlocks for lockset tracking
hack around vanishing symtable problem by making userdebug.py never forget symtables.
Add user_within_functions; rename {,kern_}within_functions, and add some basic userspace choice poince in arbiter.
Add user_yielding
Add user blocked/yielding flags and track user mutex contenders.
Add user mutex_init hook.
Learn mutex size and find when rogue user mutex accesses unblock contenders.
Improve stack traces: find user syscall wrappers, traverse user-kernel iret blocks, fix stack_offset bugs, check ebp corner cases.
Suppress some infos depending on verbosity.
Print locksets when printing data races.
fix terrible lockset bug
Put push-ebp-like memory accesses 'leaked' from decision point instructions into the saved oldmem instead of the current mem. Fixes spurious data races and probably also helps reduction.
Switch 'bool write' to enum lock_type to support same-addr mutexes/rwlocks/etc.