small fixup f-a-b print ordering
Turn on stack rabbit and fix buges in MEM_TRANSLATE to make it work happily
Don't update sched state machine for user activity outside the intended user VM
Suppress false positive data races from free-re-malloc situations. Fix #23.
Oh yeah, that's why the lmm remove free logic wasn't in sched to begin with. Fix buge.
cosmetic improvements and TID hints in html traces
improve data race prints - print tids as well
cosmetic fix to console traces
Add annotations for kernel mutex trylock
Track mutex trylock actions in lockset, fixing spurious data race reports in pobbles
tiny cosmetic fix
Fix another case of spurious kernel data race reports - close #53
improve data race printing infos
fix recursive lock/trylock problem with trylock's own flag
more informative save message re voluntary vs preemptive
Fix corner case spurious data races by ignoring stray accesses after just_jumped instruction.
tweak print statements in explore
Rearrange functions in memory.c to make more sense (no logic changes)
add definition for xbranch data race tracking, which glows green
Define a data race rbtree and use it to track suspected vs confirmed DRs