projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
terminology - use 'thread id' instead of 'thread index'
[c11tester.git]
/
libthreads.c
2012-03-13
Brian Norris
terminology - use 'thread id' instead of 'thread index'
blob
|
commitdiff
|
raw
2012-03-13
Brian Norris
libthreads: use model-checker's thread ID assignment
blob
|
commitdiff
|
raw
|
diff to current
2012-03-13
Brian Norris
libthreads: separate private functions from user interface
blob
|
commitdiff
|
raw
|
diff to current
2012-03-13
Brian Norris
libthreads: perform all scheduling/model-checking from...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-13
Brian Norris
libthreads: add THREAD_* states
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Brian Norris
model: move 'main_thread' to model_checker struct
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
libthreads: utilize new model_checker framework
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
userprog: separate test 'program' out to userprog.c
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
libthreads: use 'void' in argument list
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
libthreads: export thread_yield()
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-10
Brian Norris
libthreads: include schedule.h (previous mistake...)
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
common.h: move common code (non-user) to header
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
libthreads: add thread_current() function
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
libthreads: remove unused codepath
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
libthreads: cleanup startup/exit functions
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Brian Norris
modify "user program"
blob
|
commitdiff
|
raw
|
diff to current
2012-03-09
Brian Norris
reformat DEBUG messages
blob
|
commitdiff
|
raw
|
diff to current
2012-03-09
Brian Norris
libthreads: merge thread_create() and thread_start()
blob
|
commitdiff
|
raw
|
diff to current
2012-03-09
Brian Norris
schedule: add scheduler, thread_yield(), etc.
blob
|
commitdiff
|
raw
|
diff to current
2012-03-09
Brian Norris
libthreads: fixups
blob
|
commitdiff
|
raw
|
diff to current
2012-03-09
Brian Norris
libthreads: cleanup main thread initialization
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Brian Norris
libthreads: create header file
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Brian Norris
libthreads: remove superfluous code
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Brian Norris
initial commit
blob
|
commitdiff
|
raw
|
diff to current