Programming Languages Research Group: Git - c11tester.git/atom logC11 Tester Tool Public Repositoryhttp://plrg.eecs.uci.edu/git/?p=c11tester.gitBrian Demskystatic/git-favicon.pngstatic/git-logo.png2022-09-21T20:29:43ZgitwebUpdate readme2022-09-21T20:29:43Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2022-09-21T20:29:43Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=06716c5b7b1acfa9c30998ded82684133cc5bde9
seed random number generator with time2020-12-12T01:11:26Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-12-12T01:11:26Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=ba9cc8ef093a985673efc0d440898ae3b6fe0bb5
Remove unused functions and optimize data race checking for mem* operations2020-09-16T20:55:15Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-16T20:55:15Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=bdb967ee6d3cdd02dda0e80f8b394f86e9753623
Remove unused functions and optimize data race checking for mem* operations
Add memmove and bzero2020-09-16T04:02:00Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-16T04:02:00Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=5f84c7161ef4e7fd10af8f1936e1d978731d2e5a
Add back model_thread; it is still needed2020-09-15T23:26:24Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-15T23:26:24Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=ad105d2fb3c5f352ac6b7da0e1e910e94692398d
Fix a bug in memcpy, implement memset, and remove model_thread2020-09-15T23:08:44Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-15T23:08:44Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=448991da4be411c39be8ce3a56615a8eae2811d3
Fix a bug in memcpy, implement memset, and remove model_thread
Try to catch data races for memcpy2020-09-15T01:17:04Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-15T01:17:04Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=92661595546bc783908d3795fd53265988565e02
Implement spurious wakeup for ATOMIC_WAIT2020-09-10T19:49:00Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-10T19:49:00Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=ab6885beecafb5ae9103845c03a6e72ddacd79ec
Add support for epoll2020-09-05T01:01:16Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-05T01:01:16Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=542a46125c8ed7010a0d55542a9e6a7d3f70443c
Change initialize a bit2020-09-05T00:24:00Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-05T00:24:00Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=7742256df627848c1c375f979f5369a45c92057b
small changes2020-09-04T20:35:39Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-04T20:35:39Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=251ac4b4bf3a9f2d3cfacc1e6618200ca1c431ac
Find a faster way to get currently executing thread's id2020-09-03T23:46:17Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-03T23:46:17Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=7d107019dd0d32d0803fb802fc318a57101707a1
Find a faster way to get currently executing thread's id
Small changes; slightly faster than tsan11rec in jsbench now2020-09-02T22:41:39Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-02T22:41:39Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=bf698c32ac174a4dcfce69ad78cccf2a65e3bf92
Small changes; slightly faster than tsan11rec in jsbench now
Small edits2020-09-02T00:16:22Zweiyuweiyuluo1232@gmail.comweiyuweiyuluo1232@gmail.com2020-09-02T00:16:22Zhttp://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff;h=193c917736aedbc4b34e6cae3e6eb35eb5e98502