Brian Demsky [Sat, 29 Aug 2020 07:33:30 +0000 (00:33 -0700)]
Eliminate system context
weiyu [Sat, 29 Aug 2020 01:05:49 +0000 (18:05 -0700)]
Rewrite recursion in terms of loops; make it a bit faster
weiyu [Tue, 25 Aug 2020 22:14:48 +0000 (15:14 -0700)]
Merge branch 'master' of /home/git/random-fuzzer into thread-switch
weiyu [Tue, 25 Aug 2020 22:14:15 +0000 (15:14 -0700)]
edits
weiyu [Mon, 24 Aug 2020 23:37:37 +0000 (16:37 -0700)]
Remove duplicate functions
weiyu [Mon, 24 Aug 2020 22:45:26 +0000 (15:45 -0700)]
Bug fix for spsc-queue test
weiyu [Mon, 24 Aug 2020 22:39:35 +0000 (15:39 -0700)]
Bug fix
Derek Yeh [Mon, 24 Aug 2020 06:13:48 +0000 (23:13 -0700)]
uncomment out code
weiyu [Sat, 22 Aug 2020 00:32:37 +0000 (17:32 -0700)]
Only consume THREAD_FINISH action in the master context
weiyu [Tue, 11 Aug 2020 19:30:52 +0000 (12:30 -0700)]
Replace some switch_to_master with switch_thread
weiyu [Mon, 10 Aug 2020 20:54:09 +0000 (13:54 -0700)]
edits
Derek Yeh [Fri, 7 Aug 2020 03:41:42 +0000 (20:41 -0700)]
add consume to run
Derek Yeh [Fri, 7 Aug 2020 00:14:25 +0000 (17:14 -0700)]
fix getNextThread func
Derek Yeh [Sun, 2 Aug 2020 22:24:18 +0000 (15:24 -0700)]
rename params
Derek Yeh [Sun, 2 Aug 2020 06:44:39 +0000 (23:44 -0700)]
fix sleeping bug
Derek Yeh [Fri, 31 Jul 2020 01:19:58 +0000 (18:19 -0700)]
fix edge case
Derek Yeh [Fri, 31 Jul 2020 00:04:48 +0000 (17:04 -0700)]
fix thread switch
Derek Yeh [Wed, 29 Jul 2020 06:34:35 +0000 (23:34 -0700)]
fix edge case
Derek Yeh [Tue, 28 Jul 2020 05:52:49 +0000 (22:52 -0700)]
fix bugs
Derek Yeh [Mon, 27 Jul 2020 00:03:51 +0000 (17:03 -0700)]
remove overhead for execution
Derek Yeh [Fri, 24 Jul 2020 06:00:55 +0000 (23:00 -0700)]
add thread choosing in switch func
bdemsky [Wed, 22 Jul 2020 18:44:20 +0000 (11:44 -0700)]
Bug fix
Derek Yeh [Wed, 22 Jul 2020 00:56:16 +0000 (17:56 -0700)]
fix warnings
bdemsky [Tue, 21 Jul 2020 23:48:44 +0000 (16:48 -0700)]
Handle pathological case
bdemsky [Tue, 21 Jul 2020 23:42:34 +0000 (16:42 -0700)]
Approach 2
Derek Yeh [Fri, 17 Jul 2020 03:30:31 +0000 (20:30 -0700)]
add switch thread function
weiyu [Fri, 10 Jul 2020 22:45:18 +0000 (15:45 -0700)]
Add macro for recording atomic statics and report data races
weiyu [Thu, 28 May 2020 20:02:55 +0000 (13:02 -0700)]
Merge branch 'firefox-test' of /home/git/random-fuzzer into firefox-test
weiyu [Thu, 28 May 2020 20:02:50 +0000 (13:02 -0700)]
Count some statistics
Brian Demsky [Thu, 28 May 2020 19:54:52 +0000 (12:54 -0700)]
fix memory leak
weiyu [Wed, 22 Apr 2020 18:54:10 +0000 (11:54 -0700)]
Tiny fix
Brian Demsky [Wed, 22 Apr 2020 02:58:44 +0000 (19:58 -0700)]
changes
weiyu [Wed, 22 Apr 2020 00:32:48 +0000 (17:32 -0700)]
Optimize on aligned memory access
weiyu [Tue, 21 Apr 2020 22:38:09 +0000 (15:38 -0700)]
Define invalid shadow value
weiyu [Tue, 21 Apr 2020 21:18:55 +0000 (14:18 -0700)]
Optimize data race detector
weiyu [Mon, 20 Apr 2020 22:58:30 +0000 (15:58 -0700)]
Optimize RaceCheckRead
weiyu [Fri, 17 Apr 2020 00:32:26 +0000 (17:32 -0700)]
Reimplement hash table remove method
weiyu [Thu, 16 Apr 2020 23:55:45 +0000 (16:55 -0700)]
edits
weiyu [Wed, 15 Apr 2020 02:03:41 +0000 (19:03 -0700)]
Fix bug when vectors of action lists get reallocated
weiyu [Fri, 10 Apr 2020 03:15:50 +0000 (20:15 -0700)]
Merge branch 'newactionlist' of /home/git/random-fuzzer into firefox-test
Brian Demsky [Thu, 9 Apr 2020 00:38:53 +0000 (17:38 -0700)]
Merge branch 'newactionlist' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into newactionlist
Brian Demsky [Thu, 9 Apr 2020 00:38:29 +0000 (17:38 -0700)]
Fix mistakes in refactoring
root [Wed, 8 Apr 2020 23:11:05 +0000 (16:11 -0700)]
revert check
Brian Demsky [Wed, 8 Apr 2020 22:50:20 +0000 (15:50 -0700)]
cleanup code and fix bug
weiyu [Wed, 8 Apr 2020 22:41:58 +0000 (15:41 -0700)]
Use simple_action_list for conditionvariable waiters
Brian Demsky [Tue, 7 Apr 2020 22:57:11 +0000 (15:57 -0700)]
more bug fixes
Brian Demsky [Tue, 7 Apr 2020 22:37:17 +0000 (15:37 -0700)]
tabbing
root [Tue, 7 Apr 2020 22:35:37 +0000 (15:35 -0700)]
bug fixes
root [Tue, 7 Apr 2020 08:29:58 +0000 (01:29 -0700)]
Bug fixes
Brian Demsky [Tue, 7 Apr 2020 07:05:48 +0000 (00:05 -0700)]
Redesign actionlist and change acquire fence
weiyu [Mon, 6 Apr 2020 19:49:48 +0000 (12:49 -0700)]
Fix waiter list
weiyu [Fri, 3 Apr 2020 22:37:22 +0000 (15:37 -0700)]
Do not report deadlock on relocking a recursive mutex; lock count not implemented yet
weiyu [Wed, 25 Mar 2020 19:48:50 +0000 (12:48 -0700)]
Make our pthread id starts from 2. Reserve id 1 for main thread
weiyu [Sat, 21 Mar 2020 01:52:27 +0000 (18:52 -0700)]
Add pthread functions
weiyu [Fri, 20 Mar 2020 21:55:59 +0000 (14:55 -0700)]
Fix typo
weiyu [Wed, 26 Feb 2020 01:54:47 +0000 (17:54 -0800)]
Edits
weiyu [Tue, 25 Feb 2020 03:13:44 +0000 (19:13 -0800)]
Redirect output after taking snapshots
weiyu [Tue, 25 Feb 2020 03:12:13 +0000 (19:12 -0800)]
Fix memory issue; ModelList should be cleared before deletion; use ModelVector instead
weiyu [Wed, 19 Feb 2020 01:22:18 +0000 (17:22 -0800)]
Edits
weiyu [Wed, 19 Feb 2020 00:56:59 +0000 (16:56 -0800)]
Add failed predicates to predicate trace; remove unused codes
weiyu [Wed, 19 Feb 2020 00:06:36 +0000 (16:06 -0800)]
Edits
weiyu [Mon, 17 Feb 2020 19:50:20 +0000 (11:50 -0800)]
Tiny fix
weiyu [Mon, 17 Feb 2020 19:27:57 +0000 (11:27 -0800)]
Bug fix
weiyu [Sat, 15 Feb 2020 00:36:22 +0000 (16:36 -0800)]
Remove the uses of inst_act_maps
weiyu [Fri, 14 Feb 2020 01:37:49 +0000 (17:37 -0800)]
Need to handle recursive calls
weiyu [Thu, 13 Feb 2020 01:34:01 +0000 (17:34 -0800)]
Assign each predicate's initial weight ad 100. Remove some unused function and data structures
weiyu [Thu, 13 Feb 2020 01:07:22 +0000 (17:07 -0800)]
Handle predicate weight updates
weiyu [Wed, 12 Feb 2020 01:24:25 +0000 (17:24 -0800)]
Fix bug about recursive function calls
weiyu [Wed, 12 Feb 2020 00:21:30 +0000 (16:21 -0800)]
Remove redundant data structures and FuncNode's dependencies on old actions
weiyu [Tue, 11 Feb 2020 02:04:16 +0000 (18:04 -0800)]
Eager update predicate trees rather than lazy update; under construction
weiyu [Fri, 31 Jan 2020 19:56:12 +0000 (11:56 -0800)]
Fix typo
weiyu [Fri, 31 Jan 2020 01:28:35 +0000 (17:28 -0800)]
Complete the transfer of deletions of some actions
weiyu [Thu, 30 Jan 2020 19:35:18 +0000 (11:35 -0800)]
Separate the marking algorithm and action removal algorithm
weiyu [Wed, 29 Jan 2020 00:56:59 +0000 (16:56 -0800)]
Improve the algorithm that marks which actions are needed by FuncNode
Brian Demsky [Sat, 25 Jan 2020 07:36:45 +0000 (23:36 -0800)]
Add some debug support code
weiyu [Thu, 16 Jan 2020 02:04:37 +0000 (18:04 -0800)]
Toward transferring the removal of some actions from ModelExecution to FuncNode or ModelHistory
weiyu [Wed, 8 Jan 2020 22:42:16 +0000 (14:42 -0800)]
Bug fix
Brian Demsky [Tue, 7 Jan 2020 19:52:36 +0000 (11:52 -0800)]
Bug fix
root [Tue, 7 Jan 2020 00:11:52 +0000 (16:11 -0800)]
bug fix
Brian Demsky [Tue, 7 Jan 2020 00:04:49 +0000 (16:04 -0800)]
My configuration
Brian Demsky [Mon, 6 Jan 2020 22:10:30 +0000 (14:10 -0800)]
Fix bug by only putting reads or writes in objthrdmap
weiyu [Mon, 6 Jan 2020 21:00:01 +0000 (13:00 -0800)]
Bug fix for removing ATOMIC_WAIT actions
root [Tue, 31 Dec 2019 06:51:23 +0000 (22:51 -0800)]
more bugs
root [Tue, 31 Dec 2019 06:25:00 +0000 (22:25 -0800)]
bug fix
Brian Demsky [Tue, 31 Dec 2019 01:56:30 +0000 (17:56 -0800)]
Improve documentation
Brian Demsky [Tue, 31 Dec 2019 01:48:58 +0000 (17:48 -0800)]
Bug fixes
Brian Demsky [Mon, 30 Dec 2019 08:22:40 +0000 (00:22 -0800)]
bug fix
root [Mon, 30 Dec 2019 08:19:08 +0000 (00:19 -0800)]
bug fixes
Brian Demsky [Mon, 30 Dec 2019 05:43:29 +0000 (21:43 -0800)]
handle last action with nop
root [Mon, 30 Dec 2019 03:34:30 +0000 (19:34 -0800)]
difs
root [Thu, 26 Dec 2019 08:40:07 +0000 (00:40 -0800)]
Bug fix
Brian Demsky [Thu, 26 Dec 2019 08:02:34 +0000 (00:02 -0800)]
Bug fix
root [Thu, 26 Dec 2019 03:54:20 +0000 (19:54 -0800)]
More bug fixes
root [Thu, 26 Dec 2019 01:30:10 +0000 (17:30 -0800)]
Bug fixes and make Fuzzer selectable
root [Thu, 26 Dec 2019 00:52:47 +0000 (16:52 -0800)]
Fix bug
root [Fri, 20 Dec 2019 06:40:53 +0000 (22:40 -0800)]
Fix bug Weiyu found
root [Thu, 19 Dec 2019 08:55:45 +0000 (00:55 -0800)]
bug fixes
weiyu [Thu, 19 Dec 2019 00:05:37 +0000 (16:05 -0800)]
Bug fix
Brian Demsky [Wed, 18 Dec 2019 07:59:11 +0000 (23:59 -0800)]
bug fix...
root [Mon, 16 Dec 2019 23:26:53 +0000 (15:26 -0800)]
merge
projects / c11tester.git / log