fix more signed/unsigned bugs. i have trolled myself.
COMPUTERS, MAN. HOW DO THEY WORK. (#71)
print INF special case time estimate
fix bug in within_function to respect last instr in function (relevant for mutex_unlock)
Abort instead of getting stuck when TOO_MANY_INTERRUPTS during schedule inflight. Fix #18.
cosmetic changes to explore; reorder code / fix comment
Fix idle-as-cur_agent problem causing bug in dpor tagging. Close #74.
Relax user yield activity to identify yield-loop-blocking with mutex locks/unlocks, such as in paraguay. Fix #73.
Fix yieldblocking bug by allowing untagging branches, and account for changes during estimation.
Prune all unexplored subtrees of an already-executed node when we find out it was actually yield-blocked.
KEEP_RUNNING_YIELDING_THREADS in arbiter.
debug prints in estimate.c
add vm_user_copy flag, prep for #57
fix some unsigned
Use vm_user_copy flag in memory to track syscall r/w from user mem, e.g. deschedule reject ptr. Fix #57.
fix comment