| 2012-09-14 |
Brian Norris | model: release_seq synchronization generates mo_graph...
|
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'
|
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 |
| 2012-08-25 |
Brian Norris | model: report status of resolved promises
|
commit | commitdiff | tree |
| 2012-08-24 |
Brian Norris | action, clockvector: add 'has_synchronized_with()'...
|
commit | commitdiff | tree |
| 2012-08-24 |
Brian Norris | action: make synchronize_with() public
|
commit | commitdiff | tree |
| 2012-08-24 |
Brian Norris | action: utilize release sequence(s) for synchronization
|
commit | commitdiff | tree |
| 2012-08-24 |
Brian Norris | model: add release sequence support
|
commit | commitdiff | tree |
| 2012-08-24 |
Brian Norris | model: change pointer spacing style
|
commit | commitdiff | tree |
| 2012-08-24 |
Brian Norris | action: (assertion) disallow out-of-order synchronization
|
commit | commitdiff | tree |
| 2012-08-23 |
Brian Norris | model: improve some promise-related comments
|
commit | commitdiff | tree |
| 2012-08-23 |
Brian Norris | action: update 'reads_from' field before synchronization
|
commit | commitdiff | tree |
| 2012-08-23 |
Brian Norris | nodestack: turn magic promise numbers into enum + typedef
|
commit | commitdiff | tree |
| 2012-08-23 |
Brian Norris | nodestack, model: use uniform spacing, style
|
commit | commitdiff | tree |
| 2012-08-23 |
Brian Norris | nodestack: don't use uint32_t
|
commit | commitdiff | tree |
| 2012-08-23 |
Brian Norris | nodestack: remove unnecessary typedefs
|
commit | commitdiff | tree |
| 2012-08-23 |
Brian Norris | cyclegraph: add public CycleGraph::checkReachable()
|
commit | commitdiff | tree |
| 2012-08-21 |
Brian Norris | model: correct mo_graph comment
|
commit | commitdiff | tree |
| 2012-08-21 |
Brian Norris | cyclegraph: straighten out header vs. implementation...
|
commit | commitdiff | tree |
| 2012-08-20 |
Brian Norris | promise: rewrite into a simpler header file
|
commit | commitdiff | tree |
| 2012-08-20 |
Brian Norris | Makefile: rewrite header dependencies
|
commit | commitdiff | tree |
| 2012-08-20 |
Brian Norris | model: document ModelChecker::mo_graph
|
commit | commitdiff | tree |
| 2012-08-20 |
Brian Norris | model: rename 'cyclegraph' to 'mo_graph'
|
commit | commitdiff | tree |
| 2012-08-20 |
Brian Norris | model: don't "leak" promises
|
commit | commitdiff | tree |
| 2012-08-20 |
Brian Norris | test/Makefile: remove pointless variable
|
commit | commitdiff | tree |
| 2012-08-17 |
Brian Norris | .gitignore: don't ignore /model anymore
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | Merge branch 'norris'
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | schedule: make print() const
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | model: privatize check_current_action()
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | threads: correct 'swap()' documentation
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | main, model: don't 'initialize' system_context
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | action: don't merge twice in read_from()
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | action: rework/rename 'synchronized()' to 'synchronize_with()'
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | model: remove useless return code from add_thread()
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | schedule, threads: update comments, const's
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | model: make scheduler private
|
commit | commitdiff | tree |
| 2012-08-16 |
Brian Norris | main, model: move main execution loop into ModelChecker...
|
commit | commitdiff | tree |
| next |
projects / model-checker.git / search