function id should start with 1 rather than 0

allow the fuzzer to continue if only a few data races are detected

fix a bug about RaceRecord capacity

add asserts

ignore futex notify if no successful futex wait was performed in the same location in the first place

use the hashset and hashtable implementation from satcheck repo

fix a bug in cds_func_exit

fix a bug

Merge branch 'new_fuzzer' into branch-weiyu

commit stuff before merge

Get data race detector working...  Commented out function call code since it crashes...  I think you miss the case in which there is an exit w/o an entry because the function has an atomic that creates the model checker object...

augment hashtable with keyset

add entry atomic instructions to FuncNode

update Makefile and fix compilation error for printf.o temporarily

merge and resolve conflict

add a new data structure in execution.h, which is used by history.cc to link FuncInsts

factor out codes for FuncInst class

temporarily remove assertion for 'lock access before initialization'; to be improve in the future

add func_map_rev to map function ids to function names

Maintain list of writes

Optimize SC lookup

clean up code

get rid of nodestack

Fork handler mitigations

Fix printf compile issue

bug fix

memoize hb in writes

resolve git conflict

fix git conflict

Don't call printf

move check

add pthread_detach function

Fix bug

bug fixes

move work_list (thrd_func_list) from history.h to execution.h, and fix the memory issue for HashTable usage

tabbing plus lots of memory fixes

towards not calling system malloc

change data structures

bug fixes

revamp scheduler so we can start threads early

update Makefile

factor codes in history.* and move it to funcnode.*

change func_atomics and work_list to vectors

Get gdax to not crash

add more functions

Redo params

more fixes

bug fixes

more bug fixes

Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer

changes

More changes

get rid of some compile errors and warnings

redo model object initialization

add a new class 'ModelHistory'

fix a bug for ATOMIC_RMWCAS

update test cases

add run time library for function entries and exits

add a separate rule for futex.o

change exit we call so we don't call into client code

fix CAS operation

fix tabbing

Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into new_fuzzer

edits

performance improvements

Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer

prune mod order

changes

Optimizations

run tabbing pass

fixup merge a bit

Merge branch 'branch-weiyu' into new_fuzzer

merge

implement usleep and sleep system calls as no operation which returns control to model thread

rename pthead.h to mypthread.h

add source line number as a parameter to ModelAction

add a missing line

add support for function calls 'atomic_init' and 'atomic_compare_exchange()'

rename mypthread.h to pthread.h

Merge branch 'new_fuzzer' of /home/git/random-fuzzer into branch-weiyu

new cyclegraph

Merge branch 'new_fuzzer' into tmp

Don't do complete checks until we choose store to read from

partial edits

Remove backedges from cyclegraph

fix tabbing comment issue

uncrustify options

reorder fields to save space

fix tabbing

fix tabbing

remove extra cyclegraph calls

Fix RMW bug

Merge branch 'branch-weiyu' of /home/git/random-fuzzer into branch-weiyu

add subdirectory for tests

add uncrustify option

refactor choices into own class

make some changes with hacks

More fuzzing changes

remove another field

Revert "delete plugins"

This reverts commit 6535eebefaea5a67d17fd074d2b446a51df7c6a4.