Programming Languages Research Group: Git - model-checker.git/history

2013-04-16	Brian Norris	Merge cleanup branch	blob \| commitdiff \| raw
2013-04-16	Brian Norris	model / threads: remove global get_next_id() interface	blob \| commitdiff \| raw
2013-04-04	Brian Norris	swapcontext() fix for Mac OSX	blob \| commitdiff \| raw \| diff to current
2013-04-03	Brian Norris	threads: remove wait_list	blob \| commitdiff \| raw \| diff to current
2013-03-27	Brian Norris	threads: move circular wait check into Threads::is_wait...	blob \| commitdiff \| raw \| diff to current
2013-03-09	Brian Norris	mymemory, threads: add allocator specifically for Thread	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Norris	bugfix - add stl-model.h wrappers, to provide more...	blob \| commitdiff \| raw \| diff to current
2013-03-03	Brian Norris	threads: add waiting_on()	blob \| commitdiff \| raw \| diff to current
2013-02-25	Brian Norris	threads: construct Thread only with a given "parent"	blob \| commitdiff \| raw \| diff to current
2013-02-25	Brian Demsky	fix conflicts	blob \| commitdiff \| raw \| diff to current
2013-02-25	Brian Demsky	fix norris mentioned bug	blob \| commitdiff \| raw \| diff to current
2013-02-15	Brian Norris	model/threads: add documentation comments	blob \| commitdiff \| raw \| diff to current
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

C++11 memory model checker

RSS Atom