projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
More work towards freeing old ModelActions
2019-12-15 Brian DemskyMore work towards freeing old ModelActions
 commit | commitdiff | tree
2019-12-13 Brian Demskytowards freeing actions
 commit | commitdiff | tree
2019-12-12 Brian DemskyAdd ref counts to CycleGraph
 commit | commitdiff | tree
2019-12-12 Brian DemskyGet rid of uninitialized actions and just use non-atomic...
commit | commitdiff | tree
2019-12-12 Brian DemskyTowards erase method
 commit | commitdiff | tree
2019-12-12 Brian DemskyMerge
 commit | commitdiff | tree
2019-12-12 Brian DemskyAdd references to lists
 commit | commitdiff | tree
2019-12-12 Brian DemskyFix warning
 commit | commitdiff | tree
2019-12-12 Brian DemskyAdd functions to SnapList plus tabbing
 commit | commitdiff | tree
2019-12-10 Brian Demskysmall edits
 commit | commitdiff | tree
2019-12-10 Brian DemskyRevamp obj_map for just what it is used for
 commit | commitdiff | tree
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
commit | commitdiff | tree
2019-12-07 Brian Demskyremove test cases
 commit | commitdiff | tree
2019-12-06 bdemskyRemove mprotect snapshots
 commit | commitdiff | tree
2019-11-27 bdemskySwitch to environmental variables
 commit | commitdiff | tree
2019-11-27 bdemskyTSAN style tls destructor
 commit | commitdiff | tree
2019-11-26 bdemskyassert_bug function fixes
 commit | commitdiff | tree
2019-11-26 bdemskyRun tabbing pass
 commit | commitdiff | tree
2019-11-26 bdemskyRemove lots of dead code
 commit | commitdiff | tree
2019-11-26 bdemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
commit | commitdiff | tree
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
commit | commitdiff | tree
2019-11-20 bdemskybug fix
 commit | commitdiff | tree
2019-11-20 bdemskyAdd datarace support for atomics and calloc
 commit | commitdiff | tree
2019-11-15 bdemskyAdd pipe support
 commit | commitdiff | tree
2019-08-20 bdemskyAdd ack
 commit | commitdiff | tree
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
next
C11 Tester Tool Public Repository