projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make sure that actions that do writes are labeled correctly in predicate trees
2019-08-20 bdemskyAdd mailing list
 commit | commitdiff | tree
2019-08-20 bdemskyRemove msqueue test case
 commit | commitdiff | tree
2019-08-20 bdemskyFix compile and readme
 commit | commitdiff | tree
2019-08-01 Brian DemskyGet GDAX working.
 commit | commitdiff | tree
2019-07-31 bdemskyGet code to compile
 commit | commitdiff | tree
2019-07-30 bdemskymore fixes
 commit | commitdiff | tree
2019-07-29 bdemskyedits
 commit | commitdiff | tree
2019-07-28 bdemskyimprove complexity
 commit | commitdiff | tree
2019-07-27 bdemskyNew TLS strategy...
 commit | commitdiff | tree
2019-07-23 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit | commitdiff | tree
2019-07-23 bdemskyName change
 commit | commitdiff | tree
2019-07-23 bdemskyRemove mention of CDSChecker
 commit | commitdiff | tree
2019-07-22 Brian Demskybug fix
 commit | commitdiff | tree
2019-07-22 Brian Demskyfix merge issue
 commit | commitdiff | tree
2019-07-22 Brian Demskyvolatile support
 commit | commitdiff | tree
2019-07-22 Brian DemskySupport for reading from nonatomic stores...A little...
commit | commitdiff | tree
2019-07-19 bdemskyAdd support for converting normal writes into ModelActions...
commit | commitdiff | tree
2019-07-17 bdemskyTrack whether a write was from an atomic
 commit | commitdiff | tree
2019-07-16 bdemskyMake atomics actually write to memory for compatibility...
commit | commitdiff | tree
2019-07-16 bdemskyeliminate redundancy
 commit | commitdiff | tree
2019-07-16 bdemskyTowards not reporting the same datarace twice
 commit | commitdiff | tree
2019-07-16 bdemskyrun tabbing pass
 commit | commitdiff | tree
2019-07-15 bdemskyadd asserts
 commit | commitdiff | tree
2019-07-03 bdemskyMaintain list of writes
 commit | commitdiff | tree
2019-07-03 bdemskyOptimize SC lookup
 commit | commitdiff | tree
2019-07-03 Brian Demskyclean up code
 commit | commitdiff | tree
2019-07-02 bdemskymemoize hb in writes
 commit | commitdiff | tree
2019-06-30 Brian DemskyDon't call printf
 commit | commitdiff | tree
2019-06-29 bdemskymove check
 commit | commitdiff | tree
2019-06-29 Brian DemskyFix bug
 commit | commitdiff | tree
2019-06-27 bdemskyrevamp scheduler so we can start threads early
 commit | commitdiff | tree
2019-06-26 Brian DemskyGet gdax to not crash
 commit | commitdiff | tree
2019-06-26 bdemskyadd more functions
 commit | commitdiff | tree
2019-06-26 bdemskyRedo params
 commit | commitdiff | tree
2019-06-26 bdemskymore fixes
 commit | commitdiff | tree
2019-06-26 bdemskybug fixes
 commit | commitdiff | tree
2019-06-26 bdemskymore bug fixes
 commit | commitdiff | tree
2019-06-26 bdemskyMore changes
 commit | commitdiff | tree
2019-06-26 bdemskyget rid of some compile errors and warnings
 commit | commitdiff | tree
2019-06-26 bdemskyredo model object initialization
 commit | commitdiff | tree
2019-06-21 bdemskyfix CAS operation
 commit | commitdiff | tree
2019-06-21 bdemskyfix tabbing
 commit | commitdiff | tree
2019-06-21 bdemskyMerge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu...
commit | commitdiff | tree
2019-06-21 bdemskyedits
 commit | commitdiff | tree
2019-06-21 Brian Demskyperformance improvements
 commit | commitdiff | tree
2019-06-21 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit | commitdiff | tree
2019-06-21 bdemskychanges
 commit | commitdiff | tree
2019-06-20 Brian DemskyOptimizations
 commit | commitdiff | tree
2019-06-19 Brian Demskyrun tabbing pass
 commit | commitdiff | tree
2019-06-19 Brian Demskyfixup merge a bit
 commit | commitdiff | tree
2019-06-19 Brian DemskyMerge branch 'branch-weiyu' into new_fuzzer
 commit | commitdiff | tree
2019-06-13 bdemskynew cyclegraph
 commit | commitdiff | tree
