projects
/
model-checker.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model: enforce rule: current_action != NULL
[model-checker.git]
/
libthreads.h
2012-06-21
Subramanian Ganapathy
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
2012-06-06
Brian Demsky
1) Add more comments.
blob
|
commitdiff
|
raw
2012-05-21
Brian Norris
Merge commit: branch 'work'
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-01
Brian Norris
threads: move thread_id_t definition and redefine thrd_...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
libthreads: remove unnecessary 'extern'
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
lib*.h: wrap C headers in `extern "C"'
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
libthreads: thread_join: return 'int' as status
blob
|
commitdiff
|
raw
|
diff to current
2012-04-05
Brian Norris
libthreads: make typedef for 'thread_id_t'
blob
|
commitdiff
|
raw
|
diff to current
2012-03-13
Brian Norris
stricter typing of function pointers for makecontext()
blob
|
commitdiff
|
raw
|
diff to current
2012-03-13
Brian Norris
terminology - use 'thread id' instead of 'thread index'
blob
|
commitdiff
|
raw
|
diff to current
2012-03-13
Brian Norris
libthreads: add THREAD_* states
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: export thread_yield()
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-09
Brian Norris
reformat DEBUG messages
blob
|
commitdiff
|
raw
|
diff to current
2012-03-09
Brian Norris
libthreads: export thread_join() in header
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-08
Brian Norris
libthreads: create header file
blob
|
commitdiff
|
raw
|
diff to current
projects / model-checker.git / history