| 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 |
| 2012-08-14 |
Brian Norris | cyclegraph: improve comments, use initializer list
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | hashtable: document get_safe_ptr()
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | hashtable: rename ensureptr() to get_safe_ptr()
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | hashtable: bugfix - increment size only when new bins...
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | hashtable: some refactoring, signed-ness
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | model: reformat/refactor some code
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | impatomic.h: fixup spacing
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | threads: trivial change
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | model: revert unnecessary parameter for print_summary()
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | add basic parameter handling
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | common: add error_msg() function
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | run.sh: pass command-line arguments through to test...
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | .gitignore: ignore other vim swap file type
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | model: reformat some code
|
commit | commitdiff | tree |
| 2012-08-08 |
Brian Norris | main, threads: improve comments regarding thread stepping
|
commit | commitdiff | tree |
| 2012-08-03 |
Brian Norris | Makefile: fix config.h dependencies
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Merge branch 'brian'
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | DEBUGGINGNOTES: include gdb info for Linux
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | bug fix
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | run.sh: fixup run script
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Makefile: wire up test/ directory for compilation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Makefile: split part into a common makefile (common.mk)
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | userprog: move to 'test/' directory
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Makefile: don't build userprog.c from top level
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | blank lines, spacing, etc.
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | nodestack: remove completed @todo
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | nodestack: clean up comments
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | model: do not call isfinalfeasible() too many times
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | hashtable: add some documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | model: delete Threads on destruction
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | more reformatting/indentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | forgot about events that happen after an unresolved...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | fixup whitespace
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | action: add memory_order printing
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | change test case to match nice one from spec... it...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | bugs...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | add some comments
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | standardize names a little
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | okay...known bugs for my trivial test are out of send...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | finish promise support
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | more changes towards keeping track of promises resolved...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | changes
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | some changes towards reading from future writes
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | move more configurables and add documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | more hashtable fixes
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | fix some allocation/free bugs when we put non objects...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | fix my todo comments so they appear in documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | switch everything over to our own hashtable
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | hashtable: make more flexible
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | Add documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | action: fix ATOMIC_RMW comments
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | rmw example works
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | towards making rmw work...
|
commit | commitdiff | tree |
| next |
projects / model-checker.git / search