2019-06-12 bdemskyMerge branch 'new_fuzzer' into tmp
 commit | commitdiff | tree
2019-06-12 Brian DemskyDon't do complete checks until we choose store to read...
commit | commitdiff | tree
2019-06-12 bdemskypartial edits
 commit | commitdiff | tree
2019-06-12 bdemskyRemove backedges from cyclegraph
 commit | commitdiff | tree
2019-06-12 bdemskyfix tabbing comment issue
 commit | commitdiff | tree
2019-06-12 bdemskyuncrustify options
 commit | commitdiff | tree
2019-06-12 bdemskyreorder fields to save space
 commit | commitdiff | tree
2019-06-11 bdemskyfix tabbing
 commit | commitdiff | tree
2019-06-11 bdemskyfix tabbing
 commit | commitdiff | tree
2019-06-11 bdemskyremove extra cyclegraph calls
 commit | commitdiff | tree
2019-06-11 bdemskyFix RMW bug
 commit | commitdiff | tree
2019-06-06 bdemskyadd uncrustify option
 commit | commitdiff | tree
2019-06-06 bdemskyrefactor choices into own class
 commit | commitdiff | tree
2019-06-05 bdemskymake some changes with hacks
 commit | commitdiff | tree
2019-06-05 bdemskyMore fuzzing changes
 commit | commitdiff | tree
2019-06-04 bdemskyremove another field
 commit | commitdiff | tree
2019-06-04 bdemskyRevert "delete plugins"
 commit | commitdiff | tree
2019-06-04 bdemskyRevert "remove plugins"
 commit | commitdiff | tree
2019-06-04 bdemskytowards fuzzing only
 commit | commitdiff | tree
2019-06-04 bdemskyremove old release sequences
 commit | commitdiff | tree
2019-06-04 bdemskyRemove promises
 commit | commitdiff | tree
2019-06-01 Brian Demskypartial conversion to fuzzer
 commit | commitdiff | tree
2018-10-16 bdemskyRemove SC Analysis
 commit | commitdiff | tree
2017-10-13 bdemskyFix snapshot code
 commit | commitdiff | tree
2016-11-24 bdemskyWork around changes in newer versions of glibc
 commit | commitdiff | tree
2016-02-24 bdemskybug in fence support fixed
 commit | commitdiff | tree
2015-12-17 bdemskyIncrease size of bootstrap bytes as some Linux distributions...
commit | commitdiff | tree
2015-09-02 bdemskyAdd SCFence analysis
 commit | commitdiff | tree
2015-06-22 bdemskybug fix for atomic adds/subtracts on pointers
 commit | commitdiff | tree
2015-04-09 bdemskymove thread stack to thread allocator
 commit | commitdiff | tree
2014-07-18 bdemskySC Reads can read from things mo'd before the last...
commit | commitdiff | tree
2014-05-06 bdemskyBug fixes from running Coverity
 commit | commitdiff | tree
2014-05-06 bdemskyfix signed/unsigned warning
 commit | commitdiff | tree
2014-04-16 bdemskybug fix with missing coherence condition for promises
 commit | commitdiff | tree
2014-01-26 bdemskyBug fix for broken treatment of promises + coherence...
commit | commitdiff | tree
2014-01-25 bdemskySupport for -x option
 commit | commitdiff | tree
2014-01-25 bdemskyAnnotation Support
 commit | commitdiff | tree
2013-06-03 Brian DemskyAdd example from java showing legit satisfaction cycle
 commit | commitdiff | tree
2013-05-06 Brian Demskytypos
 commit | commitdiff | tree
2013-05-06 Brian Demskyprint some stats in SC Analysis
 commit | commitdiff | tree
2013-05-06 Brian Demskydocument and extend trace analysis interface
 commit | commitdiff | tree
2013-05-06 Brian Demskycleanup plugin interface a little more.
 commit | commitdiff | tree
2013-05-06 Brian Demskyadd support for analysis with options
 commit | commitdiff | tree
2013-05-06 Brian Demskyadd traceanalysis support
 commit | commitdiff | tree
2013-05-03 Brian Demskyscanalysis: don't rely on greedy search
 commit | commitdiff | tree
2013-04-26 Brian DemskyFix bug that prevents graph generation from compiling.
 commit | commitdiff | tree
2013-04-23 Brian Demskybug...will sometimes print SC traces in a bad order
 commit | commitdiff | tree
2013-04-22 Brian Demskycleanup printing
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository