projects
/
c11tester.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
move codes around in history.cc, and NewFuzzer::selectWrite is half working
2019-08-20
bdemsky
Add mailing list
commit
|
commitdiff
|
tree
2019-08-20
bdemsky
Remove msqueue test case
commit
|
commitdiff
|
tree
2019-08-20
bdemsky
Fix compile and readme
commit
|
commitdiff
|
tree
2019-08-01
Brian Demsky
Get GDAX working.
commit
|
commitdiff
|
tree
2019-07-31
bdemsky
Get code to compile
commit
|
commitdiff
|
tree
2019-07-30
bdemsky
more fixes
commit
|
commitdiff
|
tree
2019-07-29
bdemsky
edits
commit
|
commitdiff
|
tree
2019-07-28
bdemsky
improve complexity
commit
|
commitdiff
|
tree
2019-07-27
bdemsky
New TLS strategy...
commit
|
commitdiff
|
tree
2019-07-23
Brian Demsky
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
|
tree
2019-07-23
bdemsky
Name change
commit
|
commitdiff
|
tree
2019-07-23
bdemsky
Remove mention of CDSChecker
commit
|
commitdiff
|
tree
2019-07-22
Brian Demsky
bug fix
commit
|
commitdiff
|
tree
2019-07-22
Brian Demsky
fix merge issue
commit
|
commitdiff
|
tree
2019-07-22
Brian Demsky
volatile support
commit
|
commitdiff
|
tree
2019-07-22
Brian Demsky
Support for reading from nonatomic stores...A little...
commit
|
commitdiff
|
tree
2019-07-19
bdemsky
Add support for converting normal writes into ModelActions...
commit
|
commitdiff
|
tree
2019-07-17
bdemsky
Track whether a write was from an atomic
commit
|
commitdiff
|
tree
2019-07-16
bdemsky
Make atomics actually write to memory for compatibility...
commit
|
commitdiff
|
tree
2019-07-16
bdemsky
eliminate redundancy
commit
|
commitdiff
|
tree
2019-07-16
bdemsky
Towards not reporting the same datarace twice
commit
|
commitdiff
|
tree
2019-07-16
bdemsky
run tabbing pass
commit
|
commitdiff
|
tree
2019-07-15
bdemsky
add asserts
commit
|
commitdiff
|
tree
2019-07-03
bdemsky
Maintain list of writes
commit
|
commitdiff
|
tree
2019-07-03
bdemsky
Optimize SC lookup
commit
|
commitdiff
|
tree
2019-07-03
Brian Demsky
clean up code
commit
|
commitdiff
|
tree
2019-07-02
bdemsky
memoize hb in writes
commit
|
commitdiff
|
tree
2019-06-30
Brian Demsky
Don't call printf
commit
|
commitdiff
|
tree
2019-06-29
bdemsky
move check
commit
|
commitdiff
|
tree
2019-06-29
Brian Demsky
Fix bug
commit
|
commitdiff
|
tree
2019-06-27
bdemsky
revamp scheduler so we can start threads early
commit
|
commitdiff
|
tree
2019-06-26
Brian Demsky
Get gdax to not crash
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
add more functions
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
Redo params
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
more fixes
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
bug fixes
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
more bug fixes
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
More changes
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
get rid of some compile errors and warnings
commit
|
commitdiff
|
tree
2019-06-26
bdemsky
redo model object initialization
commit
|
commitdiff
|
tree
2019-06-21
bdemsky
fix CAS operation
commit
|
commitdiff
|
tree
2019-06-21
bdemsky
fix tabbing
commit
|
commitdiff
|
tree
2019-06-21
bdemsky
Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu...
commit
|
commitdiff
|
tree
2019-06-21
bdemsky
edits
commit
|
commitdiff
|
tree
2019-06-21
Brian Demsky
performance improvements
commit
|
commitdiff
|
tree
2019-06-21
Brian Demsky
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
|
tree
2019-06-21
bdemsky
changes
commit
|
commitdiff
|
tree
2019-06-20
Brian Demsky
Optimizations
commit
|
commitdiff
|
tree
2019-06-19
Brian Demsky
run tabbing pass
commit
|
commitdiff
|
tree
2019-06-19
Brian Demsky
fixup merge a bit
commit
|
commitdiff
|
tree
2019-06-19
Brian Demsky
Merge branch 'branch-weiyu' into new_fuzzer
commit
|
commitdiff
|
tree
2019-06-13
bdemsky
new cyclegraph
commit
|
commitdiff
|
tree
2019-06-12
bdemsky
Merge branch 'new_fuzzer' into tmp
commit
|
commitdiff
|
tree
2019-06-12
Brian Demsky
Don't do complete checks until we choose store to read...
commit
|
commitdiff
|
tree
2019-06-12
bdemsky
partial edits
commit
|
commitdiff
|
tree
2019-06-12
bdemsky
Remove backedges from cyclegraph
commit
|
commitdiff
|
tree
2019-06-12
bdemsky
fix tabbing comment issue
commit
|
commitdiff
|
tree
2019-06-12
bdemsky
uncrustify options
commit
|
commitdiff
|
tree
2019-06-12
bdemsky
reorder fields to save space
commit
|
commitdiff
|
tree
2019-06-11
bdemsky
fix tabbing
commit
|
commitdiff
|
tree
2019-06-11
bdemsky
fix tabbing
commit
|
commitdiff
|
tree
2019-06-11
bdemsky
remove extra cyclegraph calls
commit
|
commitdiff
|
tree
2019-06-11
bdemsky
Fix RMW bug
commit
|
commitdiff
|
tree
2019-06-06
bdemsky
add uncrustify option
commit
|
commitdiff
|
tree
2019-06-06
bdemsky
refactor choices into own class
commit
|
commitdiff
|
tree
2019-06-05
bdemsky
make some changes with hacks
commit
|
commitdiff
|
tree
2019-06-05
bdemsky
More fuzzing changes
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
remove another field
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
Revert "delete plugins"
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
Revert "remove plugins"
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
towards fuzzing only
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
remove old release sequences
commit
|
commitdiff
|
tree
2019-06-04
bdemsky
Remove promises
commit
|
commitdiff
|
tree
2019-06-01
Brian Demsky
partial conversion to fuzzer
commit
|
commitdiff
|
tree
2018-10-16
bdemsky
Remove SC Analysis
commit
|
commitdiff
|
tree
2017-10-13
bdemsky
Fix snapshot code
commit
|
commitdiff
|
tree
2016-11-24
bdemsky
Work around changes in newer versions of glibc
commit
|
commitdiff
|
tree
2016-02-24
bdemsky
bug in fence support fixed
commit
|
commitdiff
|
tree
2015-12-17
bdemsky
Increase size of bootstrap bytes as some Linux distributions...
commit
|
commitdiff
|
tree
2015-09-02
bdemsky
Add SCFence analysis
commit
|
commitdiff
|
tree
2015-06-22
bdemsky
bug fix for atomic adds/subtracts on pointers
commit
|
commitdiff
|
tree
2015-04-09
bdemsky
move thread stack to thread allocator
commit
|
commitdiff
|
tree
2014-07-18
bdemsky
SC Reads can read from things mo'd before the last...
commit
|
commitdiff
|
tree
2014-05-06
bdemsky
Bug fixes from running Coverity
commit
|
commitdiff
|
tree
2014-05-06
bdemsky
fix signed/unsigned warning
commit
|
commitdiff
|
tree
2014-04-16
bdemsky
bug fix with missing coherence condition for promises
commit
|
commitdiff
|
tree
2014-01-26
bdemsky
Bug fix for broken treatment of promises + coherence...
commit
|
commitdiff
|
tree
2014-01-25
bdemsky
Support for -x option
commit
|
commitdiff
|
tree
2014-01-25
bdemsky
Annotation Support
commit
|
commitdiff
|
tree
2013-06-03
Brian Demsky
Add example from java showing legit satisfaction cycle
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
typos
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
print some stats in SC Analysis
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
document and extend trace analysis interface
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
cleanup plugin interface a little more.
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
add support for analysis with options
commit
|
commitdiff
|
tree
2013-05-06
Brian Demsky
add traceanalysis support
commit
|
commitdiff
|
tree
2013-05-03
Brian Demsky
scanalysis: don't rely on greedy search
commit
|
commitdiff
|
tree
2013-04-26
Brian Demsky
Fix bug that prevents graph generation from compiling.
commit
|
commitdiff
|
tree
2013-04-23
Brian Demsky
bug...will sometimes print SC traces in a bad order
commit
|
commitdiff
|
tree
2013-04-22
Brian Demsky
cleanup printing
commit
|
commitdiff
|
tree
next