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
root [Sat, 29 Jun 2019 20:36:29 +0000 (13:36 -0700)]
add pthread_detach function
Brian Demsky [Sat, 29 Jun 2019 20:10:06 +0000 (13:10 -0700)]
Fix bug
root [Sat, 29 Jun 2019 05:35:28 +0000 (22:35 -0700)]
bug fixes
weiyu [Fri, 28 Jun 2019 19:42:35 +0000 (12:42 -0700)]
move work_list (thrd_func_list) from history.h to execution.h, and fix the memory issue for HashTable usage
root [Fri, 28 Jun 2019 19:32:51 +0000 (12:32 -0700)]
tabbing plus lots of memory fixes
root [Fri, 28 Jun 2019 18:55:28 +0000 (11:55 -0700)]
towards not calling system malloc
weiyu [Fri, 28 Jun 2019 01:35:14 +0000 (18:35 -0700)]
change data structures
root [Thu, 27 Jun 2019 22:12:34 +0000 (15:12 -0700)]
bug fixes
bdemsky [Thu, 27 Jun 2019 21:39:01 +0000 (14:39 -0700)]
revamp scheduler so we can start threads early
weiyu [Thu, 27 Jun 2019 18:49:53 +0000 (11:49 -0700)]
update Makefile
weiyu [Thu, 27 Jun 2019 18:45:24 +0000 (11:45 -0700)]
factor codes in history.* and move it to funcnode.*
weiyu [Thu, 27 Jun 2019 00:13:07 +0000 (17:13 -0700)]
change func_atomics and work_list to vectors
Brian Demsky [Wed, 26 Jun 2019 23:29:31 +0000 (16:29 -0700)]
Get gdax to not crash
bdemsky [Wed, 26 Jun 2019 23:19:56 +0000 (16:19 -0700)]
add more functions
bdemsky [Wed, 26 Jun 2019 21:46:48 +0000 (14:46 -0700)]
Redo params
bdemsky [Wed, 26 Jun 2019 20:37:14 +0000 (13:37 -0700)]
more fixes
bdemsky [Wed, 26 Jun 2019 20:23:27 +0000 (13:23 -0700)]
bug fixes
bdemsky [Wed, 26 Jun 2019 20:18:06 +0000 (13:18 -0700)]
more bug fixes
root [Wed, 26 Jun 2019 20:04:49 +0000 (13:04 -0700)]
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
root [Wed, 26 Jun 2019 20:04:45 +0000 (13:04 -0700)]
changes
bdemsky [Wed, 26 Jun 2019 20:02:28 +0000 (13:02 -0700)]
More changes
bdemsky [Wed, 26 Jun 2019 17:33:37 +0000 (10:33 -0700)]
get rid of some compile errors and warnings
bdemsky [Wed, 26 Jun 2019 17:20:49 +0000 (10:20 -0700)]
redo model object initialization
weiyu [Tue, 25 Jun 2019 22:05:12 +0000 (15:05 -0700)]
add a new class 'ModelHistory'
weiyu [Mon, 24 Jun 2019 20:33:04 +0000 (13:33 -0700)]
fix a bug for ATOMIC_RMWCAS
weiyu [Mon, 24 Jun 2019 19:45:32 +0000 (12:45 -0700)]
update test cases
weiyu [Mon, 24 Jun 2019 19:43:31 +0000 (12:43 -0700)]
add run time library for function entries and exits
weiyu [Mon, 24 Jun 2019 19:42:46 +0000 (12:42 -0700)]
add a separate rule for futex.o
root [Fri, 21 Jun 2019 18:43:15 +0000 (11:43 -0700)]
change exit we call so we don't call into client code
bdemsky [Fri, 21 Jun 2019 18:34:49 +0000 (11:34 -0700)]
fix CAS operation
bdemsky [Fri, 21 Jun 2019 15:38:27 +0000 (08:38 -0700)]
fix tabbing
bdemsky [Fri, 21 Jun 2019 15:37:40 +0000 (08:37 -0700)]
Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into new_fuzzer
bdemsky [Fri, 21 Jun 2019 15:37:29 +0000 (08:37 -0700)]
edits
Brian Demsky [Fri, 21 Jun 2019 05:31:45 +0000 (22:31 -0700)]
performance improvements
Brian Demsky [Fri, 21 Jun 2019 05:01:05 +0000 (22:01 -0700)]
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
root [Fri, 21 Jun 2019 05:00:03 +0000 (22:00 -0700)]
prune mod order
bdemsky [Fri, 21 Jun 2019 04:59:17 +0000 (21:59 -0700)]
changes
Brian Demsky [Thu, 20 Jun 2019 20:29:33 +0000 (13:29 -0700)]
Optimizations
Brian Demsky [Wed, 19 Jun 2019 21:13:40 +0000 (14:13 -0700)]
run tabbing pass
Brian Demsky [Wed, 19 Jun 2019 21:12:38 +0000 (14:12 -0700)]
fixup merge a bit
Brian Demsky [Wed, 19 Jun 2019 20:59:56 +0000 (13:59 -0700)]
Merge branch 'branch-weiyu' into new_fuzzer
root [Wed, 19 Jun 2019 20:52:43 +0000 (13:52 -0700)]
merge
weiyu [Mon, 17 Jun 2019 20:08:01 +0000 (13:08 -0700)]
implement usleep and sleep system calls as no operation which returns control to model thread
weiyu [Mon, 17 Jun 2019 17:09:33 +0000 (10:09 -0700)]
rename pthead.h to mypthread.h
weiyu [Fri, 14 Jun 2019 22:31:03 +0000 (15:31 -0700)]
add source line number as a parameter to ModelAction
weiyu [Fri, 14 Jun 2019 18:16:35 +0000 (11:16 -0700)]
add a missing line
weiyu [Fri, 14 Jun 2019 18:01:31 +0000 (11:01 -0700)]
add support for function calls 'atomic_init' and 'atomic_compare_exchange()'
weiyu [Fri, 14 Jun 2019 17:56:48 +0000 (10:56 -0700)]
rename mypthread.h to pthread.h
weiyu [Fri, 14 Jun 2019 17:48:12 +0000 (10:48 -0700)]
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into branch-weiyu
bdemsky [Thu, 13 Jun 2019 02:40:25 +0000 (19:40 -0700)]
new cyclegraph
bdemsky [Wed, 12 Jun 2019 22:41:49 +0000 (15:41 -0700)]
Merge branch 'new_fuzzer' into tmp
Brian Demsky [Wed, 12 Jun 2019 22:32:50 +0000 (18:32 -0400)]
Don't do complete checks until we choose store to read from
bdemsky [Wed, 12 Jun 2019 22:30:30 +0000 (15:30 -0700)]
partial edits
bdemsky [Wed, 12 Jun 2019 20:38:39 +0000 (13:38 -0700)]
Remove backedges from cyclegraph
bdemsky [Wed, 12 Jun 2019 20:25:50 +0000 (13:25 -0700)]
fix tabbing comment issue
bdemsky [Wed, 12 Jun 2019 20:06:40 +0000 (13:06 -0700)]
uncrustify options
bdemsky [Wed, 12 Jun 2019 20:02:23 +0000 (13:02 -0700)]
reorder fields to save space
bdemsky [Tue, 11 Jun 2019 04:39:38 +0000 (21:39 -0700)]
fix tabbing
bdemsky [Tue, 11 Jun 2019 04:37:55 +0000 (21:37 -0700)]
fix tabbing
bdemsky [Tue, 11 Jun 2019 04:21:19 +0000 (21:21 -0700)]
remove extra cyclegraph calls
bdemsky [Tue, 11 Jun 2019 03:43:00 +0000 (20:43 -0700)]
Fix RMW bug
weiyu [Mon, 10 Jun 2019 18:07:54 +0000 (11:07 -0700)]
Merge branch 'branch-weiyu' of /home/git/random-fuzzer into branch-weiyu
weiyu [Mon, 10 Jun 2019 18:06:47 +0000 (11:06 -0700)]
add subdirectory for tests
bdemsky [Thu, 6 Jun 2019 05:32:30 +0000 (22:32 -0700)]
add uncrustify option
bdemsky [Thu, 6 Jun 2019 05:28:53 +0000 (22:28 -0700)]
refactor choices into own class
bdemsky [Wed, 5 Jun 2019 06:01:15 +0000 (23:01 -0700)]
make some changes with hacks
bdemsky [Tue, 4 Jun 2019 22:35:47 +0000 (15:35 -0700)]
More fuzzing changes
bdemsky [Tue, 4 Jun 2019 20:05:00 +0000 (13:05 -0700)]
remove another field
bdemsky [Tue, 4 Jun 2019 19:52:07 +0000 (12:52 -0700)]
Revert "delete plugins"
This reverts commit
6535eebefaea5a67d17fd074d2b446a51df7c6a4.
bdemsky [Tue, 4 Jun 2019 19:51:19 +0000 (12:51 -0700)]
Revert "remove plugins"
This reverts commit
e92e6791f399195438d687925a7e6020047b4c60.
bdemsky [Tue, 4 Jun 2019 06:20:59 +0000 (23:20 -0700)]
towards fuzzing only
bdemsky [Tue, 4 Jun 2019 04:53:31 +0000 (21:53 -0700)]
remove old release sequences
bdemsky [Sat, 1 Jun 2019 06:19:23 +0000 (23:19 -0700)]
Remove promises
Brian Demsky [Sat, 1 Jun 2019 05:21:31 +0000 (22:21 -0700)]
partial conversion to fuzzer
weiyu [Wed, 29 May 2019 00:07:13 +0000 (17:07 -0700)]
change snapshot mode
projects / c11tester.git / log