redo model object initialization
[c11tester.git] / main.cc
2019-06-26 bdemskyredo model object initialization
2019-06-21 bdemskyfix tabbing
2019-06-21 bdemskyMerge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu...
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://demsky.eecs.uci.edu...
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)
2012-11-04 Brian NorrisMerge branch 'master' into pldi13
2012-11-04 Brian Norrismain: always ensure defaults when printing
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-02 Brian Norrismain: fixup parameter parsing for user program
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Demskyfix some of the bugs related to barrier example...
2012-10-09 Brian Norrismove libthreads.h -> include/threads.h
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-09 Brian Norrisuser_main: pass remaining arguments to the user program
2012-10-09 Brian Norrismain: rename 'real_main()' to 'model_main()'
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrissnapshot: rename 'SnapShot' -> 'Snapshot'
2012-10-03 Brian Demskymspace_malloc will call into mmap if it runs out of...
2012-09-25 Brian NorrisMerge branch 'norris'
2012-09-24 Brian Demskyfairness changes...
2012-09-13 Brian Norrismain: wrap help message
2012-09-12 Brian Demskydeal with looping due to bogus future value via promise...
2012-09-12 Brian NorrisMerge branch 'demsky'
2012-09-11 Brian Norrismain: add "maxreads" parameter
2012-09-08 Brian Norrismain: add parameter parsing
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-16 Brian Norrismain, model: don't 'initialize' system_context
2012-08-16 Brian Norrismain, model: move main execution loop into ModelChecker...
2012-08-11 Brian Norrisadd basic parameter handling
2012-08-08 Brian Norrismain, threads: improve comments regarding thread stepping
2012-08-02 Brian Demskytrying to get fork based snapshotting to work
2012-07-31 Brian Demskymodel: add support for modification orders
2012-07-12 Brian Norrisreformat some doxygen comments, remove newlines
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrismain: make function static
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-07-10 Brian Demskyfix bug
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
next