projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
2019-05-29 weiyuclean up commit | commitdiff | tree | snapshot
2019-05-29 weiyuadd futex.o as a recipe for libmodel commit | commitdiff | tree | snapshot
2019-05-28 weiyuimplement futex.cc commit | commitdiff | tree | snapshot
2019-05-28 weiyufix the case where no waiter is waiting commit | commitdiff | tree | snapshot
2019-05-28 weiyuadd NOOP to action type commit | commitdiff | tree | snapshot
2019-05-28 weiyuchange the namespace of mutex from std to cdsc commit | commitdiff | tree | snapshot
2019-03-01 weiyuadd support for condition variable commit | commitdiff | tree | snapshot
2019-02-15 weiyuclean up unnecessary member functions commit | commitdiff | tree | snapshot
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h commit | commitdiff | tree | snapshot
2019-02-01 weiyupthread_join is able to return values commit | commitdiff | tree | snapshot
2019-01-24 weiyuadd support for pthread_mutex commit | commitdiff | tree | snapshot
2019-01-22 weiyupthread join seems to be working commit | commitdiff | tree | snapshot
2019-01-22 weiyupthread_create is working now commit | commitdiff | tree | snapshot
2019-01-18 weiyuadd support for pthread_create (in progress) commit | commitdiff | tree | snapshot
2019-01-17 weiyuadd a new thread constructor for pthread commit | commitdiff | tree | snapshot
2019-01-16 weiyutry to add support for pthread_create/pthread_join commit | commitdiff | tree | snapshot
2019-01-08 weiyuremove two unnecessary files commit | commitdiff | tree | snapshot
2019-01-08 weiyuchange cds checker to accomdate llvm pass commit | commitdiff | tree | snapshot
2018-11-09 weiyuimprove randomization commit | commitdiff | tree | snapshot
2018-10-26 weiyudelete plugins commit | commitdiff | tree | snapshot
2018-10-26 weiyuremove plugins commit | commitdiff | tree | snapshot
2018-10-16 bdemskyRemove SC Analysis commit | commitdiff | tree | snapshot
2017-10-13 bdemskyFix snapshot code commit | commitdiff | tree | snapshot
2016-11-24 bdemskyWork around changes in newer versions of glibc commit | commitdiff | tree | snapshot
2016-02-24 bdemskybug in fence support fixed commit | commitdiff | tree | snapshot
2015-12-17 bdemskyIncrease size of bootstrap bytes as some Linux distribu... commit | commitdiff | tree | snapshot
2015-09-09 Peizhao Ouedits commit | commitdiff | tree | snapshot
2015-09-02 bdemskyAdd SCFence analysis commit | commitdiff | tree | snapshot
2015-06-22 bdemskybug fix for atomic adds/subtracts on pointers commit | commitdiff | tree | snapshot
2015-04-09 bdemskymove thread stack to thread allocator commit | commitdiff | tree | snapshot
2014-07-18 bdemskySC Reads can read from things mo'd before the last... commit | commitdiff | tree | snapshot
2014-05-06 bdemskyBug fixes from running Coverity commit | commitdiff | tree | snapshot
2014-05-06 bdemskyfix signed/unsigned warning commit | commitdiff | tree | snapshot
2014-04-16 bdemskybug fix with missing coherence condition for promises commit | commitdiff | tree | snapshot
2014-01-26 bdemskyBug fix for broken treatment of promises + coherence... commit | commitdiff | tree | snapshot
2014-01-25 bdemskySupport for -x option commit | commitdiff | tree | snapshot
2014-01-25 bdemskyAnnotation Support commit | commitdiff | tree | snapshot
2013-09-04 Brian NorrisMerge remote-tracking branch 'origin/master' commit | commitdiff | tree | snapshot
2013-09-04 Brian Norrisrun.sh: support running from a different directory commit | commitdiff | tree | snapshot
2013-08-15 Brian NorrisREADME.md: use HTML URL, not PHP commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: move copyright down commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: add detail for benchmarks commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: improve wording commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: add more fairness notes commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisMakefile: add README.pdf target commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: remove <pre></pre> tags commit | commitdiff | tree | snapshot
2013-08-14 Brian Norristhreads: kill clang warnings about struct/class Thread commit | commitdiff | tree | snapshot
2013-08-14 Brian Norrismalloc: modify compiler warning workarounds commit | commitdiff | tree | snapshot
2013-08-14 Brian Norrisimpatomic: silence more clang warnings commit | commitdiff | tree | snapshot
2013-08-14 Brian Norristest: silence some unused-value warnings commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: have to include our headers commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: reverse store/load commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: add supported API section commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: add End of Execution Summary section commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: reporting multiple data races for the same... commit | commitdiff | tree | snapshot
2013-08-14 Brian Norrismodel: only print 'Total nodes' for verbose printing commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: reformat commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: add linux locks example commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: update title commit | commitdiff | tree | snapshot
2013-08-14 Brian NorrisREADME.md: point non-git users to gitweb commit | commitdiff | tree | snapshot
2013-08-13 Brian NorrisREADME.md: push URLs down to See Also section commit | commitdiff | tree | snapshot
2013-08-13 Brian NorrisREADME.md: add extra blank lines commit | commitdiff | tree | snapshot
2013-08-13 Brian NorrisREADME.md: update much of the README commit | commitdiff | tree | snapshot
2013-08-13 Brian Norrismain: suggest thrd_yield() for -y fairness commit | commitdiff | tree | snapshot
2013-08-13 Brian Norrisrun.sh: set Mac OSX DYLD_LIBRARY_PATH commit | commitdiff | tree | snapshot
2013-08-13 Brian Norrisdelete README symlink commit | commitdiff | tree | snapshot
2013-08-13 Brian NorrisLICENSE: add newline at end of file commit | commitdiff | tree | snapshot
2013-07-17 Brian Norristest: insanesync: consolidate lines commit | commitdiff | tree | snapshot
2013-07-17 Brian Norristest: insanesync: remove unnecessary casting commit | commitdiff | tree | snapshot
2013-07-17 Brian Norristest: insanesync: convert to C++ commit | commitdiff | tree | snapshot
2013-07-16 Brian Norristest: addr-satcycle: add new address-based sat. cycle... commit | commitdiff | tree | snapshot
2013-07-10 Brian Norrisrun.sh: don't silently ignore a non-executable file... commit | commitdiff | tree | snapshot
2013-07-10 Brian Norristest: mo-satcycle: add new MO satisfaction cycle example commit | commitdiff | tree | snapshot
2013-07-10 Brian Norristest: uninit: typo commit | commitdiff | tree | snapshot
2013-06-06 Brian Norrisexecution: remove redundant condition, reword doc for... commit | commitdiff | tree | snapshot
2013-06-06 Brian Norrisexecution: document additional mo_may_allow() optimization commit | commitdiff | tree | snapshot
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to... commit | commitdiff | tree | snapshot
2013-06-05 Brian Norrismodel: remove redundant code (is_enabled) commit | commitdiff | tree | snapshot
2013-06-05 Brian Norrisdocs: improve Doxygen documentation commit | commitdiff | tree | snapshot
2013-06-05 Brian NorrisREADME: use markdown format for direct URL link commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisREADME: more formatting, correct statement about bench.sh commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisREADME: a few more formatting issues commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisMerge branch 'markdown' commit | commitdiff | tree | snapshot
2013-06-04 Brian NorrisREADME: add more `code` formatting commit | commitdiff | tree | snapshot
2013-06-03 Brian DemskyAdd example from java showing legit satisfaction cycle commit | commitdiff | tree | snapshot
2013-06-02 Brian Norris.gitignore: fixup VIM swapfile ignore commit | commitdiff | tree | snapshot
2013-06-02 Brian NorrisREADME: convert to Markdown format commit | commitdiff | tree | snapshot
2013-06-02 Brian NorrisMarkdown: add Markdown tool commit | commitdiff | tree | snapshot
2013-06-01 Brian NorrisREADME: add bit on MODEL_ASSERT() macro commit | commitdiff | tree | snapshot
2013-06-01 Brian NorrisREADME: extra "from" commit | commitdiff | tree | snapshot
2013-06-01 Brian NorrisREADME: updated help text commit | commitdiff | tree | snapshot
2013-06-01 Brian Norrismodel: cosmetic output improvements commit | commitdiff | tree | snapshot
2013-05-31 Brian Norrisparams: add multi-level verbosity commit | commitdiff | tree | snapshot
2013-05-31 Brian NorrisREADME: add LICENSE note commit | commitdiff | tree | snapshot
2013-05-31 Brian NorrisREADME: improve sections, provide better intro commit | commitdiff | tree | snapshot
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master' commit | commitdiff | tree | snapshot
2013-05-29 Brian NorrisREADME: add a few sections commit | commitdiff | tree | snapshot
2013-05-29 Brian Norrisexecution: reformat execution traces commit | commitdiff | tree | snapshot
2013-05-29 Brian NorrisREADME: update help text commit | commitdiff | tree | snapshot
2013-05-29 Brian Norrismain: 'plug ins' -> 'plugins' commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository