projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
get rid of some compile errors and warnings
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-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
2013-04-22 Brian DemskyRework how we present non-SC traces...previous presentation...
commit | commitdiff | tree
2013-04-19 Brian DemskyRemove special cases for printing SC executions.
 commit | commitdiff | tree
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate...
commit | commitdiff | tree
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference.
 commit | commitdiff | tree
2013-04-15 Brian Demskyfix weird duplicated code
 commit | commitdiff | tree
2013-04-14 Brian Demskyclean up printing a little for cycle cases...
 commit | commitdiff | tree
2013-04-13 Brian Demskymore implementation of scanalysis...
 commit | commitdiff | tree
2013-04-13 Brian Demskymore implementation of scanalysis...
 commit | commitdiff | tree
2013-04-13 Brian Demskytowards supporting scanalysis...
 commit | commitdiff | tree
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
 commit | commitdiff | tree
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
 commit | commitdiff | tree
2013-03-22 Brian Demskycorrect comment typo
 commit | commitdiff | tree
2013-03-22 Brian Demskycheck in insane test case...
 commit | commitdiff | tree
2013-03-21 Brian Demskyadd test case...
 commit | commitdiff | tree
2013-03-19 Brian Demskyadd our names
 commit | commitdiff | tree
2013-03-19 Brian Demskyadd copyright message
 commit | commitdiff | tree
2013-03-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2013-03-18 Brian Demskyupdate git repository with license... GPL v2
 commit | commitdiff | tree
2013-03-14 Brian Demskyfix memory leak
 commit | commitdiff | tree
2013-03-07 Brian Demskyswitch to snapshot/modelalloc versions of stl classes
 commit | commitdiff | tree
2013-03-07 Brian Demskyadd new option for uninitialized writes...
 commit | commitdiff | tree
2013-03-06 Brian Demskydocumentation update
 commit | commitdiff | tree
2013-03-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2013-03-06 Brian Demskyadd destructor so the spsc-queue will compile on MAC
 commit | commitdiff | tree
2013-03-06 Brian Demskyadd yield support
 commit | commitdiff | tree
2013-03-05 Brian Demskylittle optimizations motivated by profiling...
 commit | commitdiff | tree
2013-03-02 Brian Demskycomments
 commit | commitdiff | tree
2013-02-25 Brian Demskyrepush changes
 commit | commitdiff | tree
2013-02-25 Brian Demskyfix conflicts
 commit | commitdiff | tree
2013-02-25 Brian Demskyfix norris mentioned bug
 commit | commitdiff | tree
2013-02-25 Brian Demskyfix scheduling stuff to get nice round robin scheduler...
commit | commitdiff | tree
2013-01-08 Brian Demskynew test case
 commit | commitdiff | tree
2012-11-15 Brian Demskymake compile on linux...needed string.h
 commit | commitdiff | tree
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
 commit | commitdiff | tree
2012-11-15 Brian Demskyoptimize hashtable so we don't always build new ones...
commit | commitdiff | tree
2012-11-15 Brian Demskyremove hashtable functionality
 commit | commitdiff | tree
2012-11-15 Brian Demskymake hashtables only contain primitive types or pointers
 commit | commitdiff | tree
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
 commit | commitdiff | tree
2012-11-15 Brian Demskyavoid warning
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository