action: improve "unintialized load" bug print
[model-checker.git] / main.cc
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...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-14 Subramanian Ganapathy(snapshot) removing mbFinalize and usage of finalize
2012-06-06 Brian Demskymore comments
2012-05-31 Subramanian GanapathyAdding fixes for the fork based implementation, also...
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-30 Brian Norrissnapshot: move declarations to the right interface...
2012-05-26 Brian Norrisrename snapshotStack -> SnapshotStack
2012-05-26 Brian Norrismain: take/revert snapshots
2012-05-21 Brian Norrisfixup EOL whitespace
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-21 Brian Norrismain: clear out redundant comments
2012-05-21 Brian Demskyremove lines from other files
2012-05-21 Brian Demskyfix various problems with my 64-bit clean hack
2012-05-21 Brian Demskyswitch back to norris style spacing in changed files
2012-05-21 Brian Norrismain: what are these variables for? (subramanian...)
2012-05-19 Brian Demskymy changes
2012-05-19 Brian Demskylet us set the size of the heap in a sane way
2012-05-19 Brian Demskysetup main wrapper and then call into norris code
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Subramanian GanapathyDefining the interfaces to add various regions to snapshot
2012-05-08 Brian Norrismain/threads: remove excess headers
2012-05-08 Brian Norrismain: split main() (and related functions) into main.cc