projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix waiter list
2019-09-19 weiyuFix a bug in pthread_mutex_unlock; initialize mutex...
commit | commitdiff | tree
2019-09-19 weiyuKeep track of which FuncNodes may write to a memory...
commit | commitdiff | tree
2019-09-17 weiyuAdd comment about the difference between ModelAction...
commit | commitdiff | tree
2019-09-16 weiyuConstruct the graph of methods based on the order that...
commit | commitdiff | tree
2019-09-13 weiyuAdd edges between FuncNodes
 commit | commitdiff | tree
2019-09-12 weiyuChange action_list_buffer to snapshot memory instead...
commit | commitdiff | tree
2019-09-11 weiyuMake sure that actions that do writes are labeled correctly...
commit | commitdiff | tree
2019-09-10 weiyuReorganize codes
 commit | commitdiff | tree
2019-09-10 weiyuAdd atomic write actions to predicate trees
 commit | commitdiff | tree
2019-09-09 weiyuRemove an unused data structure
 commit | commitdiff | tree
2019-09-09 weiyuRemove unused codes
 commit | commitdiff | tree
2019-09-06 weiyuModify the implementation of wait and timed wait operation
 commit | commitdiff | tree
2019-09-05 weiyuDo not process read actions paused by the fuzzer
 commit | commitdiff | tree
2019-09-05 weiyuseems to work
 commit | commitdiff | tree
2019-09-05 weiyuWhen an atomic read action cannot read from a desired...
commit | commitdiff | tree
2019-09-03 weiyusplit add_action_to_lists into to two functions and...
commit | commitdiff | tree
2019-08-30 weiyuremove a redundant member function that I added before
 commit | commitdiff | tree
2019-08-29 weiyufix bug by changing MEMALLOC to SNAPSHOTALLOC
 commit | commitdiff | tree
2019-08-29 weiyuimprove efficiency of selectWrite
 commit | commitdiff | tree
2019-08-29 weiyuremove unused member functions
 commit | commitdiff | tree
2019-08-28 weiyumove codes around in history.cc, and NewFuzzer::selectWrite...
commit | commitdiff | tree
2019-08-28 weiyuremove unused member functions and add a new data structure
 commit | commitdiff | tree
2019-08-28 weiyuonly select a new predicate branch when new read actions...
commit | commitdiff | tree
2019-08-27 weiyusome edits to NewFuzzer
 commit | commitdiff | tree
2019-08-27 weiyuperformace fix
 commit | commitdiff | tree
2019-08-26 weiyufix bug
 commit | commitdiff | tree
2019-08-26 weiyuadd a data structrue to keep track of the run-time...
commit | commitdiff | tree
2019-08-26 weiyuinitial commit for declaring member functions of Fuzzer...
commit | commitdiff | tree
2019-08-24 weiyuonly generate NULLITY predicate when it has ever been...
commit | commitdiff | tree
2019-08-23 weiyuget rid of an unused function
 commit | commitdiff | tree
2019-08-23 weiyurestructure the codes that generate predicates
 commit | commitdiff | tree
2019-08-23 weiyurestructure code and working on deconstructors
 commit | commitdiff | tree
2019-08-22 weiyuexperiment with generating equality predicates across...
commit | commitdiff | tree
2019-08-22 weiyudeduce which locations may share the same value from...
commit | commitdiff | tree
2019-08-22 weiyuupdate FuncNodes when there is a write
 commit | commitdiff | tree
2019-08-21 weiyuadd helper functions; prepare for computing which memory...
commit | commitdiff | tree
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
Merge branch 'master' into branch-weiyu
 commit | commitdiff | tree
2019-08-20 weiyuallow ModelHistory to process non-atomic actions when...
commit | commitdiff | tree
2019-08-20 weiyureset memory locations of FuncInsts when new executions...
commit | commitdiff | tree
2019-08-20 weiyumemory locations should not outlive executions
 commit | commitdiff | tree
2019-08-16 weiyuchange the way to detect loops
 commit | commitdiff | tree
2019-08-16 weiyudefer the initial update of predicate tree for a better...
commit | commitdiff | tree
2019-08-16 weiyutry to infer nullity predicate inside update_predicate_tree...
commit | commitdiff | tree
2019-08-15 weiyuchange the structure of predicate expressions, and...
commit | commitdiff | tree
2019-08-14 weiyuexperiment with adding NULLITY predicate
 commit | commitdiff | tree
2019-08-13 weiyudo optimization for FuncNode::update_tree
 commit | commitdiff | tree
2019-08-12 weiyurevert commit
 commit | commitdiff | tree
2019-08-12 weiyufix a bug about get_reads_from_value
 commit | commitdiff | tree
