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
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
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
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
weiyu [Wed, 29 May 2019 00:02:31 +0000 (17:02 -0700)]
clean up
weiyu [Wed, 29 May 2019 00:00:31 +0000 (17:00 -0700)]
add futex.o as a recipe for libmodel
weiyu [Tue, 28 May 2019 23:56:49 +0000 (16:56 -0700)]
implement futex.cc
weiyu [Tue, 28 May 2019 23:50:58 +0000 (16:50 -0700)]
fix the case where no waiter is waiting
weiyu [Tue, 28 May 2019 23:50:06 +0000 (16:50 -0700)]
add NOOP to action type
weiyu [Tue, 28 May 2019 23:48:28 +0000 (16:48 -0700)]
change the namespace of mutex from std to cdsc
weiyu [Fri, 1 Mar 2019 23:03:40 +0000 (15:03 -0800)]
add support for condition variable
weiyu [Fri, 15 Feb 2019 01:50:20 +0000 (17:50 -0800)]
clean up unnecessary member functions
weiyu [Fri, 15 Feb 2019 01:42:08 +0000 (17:42 -0800)]
move pthread_map and mutex_map inside of execution.h
weiyu [Fri, 1 Feb 2019 20:35:42 +0000 (12:35 -0800)]
pthread_join is able to return values
weiyu [Thu, 24 Jan 2019 21:31:35 +0000 (13:31 -0800)]
add support for pthread_mutex
weiyu [Tue, 22 Jan 2019 21:58:14 +0000 (13:58 -0800)]
pthread join seems to be working
weiyu [Tue, 22 Jan 2019 19:22:57 +0000 (11:22 -0800)]
pthread_create is working now
weiyu [Fri, 18 Jan 2019 03:06:30 +0000 (19:06 -0800)]
add support for pthread_create (in progress)
weiyu [Thu, 17 Jan 2019 21:17:01 +0000 (13:17 -0800)]
add a new thread constructor for pthread
weiyu [Wed, 16 Jan 2019 20:43:42 +0000 (12:43 -0800)]
try to add support for pthread_create/pthread_join
weiyu [Tue, 8 Jan 2019 19:52:17 +0000 (11:52 -0800)]
remove two unnecessary files
weiyu [Tue, 8 Jan 2019 19:50:41 +0000 (11:50 -0800)]
change cds checker to accomdate llvm pass
weiyu [Fri, 9 Nov 2018 00:08:24 +0000 (16:08 -0800)]
improve randomization
weiyu [Fri, 26 Oct 2018 01:15:57 +0000 (18:15 -0700)]
delete plugins
weiyu [Fri, 26 Oct 2018 01:15:10 +0000 (18:15 -0700)]
remove plugins
bdemsky [Tue, 16 Oct 2018 21:51:59 +0000 (14:51 -0700)]
Remove SC Analysis
bdemsky [Fri, 13 Oct 2017 05:29:13 +0000 (22:29 -0700)]
Fix snapshot code
bdemsky [Thu, 24 Nov 2016 20:40:03 +0000 (12:40 -0800)]
Work around changes in newer versions of glibc
bdemsky [Wed, 24 Feb 2016 00:07:39 +0000 (16:07 -0800)]
bug in fence support fixed
bdemsky [Thu, 17 Dec 2015 08:37:52 +0000 (00:37 -0800)]
Increase size of bootstrap bytes as some Linux distributions need more space.
Peizhao Ou [Wed, 9 Sep 2015 18:47:28 +0000 (11:47 -0700)]
edits
bdemsky [Tue, 4 Aug 2015 18:22:44 +0000 (11:22 -0700)]
Add SCFence analysis
bdemsky [Mon, 22 Jun 2015 18:47:36 +0000 (11:47 -0700)]
bug fix for atomic adds/subtracts on pointers
projects / c11tester.git / log