projects
/
model-checker.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'norris'
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
2012-09-13
Brian Norris
model: kill unneeded local variable
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
spacing
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
Merge remote-tracking branch 'origin/makefile'
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
Makefile: fixup Mac dependencies
commit
|
commitdiff
|
tree
2012-09-13
Brian Norris
cleanup style
commit
|
commitdiff
|
tree
2012-09-12
Brian Norris
threads, model, schedule: refactor thread joining
commit
|
commitdiff
|
tree
2012-09-12
Brian Norris
model: add ModelChecker::get_thread(ModelAction *act)
commit
|
commitdiff
|
tree
2012-09-12
Brian Norris
schedule: add sleep() function
commit
|
commitdiff
|
tree
2012-09-12
Brian Norris
cyclegraph: add non-NULL assertions
commit
|
commitdiff
|
tree
2012-09-12
Brian Norris
Merge branch 'demsky'
Branch cleaned up by
Brian Norris
commit
|
commitdiff
|
tree
2012-09-12
Brian Demsky
model: cleaning up some code
commit
|
commitdiff
|
tree
2012-09-12
Brian Norris
model: handle RMW, unresolved reads in w_modification_order...
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
model: fix the maxreads support
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
model: some bug fixes to the model checker
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
linuxrwlocks: two bug fixes; guess the model checker...
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
model: bug fixes to new code
commit
|
commitdiff
|
tree
2012-09-11
Brian Demsky
cyclegraph: support rolling back changes
commit
|
commitdiff
|
tree
2012-09-11
Brian Norris
model: replace action conditions with switch block
commit
|
commitdiff
|
tree
2012-09-11
Brian Norris
model: add check_recency()
commit
|
commitdiff
|
tree
2012-09-11
Brian Norris
model: refactor "get next thread" code
commit
|
commitdiff
|
tree
2012-09-11
Brian Norris
model: add too_many_reads flag
commit
|
commitdiff
|
tree
2012-09-11
Brian Norris
nodestack: add get_read_from_size()
commit
|
commitdiff
|
tree
2012-09-11
Brian Norris
main: add "maxreads" parameter
commit
|
commitdiff
|
tree
2012-09-08
Brian Norris
main: add parameter parsing
commit
|
commitdiff
|
tree
2012-09-08
Brian Norris
model: fix release sequence with RMW, acq vs. acq/rel
commit
|
commitdiff
|
tree
2012-09-07
Brian Norris
model: maintain a count of the pending lazy synchronizations
commit
|
commitdiff
|
tree
2012-09-07
Brian Norris
model: group snapshottable ModelChecker members in...
commit
|
commitdiff
|
tree
2012-09-07
Brian Norris
model: force THREAD_START to immediately follow THREAD_CREATE
commit
|
commitdiff
|
tree
2012-09-07
Brian Norris
model: fix release_seq for open-ended synchronization
commit
|
commitdiff
|
tree
2012-09-07
Brian Norris
model: use std::find for release sequence search
commit
|
commitdiff
|
tree
2012-09-07
Brian Norris
model: don't use global 'model' unnecessarily
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
model: complete the Thread teardown during THREAD_FINISH
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
model: enforce rule: current_action != NULL
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
libthreads: don't spin on THREAD_JOIN
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
model: hook up THREAD_JOIN and THREAD_FINISH actions
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
schedule: add wait and wake functions
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
threads: fixup THREAD_READY comment
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
threads: add THREAD_BLOCKED state
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
threads: add a wait_list
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
threads: add is_complete() helper function
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
action: add THREAD_FINISH action
commit
|
commitdiff
|
tree
2012-09-06
Brian Norris
snapshot-interface: debug prints: lengthen the "regionname...
commit
|
commitdiff
|
tree
2012-09-04
Brian Norris
model: document ModelChecker::check_current_action
commit
|
commitdiff
|
tree
2012-09-04
Brian Norris
model: check_current_action returns its 'nextThread'
commit
|
commitdiff
|
tree
2012-09-04
Brian Norris
model/schedule: revise 'nextThread' data flow
commit
|
commitdiff
|
tree
2012-09-04
Brian Norris
action: print '?' for unknown read-from-future
commit
|
commitdiff
|
tree
2012-08-25
Brian Norris
model: re-check release sequences lazily
commit
|
commitdiff
|
tree
2012-08-25
Brian Norris
model: add resolve_release_sequences() function
commit
|
commitdiff
|
tree
2012-08-25
Brian Norris
model: stash actions for lazy release-seq checking
commit
|
commitdiff
|
tree
2012-08-25
Brian Norris
model: report 'updates' when adding mo_graph edges
commit
|
commitdiff
|
tree
next