projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Bug fixes and make Fuzzer selectable
[c11tester.git]
/
include
/
2019-11-26
bdemsky
Run tabbing pass
tree
|
commitdiff
2019-11-21
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
tree
|
commitdiff
2019-10-15
weiyu
Fixes
tree
|
commitdiff
2019-09-30
weiyu
Factor predicate expression types into a separate file
tree
|
commitdiff
2019-09-09
weiyu
Remove unused codes
tree
|
commitdiff
2019-08-20
weiyu
Merge branch 'master' into branch-weiyu
tree
|
commitdiff
2019-08-01
weiyu
merge
tree
|
commitdiff
2019-08-01
weiyu
change the data structure of thrd_func_inst_list becaus...
tree
|
commitdiff
2019-07-31
weiyu
merge
tree
|
commitdiff
2019-07-30
bdemsky
more fixes
tree
|
commitdiff
2019-07-29
bdemsky
edits
tree
|
commitdiff
2019-07-29
weiyu
add pthread_cond_destory
tree
|
commitdiff
2019-07-22
Brian Demsky
bug fix
tree
|
commitdiff
2019-07-22
Brian Demsky
volatile support
tree
|
commitdiff
2019-07-22
root
fix conflict
tree
|
commitdiff
2019-07-22
weiyu
add function calls for volatile loads and stores
tree
|
commitdiff
2019-07-22
weiyu
add a special order for volatile loads and stores
tree
|
commitdiff
2019-07-19
weiyu
add pthread_cond_broadcast
tree
|
commitdiff
2019-07-19
root
More code towards support non-atomic stores
tree
|
commitdiff
2019-07-08
weiyu
merge and resolve conflict
tree
|
commitdiff
2019-07-02
bdemsky
memoize hb in writes
tree
|
commitdiff
2019-07-01
weiyu
fix git conflict
tree
|
commitdiff
2019-06-28
root
tabbing plus lots of memory fixes
tree
|
commitdiff
2019-06-26
Brian Demsky
Get gdax to not crash
tree
|
commitdiff
2019-06-26
bdemsky
add more functions
tree
|
commitdiff
2019-06-26
root
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
tree
|
commitdiff
2019-06-26
bdemsky
redo model object initialization
tree
|
commitdiff
2019-06-24
weiyu
add run time library for function entries and exits
tree
|
commitdiff
2019-06-21
bdemsky
fix CAS operation
tree
|
commitdiff
2019-06-21
Brian Demsky
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
tree
|
commitdiff
2019-06-21
bdemsky
changes
tree
|
commitdiff
2019-06-19
Brian Demsky
fixup merge a bit
tree
|
commitdiff
2019-06-19
Brian Demsky
Merge branch 'branch-weiyu' into new_fuzzer
tree
|
commitdiff
2019-06-19
root
merge
tree
|
commitdiff
2019-06-17
weiyu
rename pthead.h to mypthread.h
tree
|
commitdiff
2019-06-14
weiyu
add source line number as a parameter to ModelAction
tree
|
commitdiff
2019-06-14
weiyu
add a missing line
tree
|
commitdiff
2019-06-14
weiyu
add support for function calls 'atomic_init' and 'atomi...
tree
|
commitdiff
2019-06-14
weiyu
rename mypthread.h to pthread.h
tree
|
commitdiff
2019-06-14
weiyu
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
tree
|
commitdiff
2019-06-11
bdemsky
Fix RMW bug
tree
|
commitdiff
2019-06-05
bdemsky
make some changes with hacks
tree
|
commitdiff
2019-05-28
weiyu
change the namespace of mutex from std to cdsc
tree
|
commitdiff
2019-03-01
weiyu
add support for condition variable
tree
|
commitdiff
2019-02-01
weiyu
pthread_join is able to return values
tree
|
commitdiff
2019-01-24
weiyu
add support for pthread_mutex
tree
|
commitdiff
2019-01-08
weiyu
change cds checker to accomdate llvm pass
tree
|
commitdiff
2015-09-02
bdemsky
Add SCFence analysis
tree
|
commitdiff
2015-06-22
bdemsky
bug fix for atomic adds/subtracts on pointers
tree
|
commitdiff
2014-01-25
bdemsky
Annotation Support
tree
|
commitdiff
2013-08-14
Brian Norris
threads: kill clang warnings about struct/class Thread
tree
|
commitdiff
2013-08-14
Brian Norris
impatomic: silence more clang warnings
tree
|
commitdiff
2013-03-08
Brian Norris
model-assert: include <stdbool.h>
tree
|
commitdiff
2013-03-06
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2013-03-06
Brian Norris
Merge remote 'yield' work
tree
|
commitdiff
2013-03-06
Brian Norris
impatomic: fences linker error
tree
|
commitdiff
2013-03-03
Brian Norris
mutex: change 'islocked' to hold Thread pointer
tree
|
commitdiff
2013-02-20
Brian Norris
include: fixup header inclusion
tree
|
commitdiff
2013-01-02
Brian Norris
threads: change thrd_t to store Thread pointer
tree
|
commitdiff
2012-12-12
Brian Norris
impatomic: add C++ atomic_init()
tree
|
commitdiff
2012-12-05
Brian Norris
impatomic: move atomic_{thread,signal}_fence() to names...
tree
|
commitdiff
2012-11-30
Brian Norris
impatomic: add atomic_{thread,signal}_fence() definitions
tree
|
commitdiff
2012-11-30
Brian Norris
impatomic: remove fence member functions
tree
|
commitdiff
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
tree
|
commitdiff
2012-11-15
Brian Demsky
merge
tree
|
commitdiff
2012-11-14
Brian Norris
model-assert: add MODEL_ASSERT() for user programs
tree
|
commitdiff
2012-11-14
Brian Norris
race: where possible, use "const void *" for addresses
tree
|
commitdiff
2012-11-04
Brian Norris
Merge branch 'master' into pldi13
tree
|
commitdiff
2012-11-03
Brian Norris
model-assert: add MODEL_ASSERT() for user programs
tree
|
commitdiff
2012-10-12
Brian Norris
thread_id_t: add comments
tree
|
commitdiff
2012-10-12
Brian Norris
modeltypes: move to include/ dir, for now
tree
|
commitdiff
2012-10-12
Brian Norris
mutex: define empty destructor
tree
|
commitdiff
2012-10-12
Brian Norris
condition_variable: move header
tree
|
commitdiff
2012-10-12
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2012-10-12
Brian Norris
move other interface headers to include/
tree
|
commitdiff
2012-10-11
Brian Norris
mutex: move mutex.h to standard name/location
tree
|
commitdiff
2012-10-11
Brian Norris
include/: add small header comments
tree
|
commitdiff
2012-10-11
Brian Norris
impatomic: add multiple-inclusion guards
tree
|
commitdiff
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-10-10
Brian Norris
impatomic: add strong/weak compare_exchange
tree
|
commitdiff
2012-10-10
Brian Norris
threads: correct 'thrd_yield()'
tree
|
commitdiff
2012-10-10
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-10-10
Brian Norris
impatomic: rename all 'swap' to 'exchange'
tree
|
commitdiff
2012-10-10
Brian Norris
include: add multiple-inclusion guards
tree
|
commitdiff
2012-10-09
Brian Norris
move libthreads.h -> include/threads.h
tree
|
commitdiff
2012-10-09
Brian Norris
include: add <atomic> header
tree
|
commitdiff
2012-09-14
Brian Norris
Merge branch 'norris'
tree
|
commitdiff
2012-09-14
Brian Demsky
(1) add actions for the fence
tree
|
commitdiff
2012-08-11
Brian Norris
impatomic.h: fixup spacing
tree
|
commitdiff
2012-08-02
Brian Demsky
towards making rmw work...
tree
|
commitdiff
2012-08-02
Brian Norris
pull in most of atomic header file
tree
|
commitdiff
2012-08-02
Brian Demsky
split these defs out of other stuff
tree
|
commitdiff
2012-08-02
Brian Demsky
switch rest over to model checker... might work now
tree
|
commitdiff
2012-08-02
Brian Demsky
fix missing atomic...
tree
|
commitdiff
2012-08-02
Brian Demsky
rewrite macros
tree
|
commitdiff
2012-08-02
Brian Demsky
import header file from specification
tree
|
commitdiff