towards supporting scanalysis...
[model-checker.git] / schedule.h
2013-03-04 Brian Norrisnodestack: print thread status info in Node::print
2013-02-28 Brian Norrismodel/schedule: comput "reduadant" measurement, print...
2013-02-25 Brian Demskyrepush changes
2013-02-25 Brian Demskyfix conflicts
2013-02-25 Brian NorrisRevert "fix scheduling stuff to get nice round robin...
2013-02-25 Brian Demskyfix scheduling stuff to get nice round robin scheduler...
2013-02-15 Brian Norrisschedule: split Scheduler::next_thread() into separate...
2013-02-12 Brian NorrisMerge branch 'fences'
2013-01-23 Brian Norrisnodestack/promise: move future_value struct, update...
2013-01-23 Brian Norrisremove #include <list>
2012-12-06 Brian Norrisschedule: add is_sleep_set(thread)
2012-12-06 Brian Norrisschedule: add const
2012-11-20 Brian Norrisschedule: rename get_enabled() -> get_enabled_array()
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskymerge
2012-11-14 Brian Norrisschedule: improve is_enabled() routines
2012-10-08 Brian Demskymerge massive speedup with release sequence support...
2012-10-08 Brian Demskyadd support for sleep sets...
2012-10-07 Brian Norrisschedule: add is_enabled() function
2012-10-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-06 Brian Demskycreate enumeration for enabled information...switch...
2012-09-19 Brian Demskymerge stuff
2012-09-18 Brian Demskychanges
2012-09-12 Brian Norristhreads, model, schedule: refactor thread joining
2012-09-12 Brian Norrisschedule: add sleep() function
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Norrisschedule: add wait and wake functions
2012-09-04 Brian Norrismodel/schedule: revise 'nextThread' data flow
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-16 Brian Norrisschedule: make print() const
2012-08-16 Brian Norrisschedule, threads: update comments, const's
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-15 Brian Norrisfixup some doc wording
2012-06-06 Brian Demskymore documentation
2012-06-06 Brian Demsky1) Add more comments.
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-25 Brian Norrisadd more classes to snapshotting region
2012-05-21 Brian Norrisfix indentation + spacing, esp. for MEMALLOC macro
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-21 Brian Demskyremove lines from other files
2012-05-21 Brian Demskyfix various problems with my 64-bit clean hack
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-03 Brian Norrisstraighten out header includes, comment on Forward...
2012-04-30 Brian Norrisclean up header #includes
2012-04-24 Brian Norrisschedule: reset scheduler when thread is removed
2012-04-23 Brian Norrisschedule: print debug info
2012-04-20 Brian Norrisschedule: replace queue with list
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal...
2012-04-10 Brian Norrisscheduler: kill 'replaceable' scheduler
2012-03-15 Brian Norrisschedule: use STL 'queue' instead of 'list'
2012-03-15 Brian Norrisschedule: make 'current' a private member of the scheduler
2012-03-15 Brian Norrisschedule: use STL list class instead of custom queue
2012-03-14 Brian Norrisschedule: create 'class Scheduler' with implementation...
2012-03-14 Brian Norrismodel: change 'struct model_checker' to 'class ModelChe...
2012-03-12 Brian Norrismove 'current thread' details
2012-03-12 Brian Norrisschedule: add replaceable scheduler struct
2012-03-10 Brian Norrisschedule: return next thread pointer directly
2012-03-09 Brian Norrisschedule: add scheduler, thread_yield(), etc.