2019-08-09 weiyuget rid of read_val_map; A bug is discovered.
 commit | commitdiff | tree
2019-08-09 weiyufix bug - 'backedge' in predicate.cc uninitialized
 commit | commitdiff | tree
2019-08-09 weiyufix bug
 commit | commitdiff | tree
2019-08-08 weiyuadd a dummy predicate entry node to make code simpler...
commit | commitdiff | tree
2019-08-08 weiyurestructrue code of funcnode.cc, and planning for adding...
commit | commitdiff | tree
2019-08-07 weiyuSplit FuncNode::get_or_add_inst into two separate functions...
commit | commitdiff | tree
2019-08-06 weiyumove modelhistory code back
 commit | commitdiff | tree
2019-08-06 weiyutoward updating predicate trees every time a function...
commit | commitdiff | tree
2019-08-05 weiyumove the codes that add actions to thrd_func_act_lists...
commit | commitdiff | tree
2019-08-05 weiyufix a bug and print predicate tree in xdot syntax
 commit | commitdiff | tree
2019-08-03 weiyutoward building a naive predicate tree
 commit | commitdiff | tree
2019-08-03 weiyuadd print
 commit | commitdiff | tree
2019-08-02 weiyumove code around
 commit | commitdiff | tree
2019-08-01 weiyuunlink the extra tmp file generated
 commit | commitdiff | tree
2019-08-01 weiyulittle fixes
 commit | commitdiff | tree
2019-08-01 weiyumerge
 commit | commitdiff | tree
2019-08-01 weiyuchange the data structure of thrd_func_inst_list because...
commit | commitdiff | tree
2019-07-31 weiyuinitialize memory location first
 commit | commitdiff | tree
2019-07-31 weiyubug fix
 commit | commitdiff | tree
2019-07-31 weiyufix bug
 commit | commitdiff | tree
2019-07-31 weiyumerge
 commit | commitdiff | tree
2019-07-31 weiyuchange some data structures
 commit | commitdiff | tree
2019-07-30 weiyubug fix
 commit | commitdiff | tree
2019-07-30 weiyumove write_history to funcnode.cc was a mistake
 commit | commitdiff | tree
2019-07-30 weiyumove write_history to funcnode.cc and do experiment
 commit | commitdiff | tree
2019-07-29 weiyufix bug
 commit | commitdiff | tree
2019-07-29 weiyuadd pthread_cond_destory
 commit | commitdiff | tree
2019-07-29 weiyuperformance fix
 commit | commitdiff | tree
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
 ...branch 'new_fuzzer' into branch-weiyu
 commit | commitdiff | tree
2019-07-27 weiyuplanning to build a predicate generator based on values...
commit | commitdiff | tree
2019-07-25 weiyulittle fixes
 commit | commitdiff | tree
2019-07-25 weiyuavoid the use of 'func_id_list_t *' to prevent potential...
commit | commitdiff | tree
2019-07-23 weiyufix bug
 commit | commitdiff | tree
2019-07-23 weiyuinitialize the newly added element in the vector when...
commit | commitdiff | tree
2019-07-22 weiyuadd function calls for volatile loads and stores
 commit | commitdiff | tree
2019-07-22 weiyuadd a special order for volatile loads and stores
 commit | commitdiff | tree
2019-07-20 weiyuable to get a FuncNode by function id
 commit | commitdiff | tree
2019-07-19 weiyumove the 'link_insts' method to FuncNode class
 commit | commitdiff | tree
2019-07-19 weiyuchange the data structure for storing last read values...
commit | commitdiff | tree
2019-07-19 weiyuadd pthread_cond_broadcast
 commit | commitdiff | tree
2019-07-19 weiyuadd a data structure to store the values read by last...
commit | commitdiff | tree
2019-07-18 weiyuname variables
 commit | commitdiff | tree
2019-07-18 weiyufunction id should start with 1 rather than 0
 commit | commitdiff | tree
2019-07-16 weiyuallow the fuzzer to continue if only a few data races...
commit | commitdiff | tree
2019-07-15 weiyufix a bug about RaceRecord capacity
 commit | commitdiff | tree
2019-07-15 weiyuignore futex notify if no successful futex wait was...
commit | commitdiff | tree
2019-07-15 weiyuuse the hashset and hashtable implementation from satcheck...
commit | commitdiff | tree
2019-07-12 weiyufix a bug in cds_func_exit
 commit | commitdiff | tree
2019-07-12 weiyufix a bug
 commit | commitdiff | tree
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu
 ...branch 'new_fuzzer' into branch-weiyu
 commit | commitdiff | tree
2019-07-11 weiyucommit stuff before merge
 commit | commitdiff | tree
2019-07-10 weiyuaugment hashtable with keyset
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository