projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Do not allow a thread to stash the next pending action if its last action was a SLEEP...
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
 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
 commit | commitdiff | tree
2019-07-11 weiyucommit stuff before merge
 commit | commitdiff | tree
2019-07-10 weiyuaugment hashtable with keyset
 commit | commitdiff | tree
2019-07-09 weiyuadd entry atomic instructions to FuncNode
 commit | commitdiff | tree
2019-07-08 weiyuupdate Makefile and fix compilation error for printf...
commit | commitdiff | tree
2019-07-08 weiyumerge and resolve conflict
 commit | commitdiff | tree
2019-07-08 weiyuadd a new data structure in execution.h, which is used...
commit | commitdiff | tree
2019-07-08 weiyufactor out codes for FuncInst class
 commit | commitdiff | tree
2019-07-06 weiyutemporarily remove assertion for 'lock access before...
commit | commitdiff | tree
2019-07-06 weiyuadd func_map_rev to map function ids to function names
 commit | commitdiff | tree
2019-07-01 weiyuresolve git conflict
 commit | commitdiff | tree
2019-07-01 weiyufix git conflict
 commit | commitdiff | tree
2019-06-28 weiyumove work_list (thrd_func_list) from history.h to execution...
commit | commitdiff | tree
2019-06-28 weiyuchange data structures
 commit | commitdiff | tree
2019-06-27 weiyuupdate Makefile
 commit | commitdiff | tree
2019-06-27 weiyufactor codes in history.* and move it to funcnode.*
 commit | commitdiff | tree
2019-06-27 weiyuchange func_atomics and work_list to vectors
 commit | commitdiff | tree
2019-06-25 weiyuadd a new class 'ModelHistory'
 commit | commitdiff | tree
2019-06-24 weiyufix a bug for ATOMIC_RMWCAS
 commit | commitdiff | tree
2019-06-24 weiyuupdate test cases
 commit | commitdiff | tree
2019-06-24 weiyuadd run time library for function entries and exits
 commit | commitdiff | tree
2019-06-24 weiyuadd a separate rule for futex.o
 commit | commitdiff | tree
2019-06-17 weiyuimplement usleep and sleep system calls as no operation...
commit | commitdiff | tree
2019-06-17 weiyurename pthead.h to mypthread.h
 commit | commitdiff | tree
2019-06-14 weiyuadd source line number as a parameter to ModelAction
 commit | commitdiff | tree
2019-06-14 weiyuadd a missing line
 commit | commitdiff | tree
2019-06-14 weiyuadd support for function calls 'atomic_init' and 'atomic_com...
commit | commitdiff | tree
2019-06-14 weiyurename mypthread.h to pthread.h
 commit | commitdiff | tree
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit | commitdiff | tree
2019-06-10 weiyuMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit | commitdiff | tree
2019-06-10 weiyuadd subdirectory for tests
 commit | commitdiff | tree
2019-05-29 weiyuchange snapshot mode
 commit | commitdiff | tree
2019-05-29 weiyuclean up
 commit | commitdiff | tree
2019-05-29 weiyuadd futex.o as a recipe for libmodel
 commit | commitdiff | tree
2019-05-28 weiyuimplement futex.cc
 commit | commitdiff | tree
2019-05-28 weiyufix the case where no waiter is waiting
 commit | commitdiff | tree
2019-05-28 weiyuadd NOOP to action type
 commit | commitdiff | tree
2019-05-28 weiyuchange the namespace of mutex from std to cdsc
 commit | commitdiff | tree
2019-03-01 weiyuadd support for condition variable
 commit | commitdiff | tree
2019-02-15 weiyuclean up unnecessary member functions
 commit | commitdiff | tree
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
 commit | commitdiff | tree
2019-02-01 weiyupthread_join is able to return values
 commit | commitdiff | tree
2019-01-24 weiyuadd support for pthread_mutex
 commit | commitdiff | tree
2019-01-22 weiyupthread join seems to be working
 commit | commitdiff | tree
2019-01-22 weiyupthread_create is working now
 commit | commitdiff | tree
2019-01-18 weiyuadd support for pthread_create (in progress)
 commit | commitdiff | tree
2019-01-17 weiyuadd a new thread constructor for pthread
 commit | commitdiff | tree
2019-01-16 weiyutry to add support for pthread_create/pthread_join
 commit | commitdiff | tree
2019-01-08 weiyuremove two unnecessary files
 commit | commitdiff | tree
2019-01-08 weiyuchange cds checker to accomdate llvm pass
 commit | commitdiff | tree
2018-11-09 weiyuimprove randomization
 commit | commitdiff | tree
2018-10-26 weiyudelete plugins
 commit | commitdiff | tree
2018-10-26 weiyuremove plugins
 commit | commitdiff | tree
C11 Tester Tool Public Repository