small changes
[c11tester.git] /
2019-12-31 rootbug fix
2019-12-30 rootdifs
2019-12-19 rootbug fixes
2019-12-16 rootmerge
2019-12-16 Brian DemskyMore code towards freeing old actions
2019-12-13 Brian Demskytowards freeing actions
2019-12-12 Brian DemskyGet rid of uninitialized actions and just use non-atomi...
2019-12-10 weiyuMerge branch 'master' into branch-weiyu
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
2019-12-07 rootbug fix
2019-12-06 Brian DemskyMore work towards removing main
2019-12-06 Brian DemskyGet rid of main
2019-12-06 Brian Demskyremove option
2019-11-27 bdemskySwitch to environmental variables
2019-11-21 bdemskyMerge branch 'master' of ssh://
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-01 weiyumerge
2019-08-01 rootSwitch from pipes to temporary file to store program...
2019-08-01 Brian DemskyGet GDAX working.
2019-07-31 weiyumerge
2019-07-30 rootremove STL vector
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-23 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-23 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-07-23 bdemskyName change
2019-07-23 bdemskyRemove mention of CDSChecker
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-11 rootGet data race detector working... Commented out functi...
2019-07-01 weiyufix git conflict
2019-06-27 bdemskyrevamp scheduler so we can start threads early
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 bdemskyRedo params
2019-06-26 bdemskymore bug fixes
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 bdemskyMore changes
2019-06-26 bdemskyredo model object initialization
2019-06-21 bdemskyfix tabbing
2019-06-21 bdemskyMerge branch 'new_fuzzer' of ssh://
2019-06-21 bdemskyedits
2019-06-20 Brian DemskyOptimizations
2019-06-19 rootmerge
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-12 bdemskyfix tabbing comment issue
2019-06-11 bdemskyfix tabbing
2019-06-05 bdemskyMore fuzzing changes
2019-06-04 bdemskyRevert "remove plugins"
2019-06-04 bdemskytowards fuzzing only
2019-06-04 bdemskyremove old release sequences
2018-11-09 weiyuimprove randomization
2018-10-26 weiyuremove plugins
2018-10-16 bdemskyRemove SC Analysis
2016-11-24 bdemskyWork around changes in newer versions of glibc
2015-09-02 bdemskyAdd SCFence analysis
2014-05-06 bdemskyBug fixes from running Coverity
2014-01-25 bdemskySupport for -x option
2013-08-13 Brian Norrismain: suggest thrd_yield() for -y fairness
2013-05-31 Brian Norrisparams: add multi-level verbosity
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master'
2013-05-29 Brian Norrismain: 'plug ins' -> 'plugins'
2013-05-06 Brian Demskytypos
2013-05-06 Brian Demskycleanup plugin interface a little more.
2013-05-06 Brian Demskyadd support for analysis with options
2013-05-06 Brian Demskyadd traceanalysis support
2013-04-19 Brian Norrismain: support long options, improve help message
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate...
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrisscanalysis: install ModelExecution object in the analysis
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-15 Brian Norrisparams: move model_params to header file
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-03-22 Brian Norrismain: adjust defaults again
2013-03-22 Brian NorrisMerge branch 'master' of ssh://
2013-03-22 Brian Norrismain: change default 'future delay' for promise expiration
2013-03-19 Brian Demskyadd our names
2013-03-19 Brian Demskyadd copyright message
2013-03-07 Brian Demskyadd new option for uninitialized writes...
2013-03-06 Brian Demskydocumentation update
2013-03-06 Brian NorrisMerge remote 'yield' work
2013-03-06 Brian Demskyadd yield support
2013-03-04 Brian Norrisrefactor DBG_ENABLED() vs. verbose
2013-01-03 Brian Norrissnapshot: more renaming
2013-01-03 Brian Norrissnapshot: turn C++ interface into C interface
2013-01-03 Brian Norrisfixup style
2012-11-20 Brian Norrismain: remove #include's
2012-11-20 Brian Norrismain: remove "pass-by-reference" editing in parse_options()
2012-11-20 Brian Norrismain/model: move full user-program execution to ModelCh...
2012-11-20 Brian Norrismodel/main: add argc/argv parameter
2012-11-17 Brian Norrismodel/main: disable most printing by default, add verbosity
2012-11-17 Brian Norrisoutput redirection
2012-11-17 Brian Norrisprint stats only at end of execution
2012-11-16 Brian Norrisprintf -> model_print
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-14 Brian Norrismain: change default future value sloppiness
2012-11-14 Brian Norrismain/model: add future value expiration sloppiness...
2012-11-14 Brian Norrismain: add maxfuturevalues parameter (-M)
2012-11-14 Brian Norrismain: fixup parameter parsing for user program
2012-11-07 Brian Norrismain: change default future value sloppiness
2012-11-07 Brian Norrismain/model: add future value expiration sloppiness...
2012-11-04 Brian Norrismain: add maxfuturevalues parameter (-M)