2013-02-15 | Brian Norris | model/threads: add documentation comments | blob | commitdiff | raw |
2013-02-14 | Brian Norris | threads/model: allocate Thread from w/in ModelChecker | blob | commitdiff | raw | diff to current |
2013-01-02 | Brian Norris | threads: change thrd_t to store Thread pointer | blob | commitdiff | raw | diff to current |
2012-12-18 | Brian Norris | threads: assert THREAD_COMPLETED is immutable | blob | commitdiff | raw | diff to current |
2012-12-06 | Brian Norris | threads: add const | blob | commitdiff | raw | diff to current |
2012-10-12 | Brian Norris | thread_id_t: add comments | blob | commitdiff | raw | diff to current |
2012-10-09 | Brian Norris | move libthreads.h -> include/threads.h | blob | commitdiff | raw | diff to current |
2012-10-09 | Brian Norris | rename threads.h -> threads-model.h | blob | commitdiff | raw | diff to current |