Fix snapshot code
[model-checker.git] / nodestack.cc
2015-09-02 bdemskyAdd SCFence analysis oopsla2015
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads()
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack
2013-03-28 Brian Norrisnodestack: move "behaviors" increment all into Node...
2013-03-28 Brian Norrisnodestack: regroup some code
2013-03-14 Brian Demskyfix memory leak
2013-03-07 Brian Norrismodel, nodestack: bugfix - retain UNINIT actions across...
2013-03-06 Brian NorrisMerge remote 'yield' work
2013-03-06 Brian Demskyadd yield support
2013-03-04 Brian Norrisnodestack: print thread status info in Node::print
2013-03-02 Brian Norrisnodestack: add support functions for check_recency...
2013-03-01 Brian Norrisnodestack: get_read_from_promise() never returns NULL
2013-02-28 Brian Norrisnodestack: bugfix - clear backtracking properly
2013-02-28 Brian Norrisun-'const' some Promises
2013-02-28 Brian Norrisnodestack: rewrite promise-resolution "counting"
2013-02-28 Brian Norrismodel: hook up 'read-from-promise' backtracking in...
2013-02-28 Brian Norrisnodestack: add read_from_promises backtracking
2013-02-28 Brian Norrisnodestack: bugfix - rewrite 'may-read-from' and 'future...
2013-02-28 Brian Norrisnodestack: rename 'read_from' to 'read_from_past'
2013-02-23 Brian Norrisnodestack: bugfix - reset backtracking points on diverg...
2013-02-23 Brian Norrisnodestack: don't use C++ references
2013-02-14 Brian Norristhreads/model: allocate Thread from w/in ModelChecker
2013-02-12 Brian NorrisMerge branch 'fences'
2013-01-29 Brian Norrisnodestack/model: spacing
2013-01-24 Brian Norrisfuture_value: add thread ID parameter
2013-01-24 Brian Norrisnodestack: pass 'struct future_value' to add_future_value()
2013-01-23 Brian Norrisnodestack: add const
2013-01-23 Brian Norrisnodestack/promise: move future_value struct, update...
2013-01-23 Brian Norrisnodestack: pass writer ModelAction to add_future_value()
2013-01-23 Brian Norrisnodestack: eliminate get_future_value_expiration()
2013-01-23 Brian Norrisnodestack: remove extra blank lines
2013-01-23 Brian Norrisnodestack: improve debug print() method
2013-01-19 Brian Norrisnodestack: improve debug prints
2012-12-19 Brian Norrisnodestack: refactor Node constructor
2012-12-15 Brian Norrisnodestack: style
2012-12-15 Brian Norrisnodestack: add const
2012-12-15 Brian Norrisnodestack: do not allow Node with act == NULL
2012-12-15 Brian Norrisnodestack: don't create empty base node
2012-12-13 Brian Norrisnodestack: print extra backtracking info
2012-12-13 Brian Norrisnodestack: fixup style
2012-12-13 Brian Norrisnodestack: rename 'iter' to 'head_idx'
2012-12-13 Brian Norrisnodestack: make 'iter' signed
2012-12-13 Brian Norrisnodestack: spacing
2012-12-12 Brian Norrisnodestack: add 'const'
2012-11-16 Brian Norrisprintf -> model_print
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-14 Brian Norrisnodestack: implement expiration sloppiness parameter
2012-11-14 Brian Norrisnodestack: limit the number of future values per read
2012-11-07 Brian Norrisnodestack: implement expiration sloppiness parameter
2012-11-04 Brian Norrisnodestack: limit the number of future values per read
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian Demskyclean up check code
2012-11-03 Brian Demskyoptimization - a given write can resolve at most one...
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian Demskychanges to fix at least a bug
2012-11-02 Brian Demskyfix norris bugs
2012-11-01 Brian Norrisnodestack: improve bounds-checking assertion
2012-10-12 Brian Norrisfixup 'int' vs. 'thread_id_t' usage
2012-10-12 Brian Demskycommit untested condvar code
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Demskymake scheduler choose fair schedules when threads with...
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-08 Brian Demskymerge massive speedup with release sequence support...
2012-10-08 Brian Demskyadd support for sleep sets...
2012-10-08 Brian NorrisMerge branch 'norris'
2012-10-07 Brian Norrisnodestack: add release sequence breakage backtracking
2012-10-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-06 Brian Demskycreate enumeration for enabled information...switch...
2012-10-05 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-04 Brian Norrisnodestack: destroy Nodes properly in ~NodeStack()
2012-10-04 Brian Norrisnodestack: use initializer list
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header
2012-10-03 Brian Norrisnodestack: move has_priority() out of header
2012-10-03 Brian Demskyerror
2012-10-03 Brian Demskyrandom memory leak fixes and memory access fixes
2012-10-02 Brian Demskyfix bug.... not quite perfect for linux locks, but...
2012-10-02 Brian Norrismodel: revert broken bugfix
2012-10-02 Brian Demskystart support for drawing execution diagrams
2012-10-02 Brian DemskyFixed bug breaking our consolidation of future values...
2012-10-02 Brian Norrisrename MYFREE -> model_free
2012-10-02 Brian Norrisrename MYMALLOC -> model_malloc
2012-10-01 Brian Demskybug fix...recompute promises of RMW actions at divergen...
2012-09-27 Brian Norrisnodestack: add debug prints
2012-09-25 Brian NorrisMerge branch 'norris'
2012-09-24 Brian Demskyfairness changes...
2012-09-20 Brian Norrisfix compilation (includes)
2012-09-20 Brian Demskybug fixes for lock support...think it works now...
2012-09-19 Brian Demskymerge stuff
2012-09-19 Brian Demskymore bugs
2012-09-19 Brian Demskyfix
2012-09-18 Brian Demskychanges
2012-09-18 Brian DemskyMerge branch 'master' into mutex
2012-09-18 Brian Demskystart towards adding support for mutexes
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 Demskymodel: fix the maxreads support
2012-09-11 Brian Norrisnodestack: add get_read_from_size()
next