projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Update readme
[c11tester.git]
/ cmodelint.cc
2020-12-08
weiyu
remove unused code
commit
|
commitdiff
2020-09-05
weiyu
Change initialize a bit
commit
|
commitdiff
2020-09-03
weiyu
Find a faster way to get currently executing thread...
commit
|
commitdiff
2020-09-03
weiyu
Remove unused functions
commit
|
commitdiff
2020-08-29
Brian Demsky
Eliminate system context
commit
|
commitdiff
2020-08-25
weiyu
Merge branch 'master' of /home/git/random-fuzzer into...
commit
|
commitdiff
2020-08-22
weiyu
Only consume THREAD_FINISH action in the master context
commit
|
commitdiff
2020-08-11
weiyu
Replace some switch_to_master with switch_thread
commit
|
commitdiff
2020-01-07
Brian Demsky
My configuration
commit
|
commitdiff
2019-12-10
Brian Demsky
Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
commit
|
commitdiff
2019-12-04
weiyu
Fix NewFuzzer::selectWrite - check back edges
commit
|
commitdiff
2019-11-21
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
commit
|
commitdiff
2019-11-20
bdemsky
Add datarace support for atomics and calloc
commit
|
commitdiff
2019-11-14
weiyu
Version that finds the bug of iris
commit
|
commitdiff
2019-08-20
weiyu
Merge branch 'master' into branch-weiyu
commit
|
commitdiff
2019-08-01
weiyu
little fixes
commit
|
commitdiff
2019-08-01
weiyu
merge
commit
|
commitdiff
2019-07-31
weiyu
merge
commit
|
commitdiff
2019-07-31
root
tabbing
commit
|
commitdiff
2019-07-31
root
bug fix
commit
|
commitdiff
2019-07-29
weiyu
fix bug
commit
|
commitdiff
2019-07-29
root
Merge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-07-27
weiyu
Merge branch 'new_fuzzer' into branch-weiyu
commit
|
commitdiff
2019-07-25
root
Experimental TLS support.
commit
|
commitdiff
2019-07-24
root
Make everything do stores + add more buffer for printing
commit
|
commitdiff
2019-07-22
root
remove some datarace code
commit
|
commitdiff
2019-07-22
Brian Demsky
volatile support
commit
|
commitdiff
2019-07-22
root
fix conflict
commit
|
commitdiff
2019-07-22
weiyu
add function calls for volatile loads and stores
commit
|
commitdiff
2019-07-19
root
More code towards support non-atomic stores
commit
|
commitdiff
2019-07-16
bdemsky
Make atomics actually write to memory for compatibility...
commit
|
commitdiff
2019-07-16
bdemsky
eliminate redundancy
commit
|
commitdiff
2019-07-16
bdemsky
run tabbing pass
commit
|
commitdiff
2019-07-12
weiyu
fix a bug in cds_func_exit
commit
|
commitdiff
2019-07-12
weiyu
fix a bug
commit
|
commitdiff
2019-07-11
weiyu
Merge branch 'new_fuzzer' into branch-weiyu
commit
|
commitdiff
2019-07-11
root
Get data race detector working... Commented out functi...
commit
|
commitdiff
2019-07-08
weiyu
merge and resolve conflict
commit
|
commitdiff
2019-07-06
weiyu
add func_map_rev to map function ids to function names
commit
|
commitdiff
2019-07-01
weiyu
fix git conflict
commit
|
commitdiff
2019-06-27
bdemsky
revamp scheduler so we can start threads early
commit
|
commitdiff
2019-06-26
Brian Demsky
Get gdax to not crash
commit
|
commitdiff
2019-06-26
bdemsky
add more functions
commit
|
commitdiff
2019-06-26
bdemsky
more fixes
commit
|
commitdiff
2019-06-26
bdemsky
bug fixes
commit
|
commitdiff
2019-06-26
bdemsky
more bug fixes
commit
|
commitdiff
2019-06-26
root
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-06-26
bdemsky
More changes
commit
|
commitdiff
2019-06-26
bdemsky
redo model object initialization
commit
|
commitdiff
2019-06-25
weiyu
add a new class 'ModelHistory'
commit
|
commitdiff
2019-06-24
weiyu
fix a bug for ATOMIC_RMWCAS
commit
|
commitdiff
2019-06-24
weiyu
add run time library for function entries and exits
commit
|
commitdiff
2019-06-21
bdemsky
fix CAS operation
commit
|
commitdiff
2019-06-19
Brian Demsky
run tabbing pass
commit
|
commitdiff
2019-06-19
Brian Demsky
fixup merge a bit
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-14
weiyu
add source line number as a parameter to ModelAction
commit
|
commitdiff
2019-06-14
weiyu
add support for function calls 'atomic_init' and 'atomi...
commit
|
commitdiff
2019-06-14
weiyu
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-06-11
bdemsky
fix tabbing
commit
|
commitdiff
2019-06-11
bdemsky
Fix RMW bug
commit
|
commitdiff
2019-01-08
weiyu
change cds checker to accomdate llvm pass
commit
|
commitdiff
2013-04-16
Brian Norris
action: bugfix - use non-zero fence "location"
commit
|
commitdiff
2013-02-20
Brian Norris
don't include action.h from model.h
commit
|
commitdiff
2012-12-12
Brian Norris
model: return value from switch_to_master
commit
|
commitdiff
2012-10-09
Brian Norris
rename threads.h -> threads-model.h
commit
|
commitdiff
2012-10-04
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
2012-10-03
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
2012-10-03
Brian Norris
modeltypes: move small typedefs to own header
commit
|
commitdiff
2012-09-14
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
2012-09-14
Brian Demsky
(1) add actions for the fence
commit
|
commitdiff
2012-08-02
Brian Demsky
Add documentation
commit
|
commitdiff
2012-08-02
Brian Demsky
towards making rmw work...
commit
|
commitdiff
2012-08-02
Brian Norris
pull in most of atomic header file
commit
|
commitdiff