projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Update readme
[c11tester.git]
/ main.cc
2020-09-15
weiyu
Try to catch data races for memcpy
commit
|
commitdiff
2019-12-31
root
bug fix
commit
|
commitdiff
2019-12-30
root
difs
commit
|
commitdiff
2019-12-19
root
bug fixes
commit
|
commitdiff
2019-12-16
root
merge
commit
|
commitdiff
2019-12-16
Brian Demsky
More code towards freeing old actions
commit
|
commitdiff
2019-12-13
Brian Demsky
towards freeing actions
commit
|
commitdiff
2019-12-12
Brian Demsky
Get rid of uninitialized actions and just use non-atomi...
commit
|
commitdiff
2019-12-10
weiyu
Merge branch 'master' into branch-weiyu
commit
|
commitdiff
2019-12-10
Brian Demsky
Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
commit
|
commitdiff
2019-12-07
root
bug fix
commit
|
commitdiff
2019-12-06
Brian Demsky
More work towards removing main
commit
|
commitdiff
2019-12-06
Brian Demsky
Get rid of main
commit
|
commitdiff
2019-12-06
Brian Demsky
remove option
commit
|
commitdiff
2019-11-27
bdemsky
Switch to environmental variables
commit
|
commitdiff
2019-11-21
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
commit
|
commitdiff
2019-08-20
weiyu
Merge branch 'master' into branch-weiyu
commit
|
commitdiff
2019-08-01
weiyu
merge
commit
|
commitdiff
2019-08-01
root
Switch from pipes to temporary file to store program...
commit
|
commitdiff
2019-08-01
Brian Demsky
Get GDAX working.
commit
|
commitdiff
2019-07-31
weiyu
merge
commit
|
commitdiff
2019-07-30
root
remove STL vector
commit
|
commitdiff
2019-07-27
weiyu
Merge branch 'new_fuzzer' into branch-weiyu
commit
|
commitdiff
2019-07-23
root
Merge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-07-23
Brian Demsky
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-07-23
bdemsky
Name change
commit
|
commitdiff
2019-07-23
bdemsky
Remove mention of CDSChecker
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-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
Redo params
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-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
bdemsky
edits
commit
|
commitdiff
2019-06-20
Brian Demsky
Optimizations
commit
|
commitdiff
2019-06-19
root
merge
commit
|
commitdiff
2019-06-14
weiyu
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-06-12
bdemsky
fix tabbing comment issue
commit
|
commitdiff
2019-06-11
bdemsky
fix tabbing
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
2018-11-09
weiyu
improve randomization
commit
|
commitdiff
2018-10-26
weiyu
remove plugins
commit
|
commitdiff
2018-10-16
bdemsky
Remove SC Analysis
commit
|
commitdiff
2016-11-24
bdemsky
Work around changes in newer versions of glibc
commit
|
commitdiff
2015-09-02
bdemsky
Add SCFence analysis
commit
|
commitdiff
2014-05-06
bdemsky
Bug fixes from running Coverity
commit
|
commitdiff
2014-01-25
bdemsky
Support for -x option
commit
|
commitdiff
2013-08-13
Brian Norris
main: suggest thrd_yield() for -y fairness
commit
|
commitdiff
2013-05-31
Brian Norris
params: add multi-level verbosity
commit
|
commitdiff
2013-05-29
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
2013-05-29
Brian Norris
main: 'plug ins' -> 'plugins'
commit
|
commitdiff
2013-05-06
Brian Demsky
typos
commit
|
commitdiff
2013-05-06
Brian Demsky
cleanup plugin interface a little more.
commit
|
commitdiff
2013-05-06
Brian Demsky
add support for analysis with options
commit
|
commitdiff
2013-05-06
Brian Demsky
add traceanalysis support
commit
|
commitdiff
2013-04-19
Brian Norris
main: support long options, improve help message
commit
|
commitdiff
2013-04-18
Brian Demsky
Add yield block support. The idea is to not generate...
commit
|
commitdiff
2013-04-16
Brian Norris
Merge cleanup branch
commit
|
commitdiff
2013-04-16
Brian Norris
scanalysis: install ModelExecution object in the analysis
commit
|
commitdiff
2013-04-16
Brian Norris
Merge cleanup code from Brian N.
commit
|
commitdiff
2013-04-15
Brian Norris
params: move model_params to header file
commit
|
commitdiff
2013-04-13
Brian Demsky
towards supporting scanalysis...
commit
|
commitdiff
2013-04-13
Brian Demsky
add some support for traceanalysis plugins
commit
|
commitdiff
2013-03-22
Brian Norris
main: adjust defaults again
commit
|
commitdiff
2013-03-22
Brian Norris
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
2013-03-22
Brian Norris
main: change default 'future delay' for promise expiration
commit
|
commitdiff
2013-03-19
Brian Demsky
add our names
commit
|
commitdiff
2013-03-19
Brian Demsky
add copyright message
commit
|
commitdiff
2013-03-07
Brian Demsky
add new option for uninitialized writes...
commit
|
commitdiff
2013-03-06
Brian Demsky
documentation update
commit
|
commitdiff
2013-03-06
Brian Norris
Merge remote 'yield' work
commit
|
commitdiff
2013-03-06
Brian Demsky
add yield support
commit
|
commitdiff
2013-03-04
Brian Norris
refactor DBG_ENABLED() vs. verbose
commit
|
commitdiff
2013-01-03
Brian Norris
snapshot: more renaming
commit
|
commitdiff
2013-01-03
Brian Norris
snapshot: turn C++ interface into C interface
commit
|
commitdiff
2013-01-03
Brian Norris
fixup style
commit
|
commitdiff
2012-11-20
Brian Norris
main: remove #include's
commit
|
commitdiff
2012-11-20
Brian Norris
main: remove "pass-by-reference" editing in parse_options()
commit
|
commitdiff
2012-11-20
Brian Norris
main/model: move full user-program execution to ModelCh...
commit
|
commitdiff
2012-11-20
Brian Norris
model/main: add argc/argv parameter
commit
|
commitdiff
2012-11-17
Brian Norris
model/main: disable most printing by default, add verbosity
commit
|
commitdiff
2012-11-17
Brian Norris
output redirection
commit
|
commitdiff
2012-11-17
Brian Norris
print stats only at end of execution
commit
|
commitdiff
2012-11-16
Brian Norris
printf -> model_print
commit
|
commitdiff
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
2012-11-14
Brian Norris
main: change default future value sloppiness
commit
|
commitdiff
2012-11-14
Brian Norris
main/model: add future value expiration sloppiness...
commit
|
commitdiff
2012-11-14
Brian Norris
main: add maxfuturevalues parameter (-M)
commit
|
commitdiff
2012-11-14
Brian Norris
main: fixup parameter parsing for user program
commit
|
commitdiff
2012-11-07
Brian Norris
main: change default future value sloppiness
commit
|
commitdiff
2012-11-07
Brian Norris
main/model: add future value expiration sloppiness...
commit
|
commitdiff
next