projects / model-checker.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
C++: cast result of malloc
2012-03-13 Brian NorrisC++: cast result of malloc
 commit | commitdiff | tree
2012-03-13 Brian Norristerminology - use 'thread id' instead of 'thread index'
 commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: use model-checker's thread ID assignment
 commit | commitdiff | tree
2012-03-13 Brian Norrismodel: add thread ID assignment function
 commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: separate private functions from user interface
 commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: perform all scheduling/model-checking from...
commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: add THREAD_* states
 commit | commitdiff | tree
2012-03-12 Brian Norrisschedule: exit if we run out of linked-list nodes
 commit | commitdiff | tree
2012-03-12 Brian Norrismodel: move 'main_thread' to model_checker struct
 commit | commitdiff | tree
2012-03-12 Brian Norrismove 'current thread' details
 commit | commitdiff | tree
2012-03-12 Brian Norrislibthreads: utilize new model_checker framework
 commit | commitdiff | tree
2012-03-12 Brian Norrismodel: add global model_checker initialization
 commit | commitdiff | tree
2012-03-12 Brian Norrisschedule: add replaceable scheduler struct
 commit | commitdiff | tree
2012-03-10 Brian Norrismodel: add stub model.[hc] files
 commit | commitdiff | tree
2012-03-10 Brian Norrisuserprog: separate test 'program' out to userprog.c
 commit | commitdiff | tree
2012-03-10 Brian Norrislibatomic: add stub atomic lib header/source
 commit | commitdiff | tree
2012-03-10 Brian Norrislibthreads: use 'void' in argument list
 commit | commitdiff | tree
2012-03-10 Brian Norrislibthreads: export thread_yield()
 commit | commitdiff | tree
2012-03-10 Brian Norrisschedule: return next thread pointer directly
 commit | commitdiff | tree
2012-03-10 Brian Norrisschedule: include libthreads.h
 commit | commitdiff | tree
2012-03-10 Brian NorrisMakefile: turn on all warnings
 commit | commitdiff | tree
2012-03-10 Brian Norrislibthreads: include schedule.h (previous mistake...)
 commit | commitdiff | tree
2012-03-10 Brian NorrisMakefile: use ${CC} instead of hardcoding gcc
 commit | commitdiff | tree
2012-03-10 Brian Norriscommon.h: move common code (non-user) to header
 commit | commitdiff | tree
2012-03-10 Brian Norrislibthreads: add thread_current() function
 commit | commitdiff | tree
2012-03-10 Brian Norrislibthreads: remove unused codepath
 commit | commitdiff | tree
2012-03-10 Brian Norrislibthreads: cleanup startup/exit functions
 commit | commitdiff | tree
2012-03-10 Brian Norrismodify "user program"
 commit | commitdiff | tree
2012-03-10 Brian Norrisschedule: set thread to NULL when there is no next...
commit | commitdiff | tree
2012-03-09 Brian Norrisreformat DEBUG messages
 commit | commitdiff | tree
2012-03-09 Brian Norrislibthreads: export thread_join() in header
 commit | commitdiff | tree
2012-03-09 Brian Norrislibthreads: merge thread_create() and thread_start()
 commit | commitdiff | tree
2012-03-09 Brian Norrisschedule: add scheduler, thread_yield(), etc.
 commit | commitdiff | tree
2012-03-09 Brian Norrislibthreads: fixups
 commit | commitdiff | tree
2012-03-09 Brian Norrislibthreads: cleanup main thread initialization
 commit | commitdiff | tree
2012-03-09 Brian Norrisadd "make tags" (using `ctags`)
 commit | commitdiff | tree
2012-03-08 Brian Norrislibthreads: create header file
 commit | commitdiff | tree
2012-03-08 Brian Norrislibthreads: remove superfluous code
 commit | commitdiff | tree
2012-03-08 Brian Norrisadd .gitignore
 commit | commitdiff | tree
2012-03-08 Brian Norrisinitial commit
 commit | commitdiff | tree
C++11 memory model checker