projects / model-checker.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
action: add Thread parameter to constructor
2012-09-18 Brian Norrismodel: pull "may_read_from set" calculation out of...
commit | commitdiff | tree
2012-09-18 Brian Norrismodel: refactor ModelChecker::initialize_curr_action
 commit | commitdiff | tree
2012-09-18 Brian Norrismodel: move init code to ModelChecker::initialize_curr_action
 commit | commitdiff | tree
2012-09-18 Brian Norrismodel: pull computation out of conditional
 commit | commitdiff | tree
2012-09-18 Brian Norristests: add releaseseq test
 commit | commitdiff | tree
2012-09-18 Brian Norrismodel: add some mo_graph fixup code to work_queue
 commit | commitdiff | tree
2012-09-18 Brian NorrisMerge branch 'norris'
 commit | commitdiff | tree
2012-09-18 Brian Norriscyclegraph: add ASSERT() for reflexive edges
 commit | commitdiff | tree
2012-09-18 Brian Norrismodel: add infeasibility debugging
 commit | commitdiff | tree
2012-09-18 Brian Norriscommon: print tracing info for ASSERT() failures
 commit | commitdiff | tree
2012-09-18 Brian Norrismodel: bugfix - w_modification_order handling current...
commit | commitdiff | tree
2012-09-18 Brian Norrismodel: fixup r_modification_order
 commit | commitdiff | tree
2012-09-18 Brian Norrismodel: check_recency - "already_added" always true
 commit | commitdiff | tree
2012-09-18 Brian Norrismodel: bugfix get_last_seq_action()
 commit | commitdiff | tree
2012-09-14 Brian Norrismodel: fixup happens_before/reflexivity, add 'curr...
commit | commitdiff | tree
2012-09-14 Brian NorrisMerge branch 'norris'
 commit | commitdiff | tree
2012-09-14 Brian Norrismodel: 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 Norrismodel: record the number of feasible executions
 commit | commitdiff | tree
2012-09-14 Brian Norrisconfig: don't enable graph dumping in master repo
 commit | commitdiff | tree
2012-09-14 Brian Norrismodel: add work queue loop
 commit | commitdiff | tree
2012-09-14 Brian Norrisworkqueue: add work queue structures
 commit | commitdiff | tree
2012-09-13 Brian Norrismodel: more restructuring of read/write processing
 commit | commitdiff | tree
2012-09-13 Brian Norrismodel: remove unnecessary parameter to ModelChecker...
commit | commitdiff | tree
2012-09-13 Brian NorrisMakefile: add PHONY targets
 commit | commitdiff | tree
