projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Update readme
[c11tester.git]
/ execution.cc
2019-07-31
bdemsky
Get code to compile
commit
|
commitdiff
2019-07-30
root
edits
commit
|
commitdiff
2019-07-30
root
edits
commit
|
commitdiff
2019-07-30
root
more code
commit
|
commitdiff
2019-07-30
root
towards getting rid of STL
commit
|
commitdiff
2019-07-30
bdemsky
more fixes
commit
|
commitdiff
2019-07-29
bdemsky
edits
commit
|
commitdiff
2019-07-29
root
Merge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-07-29
root
bug fix
commit
|
commitdiff
2019-07-28
root
edit
commit
|
commitdiff
2019-07-28
bdemsky
improve complexity
commit
|
commitdiff
2019-07-27
bdemsky
New TLS strategy...
commit
|
commitdiff
2019-07-27
weiyu
Merge branch 'new_fuzzer' into branch-weiyu
commit
|
commitdiff
2019-07-25
root
Bug fixes to atomic logic
commit
|
commitdiff
2019-07-25
root
Experimental TLS support.
commit
|
commitdiff
2019-07-25
weiyu
little fixes
commit
|
commitdiff
2019-07-22
root
remove some datarace code
commit
|
commitdiff
2019-07-22
root
fix conflict
commit
|
commitdiff
2019-07-22
Brian Demsky
Support for reading from nonatomic stores...A little...
commit
|
commitdiff
2019-07-19
root
More code towards support non-atomic stores
commit
|
commitdiff
2019-07-19
bdemsky
Add support for converting normal writes into ModelActi...
commit
|
commitdiff
2019-07-18
weiyu
name variables
commit
|
commitdiff
2019-07-16
bdemsky
run tabbing pass
commit
|
commitdiff
2019-07-16
weiyu
allow the fuzzer to continue if only a few data races...
commit
|
commitdiff
2019-07-11
weiyu
Merge branch 'new_fuzzer' into branch-weiyu
commit
|
commitdiff
2019-07-08
weiyu
merge and resolve conflict
commit
|
commitdiff
2019-07-08
weiyu
add a new data structure in execution.h, which is used...
commit
|
commitdiff
2019-07-06
weiyu
temporarily remove assertion for 'lock access before...
commit
|
commitdiff
2019-07-03
bdemsky
Maintain list of writes
commit
|
commitdiff
2019-07-03
bdemsky
Optimize SC lookup
commit
|
commitdiff
2019-07-03
Brian Demsky
clean up code
commit
|
commitdiff
2019-07-03
root
get rid of nodestack
commit
|
commitdiff
2019-07-02
root
bug fix
commit
|
commitdiff
2019-07-02
bdemsky
memoize hb in writes
commit
|
commitdiff
2019-07-01
weiyu
fix git conflict
commit
|
commitdiff
2019-06-29
Brian Demsky
Fix bug
commit
|
commitdiff
2019-06-29
root
bug fixes
commit
|
commitdiff
2019-06-28
root
tabbing plus lots of memory fixes
commit
|
commitdiff
2019-06-27
root
bug fixes
commit
|
commitdiff
2019-06-27
bdemsky
revamp scheduler so we can start threads early
commit
|
commitdiff
2019-06-27
weiyu
change func_atomics and work_list to vectors
commit
|
commitdiff
2019-06-26
Brian Demsky
Get gdax to not crash
commit
|
commitdiff
2019-06-26
root
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-06-26
bdemsky
get rid of some compile errors and warnings
commit
|
commitdiff
2019-06-21
bdemsky
fix CAS operation
commit
|
commitdiff
2019-06-21
bdemsky
fix tabbing
commit
|
commitdiff
2019-06-21
bdemsky
Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu...
commit
|
commitdiff
2019-06-21
Brian Demsky
performance improvements
commit
|
commitdiff
2019-06-21
Brian Demsky
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-06-21
root
prune mod order
commit
|
commitdiff
2019-06-21
bdemsky
changes
commit
|
commitdiff
2019-06-20
Brian Demsky
Optimizations
commit
|
commitdiff
2019-06-19
Brian Demsky
run tabbing pass
commit
|
commitdiff
2019-06-19
Brian Demsky
Merge branch 'branch-weiyu' into new_fuzzer
commit
|
commitdiff
2019-06-19
root
merge
commit
|
commitdiff
2019-06-17
weiyu
implement usleep and sleep system calls as no operation...
commit
|
commitdiff
2019-06-14
weiyu
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-06-13
bdemsky
new cyclegraph
commit
|
commitdiff
2019-06-12
bdemsky
Merge branch 'new_fuzzer' into tmp
commit
|
commitdiff
2019-06-12
Brian Demsky
Don't do complete checks until we choose store to read...
commit
|
commitdiff
2019-06-12
bdemsky
partial edits
commit
|
commitdiff
2019-06-12
bdemsky
fix tabbing comment issue
commit
|
commitdiff
2019-06-11
bdemsky
fix tabbing
commit
|
commitdiff
2019-06-11
bdemsky
remove extra cyclegraph calls
commit
|
commitdiff
2019-06-11
bdemsky
Fix RMW bug
commit
|
commitdiff
2019-06-06
bdemsky
refactor choices into own class
commit
|
commitdiff
2019-06-05
bdemsky
make some changes with hacks
commit
|
commitdiff
2019-06-05
bdemsky
More fuzzing changes
commit
|
commitdiff
2019-06-04
bdemsky
Revert "remove plugins"
commit
|
commitdiff
2019-06-04
bdemsky
towards fuzzing only
commit
|
commitdiff
2019-06-04
bdemsky
remove old release sequences
commit
|
commitdiff
2019-06-04
bdemsky
Remove promises
commit
|
commitdiff
2019-06-01
Brian Demsky
partial conversion to fuzzer
commit
|
commitdiff
2019-05-28
weiyu
fix the case where no waiter is waiting
commit
|
commitdiff
2019-05-28
weiyu
change the namespace of mutex from std to cdsc
commit
|
commitdiff
2019-02-15
weiyu
move pthread_map and mutex_map inside of execution.h
commit
|
commitdiff
2019-01-24
weiyu
add support for pthread_mutex
commit
|
commitdiff
2019-01-22
weiyu
pthread join seems to be working
commit
|
commitdiff
2019-01-22
weiyu
pthread_create is working now
commit
|
commitdiff
2019-01-08
weiyu
change cds checker to accomdate llvm pass
commit
|
commitdiff
2018-11-09
weiyu
improve randomization
commit
|
commitdiff
2018-10-26
weiyu
remove plugins
commit
|
commitdiff
2014-07-18
bdemsky
SC Reads can read from things mo'd before the last...
commit
|
commitdiff
2014-04-16
bdemsky
bug fix with missing coherence condition for promises
commit
|
commitdiff
2014-01-26
bdemsky
Bug fix for broken treatment of promises + coherence...
commit
|
commitdiff
2013-06-06
Brian Norris
execution: remove redundant condition, reword doc for...
commit
|
commitdiff
2013-06-06
Brian Norris
execution: document additional mo_may_allow() optimization
commit
|
commitdiff
2013-06-01
Brian Norris
model: cosmetic output improvements
commit
|
commitdiff
2013-05-29
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
2013-05-29
Brian Norris
execution: reformat execution traces
commit
|
commitdiff
2013-05-08
Brian Norris
execution: bugfix - resolved promises should propagate...
commit
|
commitdiff
2013-05-08
Brian Norris
execution: refactor common CV propagation into its...
commit
|
commitdiff
2013-04-26
Brian Demsky
Fix bug that prevents graph generation from compiling.
commit
|
commitdiff
2013-04-19
Brian Norris
execution: improve documentation
commit
|
commitdiff
2013-04-19
Brian Norris
execution: improve yield-blocking structure
commit
|
commitdiff
2013-04-18
Brian Demsky
Add yield block support. The idea is to not generate...
commit
|
commitdiff
2013-04-17
Brian Demsky
Bug: ModelExecution had bogus model_params reference.
commit
|
commitdiff
2013-04-17
Brian Norris
datarace: don't export unrealized race vector
commit
|
commitdiff
2013-04-17
Brian Norris
execution: bugfix - no action "conflicts" with itself
commit
|
commitdiff
2013-04-17
Brian Norris
execution: bugfix - backtrack seq-cst fences properly
commit
|
commitdiff
next