projects
/
cdsspec-compiler.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
model: remove unnecessary DEBUG()
2012-11-16
Brian Norris
model: remove unnecessary DEBUG()
commit
|
commitdiff
|
tree
2012-11-15
Brian Norris
model: use snapshot_calloc()
commit
|
commitdiff
|
tree
2012-11-15
Brian Norris
model: add 'const'
commit
|
commitdiff
|
tree
2012-11-15
Brian Norris
model: routine to check if execution is complete
commit
|
commitdiff
|
tree
2012-11-15
Brian Norris
model: remove useless special case
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: don't export Scheduler
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model/promise: use ModelChecker is_enabled() interface
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: is_deadlocked() (sort of) had a bug
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: add ModelChecker is_enabled() functions
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
schedule: improve is_enabled() routines
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: fix spacing
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: move snapshot members out of header
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
README
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
main: change default future value sloppiness
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
nodestack: implement expiration sloppiness parameter
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
main/model: add future value expiration sloppiness...
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
nodestack: limit the number of future values per read
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
main: add maxfuturevalues parameter (-M)
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
common: early quit on MODEL_ASSERT()
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model-assert: add MODEL_ASSERT() for user programs
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: refactor build_reads_from_past
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
common/config: allow enable/disable ASSERT() easily
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
race: where possible, use "const void *" for addresses
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
test: add AB/BA deadlock test
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: add deadlock detection
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
model: get_num_threads() should be const
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
snapshot: find the correct binary name
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
snapshot: read from /proc/self/maps
commit
|
commitdiff
|
tree
2012-11-14
Brian Norris
main: fixup parameter parsing for user program
commit
|
commitdiff
|
tree
2012-11-07
Brian Norris
test: add AB/BA deadlock test
commit
|
commitdiff
|
tree
2012-11-07
Brian Norris
model: add deadlock detection
commit
|
commitdiff
|
tree
2012-11-07
Brian Norris
model: get_num_threads() should be const
commit
|
commitdiff
|
tree
2012-11-07
Brian Norris
main: change default future value sloppiness
commit
|
commitdiff
|
tree
2012-11-07
Brian Norris
nodestack: implement expiration sloppiness parameter
commit
|
commitdiff
|
tree
2012-11-07
Brian Norris
main/model: add future value expiration sloppiness...
commit
|
commitdiff
|
tree
2012-11-06
Brian Norris
model: refactor build_reads_from_past
commit
|
commitdiff
|
tree
2012-11-04
Brian Norris
nodestack: limit the number of future values per read
commit
|
commitdiff
|
tree
2012-11-04
Brian Norris
main: add maxfuturevalues parameter (-M)
commit
|
commitdiff
|
tree
2012-11-04
Brian Norris
Merge branch 'master' into pldi13
commit
|
commitdiff
|
tree
2012-11-04
Brian Norris
main: always ensure defaults when printing
commit
|
commitdiff
|
tree
2012-11-04
Brian Norris
model: fix some whitespace
commit
|
commitdiff
|
tree
2012-11-04
Brian Norris
common: early quit on MODEL_ASSERT()
commit
|
commitdiff
|
tree
2012-11-03
Brian Norris
model-assert: add MODEL_ASSERT() for user programs
commit
|
commitdiff
|
tree
2012-11-03
Brian Norris
snapshot: find the correct binary name
commit
|
commitdiff
|
tree
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
commit
|
commitdiff
|
tree
2012-11-03
Brian Norris
snapshot: read from /proc/self/maps
commit
|
commitdiff
|
tree
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
commit
|
commitdiff
|
tree
2012-11-03
Brian Norris
promise: fix signed/unsigned warning
commit
|
commitdiff
|
tree
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
commit
|
commitdiff
|
tree
2012-11-02
Brian Norris
main: fixup parameter parsing for user program
commit
|
commitdiff
|
tree
2012-11-02
Brian Norris
common/config: disable ASSERT() by default
commit
|
commitdiff
|
tree
2012-11-02
Brian Norris
model: totally destroy 'curr' within initialize_curr_action()
commit
|
commitdiff
|
tree
2012-11-02
Brian Norris
clockvector: remove old include
commit
|
commitdiff
|
tree
2012-11-01
Brian Norris
clockvector: bugfix - bad clock merge
commit
|
commitdiff
|
tree
2012-11-01
Brian Norris
nodestack: improve bounds-checking assertion
commit
|
commitdiff
|
tree
2012-11-01
Brian Norris
common.mk: build with -O3 (except for Mac OSX)
commit
|
commitdiff
|
tree
2012-11-01
Brian Norris
model: silence "uninitialized" warning
commit
|
commitdiff
|
tree
2012-11-01
Brian Norris
model: update mo_may_allow restrictions
commit
|
commitdiff
|
tree
2012-10-29
Brian Norris
tests: add thinair test
commit
|
commitdiff
|
tree
2012-10-29
Brian Norris
Makefile/malloc: don't warn for self-assign
commit
|
commitdiff
|
tree
2012-10-29
Brian Norris
Makefile: use -rdyanmic only for linking
commit
|
commitdiff
|
tree
2012-10-29
Brian Norris
tests: use signed printf format
commit
|
commitdiff
|
tree
2012-10-19
Brian Norris
model: fix - RMW cannot break release sequences
commit
|
commitdiff
|
tree
2012-10-12
Brian Norris
Doxygen: document subdirectories
commit
|
commitdiff
|
tree
2012-10-12
Brian Norris
thread_id_t: add comments
commit
|
commitdiff
|
tree
2012-10-12
Brian Norris
fixup 'int' vs. 'thread_id_t' usage
commit
|
commitdiff
|
tree
2012-10-12
Brian Norris
modeltypes: move to include/ dir, for now
commit
|
commitdiff
|
tree
2012-10-12
Brian Norris
mutex: define empty destructor
commit
|
commitdiff
|
tree
2012-10-12
Brian Norris
condition_variable: move header
commit
|
commitdiff
|
tree
2012-10-12
Brian Norris
move other interface headers to include/
commit
|
commitdiff
|
tree
2012-10-11
Brian Norris
mutex: move mutex.h to standard name/location
commit
|
commitdiff
|
tree
2012-10-11
Brian Norris
include/: add small header comments
commit
|
commitdiff
|
tree
2012-10-11
Brian Norris
impatomic: add multiple-inclusion guards
commit
|
commitdiff
|
tree
2012-10-11
Brian Norris
action: improve printing
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
Makefile: add benchmarks to top-level
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
segfault file/line breakpoint info
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
impatomic: add strong/weak compare_exchange
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
action: add NULL dereference assertion
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
threads: correct 'thrd_yield()'
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
impatomic: rename all 'swap' to 'exchange'
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
include: add multiple-inclusion guards
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
.gitignore: ignore 'benchmarks' folder
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
tests: use <stdatomic.h>
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
move libthreads.h -> include/threads.h
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
rename threads.h -> threads-model.h
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
include: add <atomic> header
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
model: JOIN/LOCK unification
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
datarace: reformat datarace printing
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
threads: allocate on user's snapshotting heap
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
schedule: bugfix - fix typo in wake
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
user_main: pass remaining arguments to the user program
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
main: rename 'real_main()' to 'model_main()'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: re-indent
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: stack-allocated vector should use ModelAlloc
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
utilize SnapshotAlloc STL allocator
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: add SnapshotAlloc STL allocator
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: implement snapshot_*() allocations on model...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: add basic model_snapshot_space
commit
|
commitdiff
|
tree
next