output redirection
[c11tester.git] / main.cc
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