projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
more fixes
[c11tester.git]
/
action.cc
2019-07-29
root
edits
blob
|
commitdiff
|
raw
2019-07-29
root
Merge branch 'branch-weiyu' of /home/git/random-fuzzer...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-27
root
Lock model check when we terminate proxy thread
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
root
fix conflict
blob
|
commitdiff
|
raw
|
diff to current
2019-07-19
bdemsky
Add support for converting normal writes into ModelActi...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-08
weiyu
merge and resolve conflict
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
root
get rid of nodestack
blob
|
commitdiff
|
raw
|
diff to current
2019-07-02
bdemsky
memoize hb in writes
blob
|
commitdiff
|
raw
|
diff to current
2019-06-26
Brian Demsky
Get gdax to not crash
blob
|
commitdiff
|
raw
|
diff to current
2019-06-24
weiyu
fix a bug for ATOMIC_RMWCAS
blob
|
commitdiff
|
raw
|
diff to current
2019-06-19
Brian Demsky
run tabbing pass
blob
|
commitdiff
|
raw
|
diff to current
2019-06-19
Brian Demsky
fixup merge a bit
blob
|
commitdiff
|
raw
|
diff to current
2019-06-19
Brian Demsky
Merge branch 'branch-weiyu' into new_fuzzer
blob
|
commitdiff
|
raw
|
diff to current
2019-06-19
root
merge
blob
|
commitdiff
|
raw
|
diff to current
2019-06-17
weiyu
implement usleep and sleep system calls as no operation...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
weiyu
add source line number as a parameter to ModelAction
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
weiyu
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
bdemsky
fix tabbing comment issue
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
bdemsky
reorder fields to save space
blob
|
commitdiff
|
raw
|
diff to current
2019-06-11
bdemsky
fix tabbing
blob
|
commitdiff
|
raw
|
diff to current
2019-06-11
bdemsky
Fix RMW bug
blob
|
commitdiff
|
raw
|
diff to current
2019-06-04
bdemsky
remove another field
blob
|
commitdiff
|
raw
|
diff to current
2019-06-04
bdemsky
towards fuzzing only
blob
|
commitdiff
|
raw
|
diff to current
2019-06-04
bdemsky
remove old release sequences
blob
|
commitdiff
|
raw
|
diff to current
2019-06-04
bdemsky
Remove promises
blob
|
commitdiff
|
raw
|
diff to current
2019-06-01
Brian Demsky
partial conversion to fuzzer
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
weiyu
change the namespace of mutex from std to cdsc
blob
|
commitdiff
|
raw
|
diff to current
2019-02-15
weiyu
move pthread_map and mutex_map inside of execution.h
blob
|
commitdiff
|
raw
|
diff to current
2019-01-22
weiyu
pthread join seems to be working
blob
|
commitdiff
|
raw
|
diff to current
2019-01-22
weiyu
pthread_create is working now
blob
|
commitdiff
|
raw
|
diff to current
2019-01-08
weiyu
change cds checker to accomdate llvm pass
blob
|
commitdiff
|
raw
|
diff to current
2016-02-24
bdemsky
bug in fence support fixed
blob
|
commitdiff
|
raw
|
diff to current
2015-09-02
bdemsky
Add SCFence analysis
blob
|
commitdiff
|
raw
|
diff to current
2014-01-25
bdemsky
Annotation Support
blob
|
commitdiff
|
raw
|
diff to current
2013-05-29
Brian Norris
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-29
Brian Norris
execution: reformat execution traces
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Brian Norris
action: improve "unintialized load" bug print
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Brian Norris
action: add get_{type,mo}_str() accessors
blob
|
commitdiff
|
raw
|
diff to current
2013-04-16
Brian Norris
action: add <stdlib>
blob
|
commitdiff
|
raw
|
diff to current
2013-04-16
Brian Norris
model: remove public check_promises() interface
blob
|
commitdiff
|
raw
|
diff to current
2013-04-16
Brian Norris
promise: add Promise::get_index function
blob
|
commitdiff
|
raw
|
diff to current
2013-04-16
Brian Norris
action: we don't need special cases for lock/join anymore
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Brian Norris
improve documentation + Doxygen formatting
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Brian Norris
action: refactor, move VALUE_TRY{SUCCESS,FAILED} out...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-05
Brian Norris
action: correct RF capitalization
blob
|
commitdiff
|
raw
|
diff to current
2013-04-04
Brian Norris
action: include reads-from-promise in HASH calculations
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Brian Norris
action: add ModelAction::is_thread_join() helper
blob
|
commitdiff
|
raw
|
diff to current
2013-03-08
Brian Norris
stl - remove stale <vector> and <list> #include's
blob
|
commitdiff
|
raw
|
diff to current
2013-03-06
Brian Norris
Merge remote 'yield' work
blob
|
commitdiff
|
raw
|
diff to current
2013-03-06
Brian Demsky
add yield support
blob
|
commitdiff
|
raw
|
diff to current
2013-03-03
Brian Norris
action: add get_mutex()
blob
|
commitdiff
|
raw
|
diff to current
2013-03-03
Brian Norris
action: add get_return_value()
blob
|
commitdiff
|
raw
|
diff to current
2013-03-02
Brian Norris
check_recency: implement loops as function ModelAction...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-02
Brian Norris
action: bugfix - reads-from value should be VALUE_NONE...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-01
Brian Norris
action: add get_write_value()
blob
|
commitdiff
|
raw
|
diff to current
2013-03-01
Brian Norris
action: add ModelAction::get_reads_from_value()
blob
|
commitdiff
|
raw
|
diff to current
2013-03-01
Brian Norris
action, model: add ASSERT(), not NULL checks
blob
|
commitdiff
|
raw
|
diff to current
2013-02-28
Brian Norris
action: print promise number, not just ?
blob
|
commitdiff
|
raw
|
diff to current
2013-02-28
Brian Norris
un-'const' some Promises
blob
|
commitdiff
|
raw
|
diff to current
2013-02-22
Brian Norris
action: backtrack/sleep-sets for seq-cst fences
blob
|
commitdiff
|
raw
|
diff to current
2013-02-14
Brian Norris
threads/model: allocate Thread from w/in ModelChecker
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Brian Norris
Merge branch 'fences'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Brian Norris
action: bugfix - initialize member
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
action: fixup printing for RMW/RMWR
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
action: store Promise in ModelAction
blob
|
commitdiff
|
raw
|
diff to current
2013-02-02
Brian Norris
action: fix incorrect comment
blob
|
commitdiff
|
raw
|
diff to current
2013-01-10
Brian Norris
action: remove incorrect fence backtracking
blob
|
commitdiff
|
raw
|
diff to current
2013-01-02
Brian Norris
action: add get_thread_operand() method
blob
|
commitdiff
|
raw
|
diff to current
2012-12-19
Brian Norris
action: fixup style
blob
|
commitdiff
|
raw
|
diff to current
2012-12-12
Brian Norris
action: refactor ATOMIC_READ printing
blob
|
commitdiff
|
raw
|
diff to current
2012-12-08
Brian Norris
spacing
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
action: add is_atomic_var()
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
model/action: bugfix - UNINIT actions do not have a...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
action: move ModelAction::get_node to action.cc
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
action: add ATOMIC_UNINIT type
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
action: add is_thread_start()
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model/action: move complicated read_from logic into...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
action: record last fence release from the current...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
action/model: backtrack for seq-cst and release/acquire...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-03
Brian Norris
action: allow fence ModelActions to have location ...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-19
Brian Norris
action: add is_relaxed() function
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
printf -> model_print
blob
|
commitdiff
|
raw
|
diff to current
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
blob
|
commitdiff
|
raw
|
diff to current
2012-11-03
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-03
Brian Demsky
previous synchronization was weird...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-12
Brian Norris
fixup 'int' vs. 'thread_id_t' usage
blob
|
commitdiff
|
raw
|
diff to current
2012-10-12
Brian Demsky
forgot to add two files...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-12
Brian Demsky
commit untested condvar code
blob
|
commitdiff
|
raw
|
diff to current
2012-10-11
Brian Norris
action: improve printing
blob
|
commitdiff
|
raw
|
diff to current
2012-10-10
Brian Norris
action: add NULL dereference assertion
blob
|
commitdiff
|
raw
|
diff to current
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-10
Brian Demsky
fix some of the bugs related to barrier example...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-09
Brian Norris
rename threads.h -> threads-model.h
blob
|
commitdiff
|
raw
|
diff to current
2012-10-09
Brian Demsky
be much more careful about sending values backwards...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Demsky
be even more aggressive about sleep sets...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Demsky
merge massive speedup with release sequence support...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Demsky
add support for sleep sets...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Norris
Merge branch 'norris'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Norris
action: add Thread parameter to constructor
blob
|
commitdiff
|
raw
|
diff to current
2012-10-07
Brian Norris
action: add MODEL_FIXUP_RELSEQ action_type
blob
|
commitdiff
|
raw
|
diff to current
next