2013-03-04 |
Brian Norris | nodestack: print thread status info in Node::print |
blob | commitdiff | raw |
2013-02-28 |
Brian Norris | model/schedule: comput "reduadant" measurement, print... |
blob | commitdiff | raw | diff to current |
2013-02-25 |
Brian Demsky | repush changes |
blob | commitdiff | raw | diff to current |
2013-02-25 |
Brian Demsky | fix conflicts |
blob | commitdiff | raw | diff to current |
2013-02-25 |
Brian Norris | Revert "fix scheduling stuff to get nice round robin... |
blob | commitdiff | raw | diff to current |
2013-02-25 |
Brian Demsky | fix scheduling stuff to get nice round robin scheduler... |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Brian Norris | schedule: split Scheduler::next_thread() into separate... |
blob | commitdiff | raw | diff to current |
2013-02-12 |
Brian Norris | Merge branch 'fences' |
blob | commitdiff | raw | diff to current |
2013-01-23 |
Brian Norris | nodestack/promise: move future_value struct, update... |
blob | commitdiff | raw | diff to current |
2013-01-23 |
Brian Norris | remove #include <list> |
blob | commitdiff | raw | diff to current |
2012-12-06 |
Brian Norris | schedule: add is_sleep_set(thread) |
blob | commitdiff | raw | diff to current |
2012-12-06 |
Brian Norris | schedule: add const |
blob | commitdiff | raw | diff to current |
2012-11-20 |
Brian Norris | schedule: rename get_enabled() -> get_enabled_array() |
blob | commitdiff | raw | diff to current |
2012-11-15 |
Brian Demsky | Merge branch 'master' of /home/git/model-checker |
blob | commitdiff | raw | diff to current |
2012-11-15 |
Brian Demsky | merge |
blob | commitdiff | raw | diff to current |
2012-11-14 |
Brian Norris | schedule: improve is_enabled() routines |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Demsky | merge massive speedup with release sequence support... |
blob | commitdiff | raw | diff to current |
2012-10-08 |
Brian Demsky | add support for sleep sets... |
blob | commitdiff | raw | diff to current |
2012-10-07 |
Brian Norris | schedule: add is_enabled() function |
blob | commitdiff | raw | diff to current |
2012-10-06 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-10-06 |
Brian Demsky | create enumeration for enabled information...switch... |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Brian Demsky | merge stuff |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Demsky | changes |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Norris | threads, model, schedule: refactor thread joining |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Norris | schedule: add sleep() function |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-09-06 |
Brian Norris | Merge branch 'norris' |
blob | commitdiff | raw | diff to current |
2012-09-06 |
Brian Norris | schedule: add wait and wake functions |
blob | commitdiff | raw | diff to current |
2012-09-04 |
Brian Norris | model/schedule: revise 'nextThread' data flow |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Brian Norris | Merge branch 'norris' |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Brian Norris | schedule: make print() const |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Brian Norris | schedule, threads: update comments, const's |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Subramanian Ganapathy | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Brian Norris | Merge branch 'sandbox' (remove finalize()) |
blob | commitdiff | raw | diff to current |
2012-06-15 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-06-15 |
Brian Norris | fixup some doc wording |
blob | commitdiff | raw | diff to current |
2012-06-06 |
Brian Demsky | more documentation |
blob | commitdiff | raw | diff to current |
2012-06-06 |
Brian Demsky | 1) Add more comments. |
blob | commitdiff | raw | diff to current |
2012-05-30 |
Subramanian Ganapathy | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-05-25 |
Brian Norris | add more classes to snapshotting region |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Brian Norris | fix indentation + spacing, esp. for MEMALLOC macro |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Brian Norris | Merge commit: branch 'work' |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Brian Demsky | remove lines from other files |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Brian Demsky | fix various problems with my 64-bit clean hack |
blob | commitdiff | raw | diff to current |
2012-05-18 |
Brian Demsky | merging stuff...made need to clean up some stuff..... |
blob | commitdiff | raw | diff to current |
2012-05-09 |
Subramanian Ganapathy | Adding STL stuff and operator news of snapshot to model... |
blob | commitdiff | raw | diff to current |
2012-05-03 |
Brian Norris | straighten out header includes, comment on Forward... |
blob | commitdiff | raw | diff to current |
2012-04-30 |
Brian Norris | clean up header #includes |
blob | commitdiff | raw | diff to current |
2012-04-24 |
Brian Norris | schedule: reset scheduler when thread is removed |
blob | commitdiff | raw | diff to current |
2012-04-23 |
Brian Norris | schedule: print debug info |
blob | commitdiff | raw | diff to current |
2012-04-20 |
Brian Norris | schedule: replace queue with list |
blob | commitdiff | raw | diff to current |
2012-04-17 |
Brian Norris | rename threads_internal.h -> threads.h |
blob | commitdiff | raw | diff to current |
2012-04-16 |
Brian Norris | major rewrite - 'struct thread' replaced with internal... |
blob | commitdiff | raw | diff to current |
2012-04-10 |
Brian Norris | scheduler: kill 'replaceable' scheduler |
blob | commitdiff | raw | diff to current |
2012-03-15 |
Brian Norris | schedule: use STL 'queue' instead of 'list' |
blob | commitdiff | raw | diff to current |
2012-03-15 |
Brian Norris | schedule: make 'current' a private member of the scheduler |
blob | commitdiff | raw | diff to current |
2012-03-15 |
Brian Norris | schedule: use STL list class instead of custom queue |
blob | commitdiff | raw | diff to current |
2012-03-14 |
Brian Norris | schedule: create 'class Scheduler' with implementation... |
blob | commitdiff | raw | diff to current |
2012-03-14 |
Brian Norris | model: change 'struct model_checker' to 'class ModelChe... |
blob | commitdiff | raw | diff to current |
2012-03-12 |
Brian Norris | move 'current thread' details |
blob | commitdiff | raw | diff to current |
2012-03-12 |
Brian Norris | schedule: add replaceable scheduler struct |
blob | commitdiff | raw | diff to current |
2012-03-10 |
Brian Norris | schedule: return next thread pointer directly |
blob | commitdiff | raw | diff to current |
2012-03-09 |
Brian Norris | schedule: add scheduler, thread_yield(), etc. |
blob | commitdiff | raw | diff to current |
|