projects
/
cdsspec-compiler.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
main: add maxfuturevalues parameter (-M)
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
2012-10-08
Brian Norris
rename again (snapshot_space -> user_snapshot_space)
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: kill system_malloc()
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
snapshot: use snapshot_space only in mprotect-based
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
snapshot: don't need any snapshotting space for fork...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
rename 'mySpace' to 'snapshot_space'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: make DontFree() static
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: reformat spacing
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: kill system_free()
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
snapshot: remove global 'basemySpace'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
test: linuxrwlocks: fixup spacing
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: remove todo
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
test: add "double release sequence" test
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add todo synchronization comment
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: be sure trace is "final feasible" before continuing...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
tests: add some normal loads/stores to test data races
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: check data races during release sequence fixup
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add release sequence model_thread ASSERT()
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: launch release sequence fixup actions when necessary
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add special model-checker Thread to ModelChecker
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
schedule: do not allow model-checker thread to enter...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
threads: add constructor for model-checker thread
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
threads: add flag for a special type of "model-checker...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
action: add Thread parameter to constructor
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add process_relseq_fixup()
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
common: improve backtrace function
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
add stacktrace header, under WTFPL
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
model: wire up rest of release seq. resolution backtracking
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
nodestack: add release sequence breakage backtracking
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
action: add MODEL_FIXUP_RELSEQ action_type
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
model: disabled threads are "future ordered"
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
model: use proper size_t printf format
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
schedule: add is_enabled() function
commit
|
commitdiff
|
tree
2012-10-06
Brian Norris
cyclegraph: fix indentation
commit
|
commitdiff
|
tree
2012-10-06
Brian Norris
cyclegraph: flag cycles for reflexive edges
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
nodestack: destroy Nodes properly in ~NodeStack()
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
nodestack: use initializer list
commit
|
commitdiff
|
tree
next