projects
/
cdsspec-compiler.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
mymemory: reword comments
2012-10-03
Brian Norris
mymemory: reword comments
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
snapshot: rename 'SnapShot' -> 'Snapshot'
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
common: remove excess semicolon
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
mymemory: define SNAPSHOTALLOC appropriately
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
replace malloc/calloc/free with snapshot_{malloc/calloc...
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
mymemory: make snapshot_{malloc,calloc,free} externally...
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
action: reword comments
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: debug print - pending release sequences
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
test: add a "pending release sequences" test
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
(bug) revert JOIN/LOCK simplification
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: one release sequence may help resolve another
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: THREAD_FINISH triggers release sequence check
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
assign sequence numbers after initial processing
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
action: edit some spacing
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: remove obsolete ModelChecker::do_complete_join()
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: unify JOIN- and LOCK-related sleep/wake code
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: refactor mutex thread-blocking code
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
action: don't print clock vector when it is invalid
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
clockvector: snapshot the whole object
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
model: revert broken bugfix
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
model: fix "earliest diverge" NULL pointer exception
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
rename MYFREE -> model_free
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
rename MYCALLOC -> model_calloc
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
rename MYMALLOC -> model_malloc
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
model: refactor/reword initialize_curr_action()
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
clockvector: snapshot our clock vectors
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
mymemory: add placeholder "snapshot_{calloc,malloc...
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
model: always re-calculate clock vectors
commit
|
commitdiff
|
tree
2012-10-01
Brian Norris
model: utilize bad_synchronization flag
commit
|
commitdiff
|
tree
2012-10-01
Brian Norris
model: add "bad synchronization" flag
commit
|
commitdiff
|
tree
2012-10-01
Brian Norris
action: synchronize_with - return status for out-of...
commit
|
commitdiff
|
tree
2012-10-01
Brian Norris
model: remove debug print
commit
|
commitdiff
|
tree
2012-09-27
Brian Norris
nodestack: add debug prints
commit
|
commitdiff
|
tree
2012-09-27
Brian Norris
model: push mo_graph cycle check into release_seq code
commit
|
commitdiff
|
tree
2012-09-27
Brian Norris
model: add RMW violation debug print
commit
|
commitdiff
|
tree
2012-09-27
Brian Norris
doc: add release sequence notes
commit
|
commitdiff
|
tree
2012-09-27
Brian Norris
docs: move to subdirectory
commit
|
commitdiff
|
tree
2012-09-26
Brian Norris
model: avoid infinite loop in release_seq_head()
commit
|
commitdiff
|
tree
2012-09-26
Brian Norris
model: bugfix - iterator naming conflict
commit
|
commitdiff
|
tree
2012-09-26
Brian Norris
model: re-check release sequences after THREAD_JOIN
commit
|
commitdiff
|
tree
2012-09-26
Brian Norris
model: add current action work_queue comment
commit
|
commitdiff
|
tree
2012-09-25
Brian Norris
model: mutex synchronization -> re-check release sequences
commit
|
commitdiff
|
tree
2012-09-25
Brian Norris
model: trivial - rename 'updated' -> 'update'
commit
|
commitdiff
|
tree
2012-09-25
Brian Norris
model: bugfix - release sequences - handle Thread completion
commit
|
commitdiff
|
tree
2012-09-25
Brian Norris
model: fixup spelling (and formatting) in comments
commit
|
commitdiff
|
tree
2012-09-25
Brian Norris
model: split THREAD_* processing into process_thread_action()
commit
|
commitdiff
|
tree
2012-09-25
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-09-25
Brian Norris
model: release_seq_head - rewrite RMW recursion as...
commit
|
commitdiff
|
tree
2012-09-21
Brian Norris
model: flatten "pending acquire/release sequence" structure
commit
|
commitdiff
|
tree
2012-09-21
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-09-21
Brian Norris
model: bugfix - infinite loop in resolve_release_sequences()
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
model: fixup style
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
model: release_seq_head: improve ordering of tests
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
model: release sequences: check last action in each...
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
model: pad the digits in exec#.dot filenames
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
model: add const qualifiers, fixup comments
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
model: get_last_conflict - replace if/else-if block...
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
Makefile: move common Mac flags to common.mk
commit
|
commitdiff
|
tree
2012-09-20
Brian Norris
fix compilation (includes)
commit
|
commitdiff
|
tree
2012-09-19
Brian Norris
model: replace list type with action_list_t
commit
|
commitdiff
|
tree
2012-09-19
Brian Norris
model: add typedef for list of release sequence heads
commit
|
commitdiff
|
tree
2012-09-19
Brian Norris
model: THREAD_JOIN synchronizes with THREAD_FINISH
commit
|
commitdiff
|
tree
2012-09-19
Brian Norris
action: THREAD_JOIN can synchronize against execution...
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: add curr to action lists early
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: document behavior of ModelChecker::initialize_curr_action
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: pull "may_read_from set" calculation out of...
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: refactor ModelChecker::initialize_curr_action
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: move init code to ModelChecker::initialize_curr_action
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: pull computation out of conditional
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
tests: add releaseseq test
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: add some mo_graph fixup code to work_queue
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
cyclegraph: add ASSERT() for reflexive edges
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: add infeasibility debugging
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
common: print tracing info for ASSERT() failures
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: bugfix - w_modification_order handling current...
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: fixup r_modification_order
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: check_recency - "already_added" always true
commit
|
commitdiff
|
tree
2012-09-18
Brian Norris
model: bugfix get_last_seq_action()
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
model: fixup happens_before/reflexivity, add 'curr...
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
model: release_seq synchronization generates mo_graph...
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
.gitignore: ignore .dot graph files
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
model: record the number of feasible executions
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
config: don't enable graph dumping in master repo
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
model: add work queue loop
commit
|
commitdiff
|
tree
2012-09-14
Brian Norris
workqueue: add work queue structures
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
model: more restructuring of read/write processing
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
model: remove unnecessary parameter to ModelChecker...
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
Makefile: add PHONY targets
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
bugfix: straighten out STL vector allocation (snapshotted...
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
model: bugfix - don't clobber 'updated'
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
Revert "Makefile: don't always rebuild make.deps"
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
snapshot: print stack trace on segfault
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
common: add print_trace() for backtracing
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
model: trivial fixups
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
Makefile: don't always rebuild make.deps
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
model: simple ASSERT() bug
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
main: wrap help message
commit
|
commitdiff
|
tree
next