Modify the implementation of wait and timed wait operation

Do not process read actions paused by the fuzzer

seems to work

When an atomic read action cannot read from a desired write, make this thread sleep; half working now, still got some bug to fix

split add_action_to_lists into to two functions and change the order of how things are processed in check_current_action

remove a redundant member function that I added before

fix bug by changing MEMALLOC to SNAPSHOTALLOC

improve efficiency of selectWrite

remove unused member functions

move codes around in history.cc, and NewFuzzer::selectWrite is half working

remove unused member functions and add a new data structure

only select a new predicate branch when new read actions are processed

some edits to NewFuzzer

performace fix

fix bug

add a data structrue to keep track of the run-time position in the predicate tree for each thread

initial commit for declaring member functions of Fuzzer as virtual

only generate NULLITY predicate when it has ever been NULL; able to amend predicates that contain no predicate expressions

get rid of an unused function

restructure the codes that generate predicates

restructure code and working on deconstructors

experiment with generating equality predicates across memory locations; it seems to work, but codes can be reorganized

deduce which locations may share the same value from val_loc_map

update FuncNodes when there is a write

add helper functions; prepare for computing which memory locations may store the same values

Merge branch 'master' into branch-weiyu

allow ModelHistory to process non-atomic actions when they are created

reset memory locations of FuncInsts when new executions start

Add mailing list

Remove msqueue test case

Fix compile and readme

memory locations should not outlive executions

change the way to detect loops

defer the initial update of predicate tree for a better quality tree; generate nullity predicates when new Predicate nodes are created instead of changing unset predicates to nullity later

try to infer nullity predicate inside update_predicate_tree. Maybe rethink about the way to check back edges

change the structure of predicate expressions, and modify the way nullity predicates are added

experiment with adding NULLITY predicate

do optimization for FuncNode::update_tree

revert commit

fix a bug about get_reads_from_value

get rid of read_val_map; A bug is discovered.

fix bug - 'backedge' in predicate.cc uninitialized

fix bug

add a dummy predicate entry node to make code simpler; back edges are also added

restructrue code of funcnode.cc, and planning for adding back edges in predicate tree

Split FuncNode::get_or_add_inst into two separate functions.  Call add_inst inside process_action so that func_insts corresponding to ATOMIC RMWRCAS actions are created before those actions are converted to ATOMIC RMWR or ATOMIC READ

move modelhistory code back

toward updating predicate trees every time a function exits

move the codes that add actions to thrd_func_act_lists from history.cc to ModelExecution::add_action_to_lists

fix a bug and print predicate tree in xdot syntax

toward building a naive predicate tree

add print

move code around

unlink the extra tmp file generated

little fixes

merge

Switch from pipes to temporary file to store program output to get rid length limits.

Get GDAX working.

add sleep support

change the data structure of thrd_func_inst_list because more information about the action trace is needed

initialize memory location first

bug fix

fix bug

merge

tabbing

bug fix for snapshotting code

bug fix

change some data structures

bug fixes

Get code to compile

bug fix

edits

edits

more code

move write_history to funcnode.cc was a mistake

more fixes

towards getting rid of STL

remove STL vector

more fixes

move write_history to funcnode.cc and do experiment

edits

edits

fix bug

add pthread_cond_destory

performance fix

Fix performance issue

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

bug fix

bug fix

edit

improve complexity

bug fix

remove print statements

Lock model check when we terminate proxy thread

New TLS strategy...

Merge branch 'new_fuzzer' into branch-weiyu

planning to build a predicate generator based on values that have been written to memory locations historically

Bug fixes to atomic logic

Experimental TLS support.

little fixes