README: a few more formatting issues
[model-checker.git] / nodestack.h
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-03-28 Brian Norrisnodestack: move "behaviors" increment all into Node...
2013-03-08 Brian Norrisstl - remove stale <vector> and <list> #include's
2013-03-07 Brian Norrisbugfix - add stl-model.h wrappers, to provide more...
2013-03-07 Brian NorrisRevert "switch to snapshot/modelalloc versions of stl...
2013-03-07 Brian Demskyswitch to snapshot/modelalloc versions of stl classes
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-02 Brian Norrisnodestack: add support functions for check_recency...
2013-02-28 Brian Norrisun-'const' some Promises
2013-02-28 Brian Norrisnodestack: rewrite promise-resolution "counting"
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-12 Brian NorrisMerge branch 'fences'
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 Norrisremove #include <list>
2012-12-15 Brian Norrisnodestack: add const
2012-12-15 Brian Norrisnodestack: don't create empty base node
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-12 Brian Norrisnodestack: add 'const'
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
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-10-12 Brian Demskycommit untested condvar code
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-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 DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisrename 'MyAlloc' to 'ModelAlloc'
2012-10-02 Brian DemskyFixed bug breaking our consolidation of future values...
2012-09-25 Brian NorrisMerge branch 'norris'
2012-09-24 Brian Demskyfairness changes...
2012-09-20 Brian Demskybug fixes for lock support...think it works now...
2012-09-19 Brian Demskymerge stuff
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()
2012-08-23 Brian Norrisnodestack: turn magic promise numbers into enum + typedef
2012-08-23 Brian Norrisnodestack: don't use uint32_t
2012-08-23 Brian Norrisnodestack: remove unnecessary typedefs
2012-08-02 Brian Demskystandardize names a little
2012-08-02 Brian Demskymore changes towards keeping track of promises resolved...
2012-08-02 Brian Demskychanges
2012-08-02 Brian Demskysome changes towards reading from future writes
2012-07-31 Brian DemskyAdd basic reads from support
2012-07-17 Brian DemskyMake stack popping explicit.
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-07 Brian NorrisMerge branch 'datarace'
2012-07-07 Brian Norrisnodestack: add stub 'get_next_read_from()' function
2012-07-07 Brian Norrisnodestack: add print_may_read_from()
2012-07-07 Brian Norrisnodestack: build 'may_read_from' out of constant ModelA...
2012-07-06 Brian Norrisnodestack: action_set_t: replace STL 'set' with 'list'
2012-07-06 Brian Norristrivial changes
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-07-03 Brian NorrisMerge branch 'brian'
2012-07-03 Brian Norrisnodestack: revert may_read_from to a normal member...
2012-06-25 Brian Norrisadd documentation
2012-06-25 Brian Norrisnodestack: only create may_read_from sets for read...
2012-06-25 Brian Norrisnodestack: add Node::get_parent() function
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-21 Brian Norrisnodestack: add 'may_read_from' set
2012-06-19 Brian Norrisnodestack: don't perform linear search to check if...
2012-06-06 Brian Demsky1) Add more comments.
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-30 Brian Norrisnode: do not use static member variable
2012-05-29 Brian Norrisnodestack: push 'create_cv' functionality responsibilit...
2012-05-28 Brian Norrisnodestack: compute parent ModelAction externally
2012-05-28 Brian Norrisnodestack: construct Node with 'number of threads'...
2012-05-25 Brian Norrisnodestack: bugfix - fixup allocators for vectors
2012-05-25 Brian Norrisadd more classes to snapshotting region
2012-05-21 Brian Norrisnodestack: allocate from "mymemory" region
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
next