weiyu [Wed, 31 Jul 2019 20:02:27 +0000 (13:02 -0700)]
bug fix
weiyu [Wed, 31 Jul 2019 08:27:03 +0000 (01:27 -0700)]
fix bug
weiyu [Wed, 31 Jul 2019 07:52:05 +0000 (00:52 -0700)]
merge
root [Wed, 31 Jul 2019 05:40:15 +0000 (22:40 -0700)]
tabbing
root [Wed, 31 Jul 2019 05:40:01 +0000 (22:40 -0700)]
bug fix for snapshotting code
root [Wed, 31 Jul 2019 04:12:43 +0000 (21:12 -0700)]
bug fix
weiyu [Wed, 31 Jul 2019 01:52:56 +0000 (18:52 -0700)]
change some data structures
root [Wed, 31 Jul 2019 01:48:04 +0000 (18:48 -0700)]
bug fixes
bdemsky [Wed, 31 Jul 2019 01:23:10 +0000 (18:23 -0700)]
Get code to compile
weiyu [Tue, 30 Jul 2019 22:03:03 +0000 (15:03 -0700)]
bug fix
root [Tue, 30 Jul 2019 21:19:46 +0000 (14:19 -0700)]
edits
root [Tue, 30 Jul 2019 21:03:06 +0000 (14:03 -0700)]
edits
root [Tue, 30 Jul 2019 20:57:18 +0000 (13:57 -0700)]
more code
weiyu [Tue, 30 Jul 2019 20:50:24 +0000 (13:50 -0700)]
move write_history to funcnode.cc was a mistake
root [Tue, 30 Jul 2019 20:46:23 +0000 (13:46 -0700)]
more fixes
root [Tue, 30 Jul 2019 20:32:11 +0000 (13:32 -0700)]
towards getting rid of STL
root [Tue, 30 Jul 2019 18:56:53 +0000 (11:56 -0700)]
remove STL vector
bdemsky [Tue, 30 Jul 2019 00:54:01 +0000 (17:54 -0700)]
more fixes
weiyu [Tue, 30 Jul 2019 00:43:58 +0000 (17:43 -0700)]
move write_history to funcnode.cc and do experiment
bdemsky [Mon, 29 Jul 2019 21:47:55 +0000 (14:47 -0700)]
edits
root [Mon, 29 Jul 2019 21:40:11 +0000 (14:40 -0700)]
edits
weiyu [Mon, 29 Jul 2019 19:54:59 +0000 (12:54 -0700)]
fix bug
weiyu [Mon, 29 Jul 2019 19:44:25 +0000 (12:44 -0700)]
add pthread_cond_destory
weiyu [Mon, 29 Jul 2019 19:44:05 +0000 (12:44 -0700)]
performance fix
root [Mon, 29 Jul 2019 19:32:51 +0000 (12:32 -0700)]
Fix performance issue
root [Mon, 29 Jul 2019 19:21:02 +0000 (12:21 -0700)]
Merge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer
root [Mon, 29 Jul 2019 04:07:16 +0000 (21:07 -0700)]
bug fix
root [Sun, 28 Jul 2019 06:49:01 +0000 (23:49 -0700)]
bug fix
root [Sun, 28 Jul 2019 06:18:57 +0000 (23:18 -0700)]
edit
bdemsky [Sun, 28 Jul 2019 06:11:11 +0000 (23:11 -0700)]
improve complexity
root [Sat, 27 Jul 2019 08:08:49 +0000 (01:08 -0700)]
bug fix
root [Sat, 27 Jul 2019 07:35:24 +0000 (00:35 -0700)]
remove print statements
root [Sat, 27 Jul 2019 07:33:35 +0000 (00:33 -0700)]
Lock model check when we terminate proxy thread
bdemsky [Sat, 27 Jul 2019 06:33:32 +0000 (23:33 -0700)]
New TLS strategy...
weiyu [Sat, 27 Jul 2019 01:27:06 +0000 (18:27 -0700)]
Merge branch 'new_fuzzer' into branch-weiyu
weiyu [Sat, 27 Jul 2019 01:23:50 +0000 (18:23 -0700)]
planning to build a predicate generator based on values that have been written to memory locations historically
root [Thu, 25 Jul 2019 20:59:59 +0000 (13:59 -0700)]
Bug fixes to atomic logic
root [Thu, 25 Jul 2019 19:55:24 +0000 (12:55 -0700)]
Experimental TLS support.
weiyu [Thu, 25 Jul 2019 01:04:18 +0000 (18:04 -0700)]
little fixes
weiyu [Thu, 25 Jul 2019 00:09:41 +0000 (17:09 -0700)]
avoid the use of 'func_id_list_t *' to prevent potential seg faults
root [Wed, 24 Jul 2019 02:43:50 +0000 (19:43 -0700)]
Make everything do stores + add more buffer for printing
root [Tue, 23 Jul 2019 21:49:38 +0000 (14:49 -0700)]
Merge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer
weiyu [Tue, 23 Jul 2019 18:32:11 +0000 (11:32 -0700)]
fix bug
Brian Demsky [Tue, 23 Jul 2019 03:10:35 +0000 (20:10 -0700)]
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
root [Tue, 23 Jul 2019 03:10:16 +0000 (20:10 -0700)]
Add model checker check before trylock
weiyu [Tue, 23 Jul 2019 02:45:31 +0000 (19:45 -0700)]
initialize the newly added element in the vector when resizing func_nodes
bdemsky [Tue, 23 Jul 2019 00:22:36 +0000 (17:22 -0700)]
Name change
bdemsky [Tue, 23 Jul 2019 00:20:06 +0000 (17:20 -0700)]
Remove mention of CDSChecker
Brian Demsky [Mon, 22 Jul 2019 23:44:54 +0000 (16:44 -0700)]
bug fix
root [Mon, 22 Jul 2019 23:40:32 +0000 (16:40 -0700)]
remove some datarace code
Brian Demsky [Mon, 22 Jul 2019 23:35:21 +0000 (16:35 -0700)]
fix merge issue
Brian Demsky [Mon, 22 Jul 2019 23:27:29 +0000 (16:27 -0700)]
volatile support
root [Mon, 22 Jul 2019 23:04:26 +0000 (16:04 -0700)]
fix conflict
weiyu [Mon, 22 Jul 2019 22:55:04 +0000 (15:55 -0700)]
add function calls for volatile loads and stores
Brian Demsky [Mon, 22 Jul 2019 22:35:57 +0000 (15:35 -0700)]
Support for reading from nonatomic stores...A little slow due to all of the backtrace calls.
weiyu [Mon, 22 Jul 2019 19:17:49 +0000 (12:17 -0700)]
add a special order for volatile loads and stores
weiyu [Sat, 20 Jul 2019 00:39:33 +0000 (17:39 -0700)]
able to get a FuncNode by function id
weiyu [Fri, 19 Jul 2019 23:56:43 +0000 (16:56 -0700)]
move the 'link_insts' method to FuncNode class
weiyu [Fri, 19 Jul 2019 21:35:25 +0000 (14:35 -0700)]
change the data structure for storing last read values. The old one 'loc_thrd_read_map' may sometimes contain wrong values
weiyu [Fri, 19 Jul 2019 18:17:58 +0000 (11:17 -0700)]
add pthread_cond_broadcast
root [Fri, 19 Jul 2019 02:37:38 +0000 (19:37 -0700)]
More code towards support non-atomic stores
weiyu [Fri, 19 Jul 2019 00:14:44 +0000 (17:14 -0700)]
add a data structure to store the values read by last read actions of each thread for each memory location
bdemsky [Fri, 19 Jul 2019 00:04:37 +0000 (17:04 -0700)]
Add support for converting normal writes into ModelActions after the fact
weiyu [Thu, 18 Jul 2019 18:57:17 +0000 (11:57 -0700)]
name variables
weiyu [Thu, 18 Jul 2019 18:36:41 +0000 (11:36 -0700)]
function id should start with 1 rather than 0
bdemsky [Wed, 17 Jul 2019 00:03:54 +0000 (17:03 -0700)]
Track whether a write was from an atomic
bdemsky [Tue, 16 Jul 2019 23:34:29 +0000 (16:34 -0700)]
Make atomics actually write to memory for compatibility with normal accesses
bdemsky [Tue, 16 Jul 2019 23:17:42 +0000 (16:17 -0700)]
eliminate redundancy
bdemsky [Tue, 16 Jul 2019 20:25:26 +0000 (13:25 -0700)]
Towards not reporting the same datarace twice
bdemsky [Tue, 16 Jul 2019 17:26:13 +0000 (10:26 -0700)]
run tabbing pass
weiyu [Tue, 16 Jul 2019 01:25:06 +0000 (18:25 -0700)]
allow the fuzzer to continue if only a few data races are detected
weiyu [Mon, 15 Jul 2019 22:48:21 +0000 (15:48 -0700)]
fix a bug about RaceRecord capacity
bdemsky [Mon, 15 Jul 2019 22:00:09 +0000 (15:00 -0700)]
add asserts
weiyu [Mon, 15 Jul 2019 20:28:39 +0000 (13:28 -0700)]
ignore futex notify if no successful futex wait was performed in the same location in the first place
weiyu [Mon, 15 Jul 2019 18:31:53 +0000 (11:31 -0700)]
use the hashset and hashtable implementation from satcheck repo
weiyu [Fri, 12 Jul 2019 20:30:36 +0000 (13:30 -0700)]
fix a bug in cds_func_exit
weiyu [Fri, 12 Jul 2019 19:09:12 +0000 (12:09 -0700)]
fix a bug
weiyu [Thu, 11 Jul 2019 23:48:50 +0000 (16:48 -0700)]
Merge branch 'new_fuzzer' into branch-weiyu
weiyu [Thu, 11 Jul 2019 23:38:06 +0000 (16:38 -0700)]
commit stuff before merge
root [Thu, 11 Jul 2019 18:39:35 +0000 (11:39 -0700)]
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...
weiyu [Wed, 10 Jul 2019 23:23:09 +0000 (16:23 -0700)]
augment hashtable with keyset
weiyu [Tue, 9 Jul 2019 22:49:48 +0000 (15:49 -0700)]
add entry atomic instructions to FuncNode
weiyu [Mon, 8 Jul 2019 23:51:25 +0000 (16:51 -0700)]
update Makefile and fix compilation error for printf.o temporarily
weiyu [Mon, 8 Jul 2019 23:45:24 +0000 (16:45 -0700)]
merge and resolve conflict
weiyu [Mon, 8 Jul 2019 23:32:55 +0000 (16:32 -0700)]
add a new data structure in execution.h, which is used by history.cc to link FuncInsts
weiyu [Mon, 8 Jul 2019 23:10:17 +0000 (16:10 -0700)]
factor out codes for FuncInst class
weiyu [Sat, 6 Jul 2019 00:28:37 +0000 (17:28 -0700)]
temporarily remove assertion for 'lock access before initialization'; to be improve in the future
weiyu [Sat, 6 Jul 2019 00:27:16 +0000 (17:27 -0700)]
add func_map_rev to map function ids to function names
bdemsky [Wed, 3 Jul 2019 23:24:12 +0000 (16:24 -0700)]
Maintain list of writes
bdemsky [Wed, 3 Jul 2019 23:08:15 +0000 (16:08 -0700)]
Optimize SC lookup
Brian Demsky [Wed, 3 Jul 2019 22:58:24 +0000 (15:58 -0700)]
clean up code
root [Wed, 3 Jul 2019 20:36:54 +0000 (13:36 -0700)]
get rid of nodestack
root [Wed, 3 Jul 2019 20:06:02 +0000 (13:06 -0700)]
Fork handler mitigations
root [Wed, 3 Jul 2019 00:26:38 +0000 (17:26 -0700)]
Fix printf compile issue
root [Tue, 2 Jul 2019 17:33:04 +0000 (10:33 -0700)]
bug fix
bdemsky [Tue, 2 Jul 2019 06:02:15 +0000 (23:02 -0700)]
memoize hb in writes
weiyu [Mon, 1 Jul 2019 18:59:13 +0000 (11:59 -0700)]
resolve git conflict
weiyu [Mon, 1 Jul 2019 18:47:38 +0000 (11:47 -0700)]
fix git conflict
Brian Demsky [Sun, 30 Jun 2019 06:36:47 +0000 (02:36 -0400)]
Don't call printf
bdemsky [Sat, 29 Jun 2019 22:20:59 +0000 (15:20 -0700)]
move check
projects / c11tester.git / log