projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
include: add <atomic> header
[c11tester.git]
/
threads.h
2012-10-09
Brian Norris
threads: allocate on user's snapshotting heap
blob
|
commitdiff
|
raw
2012-10-08
Brian Norris
utilize SnapshotAlloc STL allocator
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Demsky
merge massive speedup with release sequence support...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Norris
Merge branch 'norris'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Norris
threads: add constructor for model-checker thread
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Norris
threads: add flag for a special type of "model-checker...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-04
Brian Demsky
local commit... bug that prunes too many executions
blob
|
commitdiff
|
raw
|
diff to current
2012-10-04
Brian Demsky
Merge branch 'master' of /home/git/model-checker
blob
|
commitdiff
|
raw
|
diff to current
2012-10-03
Brian Norris
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-03
Brian Norris
modeltypes: move small typedefs to own header
blob
|
commitdiff
|
raw
|
diff to current
2012-09-19
Brian Demsky
merge stuff
blob
|
commitdiff
|
raw
|
diff to current
2012-09-19
Brian Demsky
support for locks... untested, but doesn't break quick...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-12
Brian Norris
threads, model, schedule: refactor thread joining
blob
|
commitdiff
|
raw
|
diff to current
2012-09-07
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-07
Brian Demsky
changes
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
Brian Norris
Merge branch 'norris'
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
Brian Norris
threads: fixup THREAD_READY comment
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
Brian Norris
threads: add THREAD_BLOCKED state
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
Brian Norris
threads: add a wait_list
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
Brian Norris
threads: add is_complete() helper function
blob
|
commitdiff
|
raw
|
diff to current
2012-07-16
Brian Demsky
really should be using a type that is big enough for...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Brian Norris
Merge branch 'datarace'
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Brian Norris
document some enumerated types
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Brian Norris
threads: add per-thread "return" values for 'model...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
Subramanian Ganapathy
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-21
Brian Norris
Merge branch 'sandbox' (remove finalize())
blob
|
commitdiff
|
raw
|
diff to current
2012-06-15
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-15
Brian Norris
add more documentation
blob
|
commitdiff
|
raw
|
diff to current
2012-06-06
Brian Demsky
1) Add more comments.
blob
|
commitdiff
|
raw
|
diff to current
2012-05-30
Subramanian Ganapathy
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-29
Brian Norris
threads: add 'creation' information
blob
|
commitdiff
|
raw
|
diff to current
2012-05-25
Brian Norris
add more classes to snapshotting region
blob
|
commitdiff
|
raw
|
diff to current
2012-05-21
Brian Norris
fix indentation + spacing, esp. for MEMALLOC macro
blob
|
commitdiff
|
raw
|
diff to current
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-18
Brian Demsky
merging stuff...made need to clean up some stuff.....
blob
|
commitdiff
|
raw
|
diff to current
2012-05-09
Subramanian Ganapathy
Adding STL stuff and operator news of snapshot to model...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-03
Brian Norris
threads: add parent info + get_parent() method
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-05-01
Brian Norris
threads: add id_to_int() and int_to_id() inline functions
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Brian Norris
thread: remove dead Thread code
blob
|
commitdiff
|
raw
|
diff to current
2012-04-26
Brian Norris
demote 'system_thread' to just 'system_context'
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
threads: allocate Threads in via userMalloc()
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
threads: set up Thread to be freed properly
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
threads: save id within class Thread
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
unify style for returning pointers
blob
|
commitdiff
|
raw
|
diff to current
2012-04-20
Brian Norris
threads: introduce THREAD_ID_T_NONE
blob
|
commitdiff
|
raw
|
diff to current
2012-04-20
Brian Norris
threads: remove leftover class 'prototype'
blob
|
commitdiff
|
raw
|
diff to current
2012-04-17
Brian Norris
rename threads_internal.h -> threads.h
blob
|
commitdiff
|
raw
|
diff to current
projects / c11tester.git / history