2012-09-13 Brian Norrisbugfix: straighten out STL vector allocation (snapshotted...
commit | commitdiff | tree
2012-09-13 Brian Norrismodel: bugfix - don't clobber 'updated'
 commit | commitdiff | tree
2012-09-13 Brian NorrisRevert "Makefile: don't always rebuild make.deps"
 commit | commitdiff | tree
2012-09-13 Brian Norrissnapshot: print stack trace on segfault
 commit | commitdiff | tree
2012-09-13 Brian Norriscommon: add print_trace() for backtracing
 commit | commitdiff | tree
2012-09-13 Brian Norrismodel: trivial fixups
 commit | commitdiff | tree
2012-09-13 Brian NorrisMakefile: don't always rebuild make.deps
 commit | commitdiff | tree
2012-09-13 Brian Norrismodel: simple ASSERT() bug
 commit | commitdiff | tree
2012-09-13 Brian Norrismain: wrap help message
 commit | commitdiff | tree
2012-09-13 Brian Norrismodel: kill unneeded local variable
 commit | commitdiff | tree
2012-09-13 Brian Norrisspacing
 commit | commitdiff | tree
2012-09-13 Brian NorrisMerge remote-tracking branch 'origin/makefile'
 commit | commitdiff | tree
2012-09-13 Brian NorrisMakefile: fixup Mac dependencies
 commit | commitdiff | tree
2012-09-13 Brian Norriscleanup style
 commit | commitdiff | tree
2012-09-12 Brian Norristhreads, model, schedule: refactor thread joining
 commit | commitdiff | tree
2012-09-12 Brian Norrismodel: add ModelChecker::get_thread(ModelAction *act)
 commit | commitdiff | tree
2012-09-12 Brian Norrisschedule: add sleep() function
 commit | commitdiff | tree
2012-09-12 Brian Norriscyclegraph: add non-NULL assertions
 commit | commitdiff | tree
2012-09-12 Brian NorrisMerge branch 'demsky'
 commit | commitdiff | tree
2012-09-12 Brian Norrismodel: handle RMW, unresolved reads in w_modification_order...
commit | commitdiff | tree
2012-09-11 Brian Norrismodel: replace action conditions with switch block
 commit | commitdiff | tree
2012-09-11 Brian Norrismodel: add check_recency()
 commit | commitdiff | tree
2012-09-11 Brian Norrismodel: refactor "get next thread" code
 commit | commitdiff | tree
2012-09-11 Brian Norrismodel: add too_many_reads flag
 commit | commitdiff | tree
2012-09-11 Brian Norrisnodestack: add get_read_from_size()
 commit | commitdiff | tree
2012-09-11 Brian Norrismain: add "maxreads" parameter
 commit | commitdiff | tree
2012-09-08 Brian Norrismain: add parameter parsing
 commit | commitdiff | tree
2012-09-08 Brian Norrismodel: fix release sequence with RMW, acq vs. acq/rel
 commit | commitdiff | tree
2012-09-07 Brian Norrismodel: maintain a count of the pending lazy synchronizations
 commit | commitdiff | tree
2012-09-07 Brian Norrismodel: group snapshottable ModelChecker members in...
commit | commitdiff | tree
2012-09-07 Brian Norrismodel: force THREAD_START to immediately follow THREAD_CREATE
 commit | commitdiff | tree
2012-09-07 Brian Norrismodel: fix release_seq for open-ended synchronization
 commit | commitdiff | tree
2012-09-07 Brian Norrismodel: use std::find for release sequence search
 commit | commitdiff | tree
2012-09-07 Brian Norrismodel: don't use global 'model' unnecessarily
 commit | commitdiff | tree
2012-09-06 Brian NorrisMerge branch 'norris'
 commit | commitdiff | tree
2012-09-06 Brian Norrismodel: complete the Thread teardown during THREAD_FINISH
 commit | commitdiff | tree
2012-09-06 Brian Norrismodel: enforce rule: current_action != NULL
 commit | commitdiff | tree
2012-09-06 Brian Norrislibthreads: don't spin on THREAD_JOIN
 commit | commitdiff | tree
2012-09-06 Brian Norrismodel: hook up THREAD_JOIN and THREAD_FINISH actions
 commit | commitdiff | tree
2012-09-06 Brian Norrisschedule: add wait and wake functions
 commit | commitdiff | tree
2012-09-06 Brian Norristhreads: fixup THREAD_READY comment
 commit | commitdiff | tree
2012-09-06 Brian Norristhreads: add THREAD_BLOCKED state
 commit | commitdiff | tree
2012-09-06 Brian Norristhreads: add a wait_list
 commit | commitdiff | tree
2012-09-06 Brian Norristhreads: add is_complete() helper function
 commit | commitdiff | tree
2012-09-06 Brian Norrisaction: add THREAD_FINISH action
 commit | commitdiff | tree
2012-09-06 Brian Norrissnapshot-interface: debug prints: lengthen the "regionname...
commit | commitdiff | tree
2012-09-04 Brian Norrismodel: document ModelChecker::check_current_action
 commit | commitdiff | tree
2012-09-04 Brian Norrismodel: check_current_action returns its 'nextThread'
 commit | commitdiff | tree
2012-09-04 Brian Norrismodel/schedule: revise 'nextThread' data flow
 commit | commitdiff | tree
2012-09-04 Brian Norrisaction: print '?' for unknown read-from-future
 commit | commitdiff | tree
2012-08-25 Brian Norrismodel: re-check release sequences lazily
 commit | commitdiff | tree
2012-08-25 Brian Norrismodel: add resolve_release_sequences() function
 commit | commitdiff | tree
2012-08-25 Brian Norrismodel: stash actions for lazy release-seq checking
 commit | commitdiff | tree
2012-08-25 Brian Norrismodel: report 'updates' when adding mo_graph edges
 commit | commitdiff | tree
2012-08-25 Brian Norrismodel: report status of resolved promises
 commit | commitdiff | tree
2012-08-24 Brian Norrisaction, clockvector: add 'has_synchronized_with()'...
commit | commitdiff | tree
2012-08-24 Brian Norrisaction: make synchronize_with() public
 commit | commitdiff | tree
2012-08-24 Brian Norrisaction: utilize release sequence(s) for synchronization
 commit | commitdiff | tree
2012-08-24 Brian Norrismodel: add release sequence support
 commit | commitdiff | tree
2012-08-24 Brian Norrismodel: change pointer spacing style
 commit | commitdiff | tree
2012-08-24 Brian Norrisaction: (assertion) disallow out-of-order synchronization
 commit | commitdiff | tree
2012-08-23 Brian Norrismodel: improve some promise-related comments
 commit | commitdiff | tree
2012-08-23 Brian Norrisaction: update 'reads_from' field before synchronization
 commit | commitdiff | tree
2012-08-23 Brian Norrisnodestack: turn magic promise numbers into enum + typedef
 commit | commitdiff | tree
2012-08-23 Brian Norrisnodestack, model: use uniform spacing, style
 commit | commitdiff | tree
2012-08-23 Brian Norrisnodestack: don't use uint32_t
 commit | commitdiff | tree
2012-08-23 Brian Norrisnodestack: remove unnecessary typedefs
 commit | commitdiff | tree
2012-08-23 Brian Norriscyclegraph: add public CycleGraph::checkReachable()
 commit | commitdiff | tree
2012-08-21 Brian Norrismodel: correct mo_graph comment
 commit | commitdiff | tree
2012-08-21 Brian Norriscyclegraph: straighten out header vs. implementation...
commit | commitdiff | tree
2012-08-20 Brian Norrispromise: rewrite into a simpler header file
 commit | commitdiff | tree
2012-08-20 Brian NorrisMakefile: rewrite header dependencies
 commit | commitdiff | tree
2012-08-20 Brian Norrismodel: document ModelChecker::mo_graph
 commit | commitdiff | tree
2012-08-20 Brian Norrismodel: rename 'cyclegraph' to 'mo_graph'
 commit | commitdiff | tree
2012-08-20 Brian Norrismodel: don't "leak" promises
 commit | commitdiff | tree
next
C++11 memory model checker