deal with looping due to bogus future value via promise expiration
[c11tester.git] / main.cc
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