| 2012-08-02 |
Brian Demsky | switch rest over to model checker... might work now
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | fix missing atomic...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | rewrite macros
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | import header file from specification
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | update TODO's
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | Add RMW support to core.
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | model: add documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | small changes (things still work) towards support RMW
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | trying to get fork based snapshotting to work
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | toss a place for useful information
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | model: refactor "infeasible" printing
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | print less stuff
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | model: add support for modification orders
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | cyclegraph: bugfix - graph reachability was reversed
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | cyclegraph: add destructor, use 'const' appropriately
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | nodestack: document pop_restofstack()
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | Add basic reads from support
|
commit | commitdiff | tree |
| 2012-07-17 |
Brian Norris | nodestack: re-insert falsely-declared "dead code"
|
commit | commitdiff | tree |
| 2012-07-17 |
Brian Norris | config: automatically determine BIT48
|
commit | commitdiff | tree |
| 2012-07-17 |
Brian Norris | action: fix uint64_t printf warning
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | datarace: fixup, properly document BIT48
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: remove unused #include
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | libthreads: thrd_join() always return 0
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: add documentation
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: fixup "initialized" check in build_reads_from_past()
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: only include the most recent seq_cst write in...
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: add ModelChecker::get_last_seq_cst()
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: improve ModelChecker::get_last_conflict() search
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: add per-object action lists (obj_map)
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | reformat some doxygen comments, remove newlines
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: rearrange switch block, handle RMW
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | Merge branch 'master' into brian
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: bugfix - resize thrd_last_action when adding...
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: factor out 'tid' calculation
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | main: make function static
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | action / threads: add THREAD_START action at start...
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | threads: use constructor initializer list
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | action: add 'reads_from' member variable
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | action: remove unused ModelAction::set_value()
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | model: release/acquire synchronization
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | clockvector: add 'const', fix comments in ClockVector...
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | remove EOL spaces, fix indentation
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | Merge branch 'datarace'
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | datarace: fix build error
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | libatomic: atomic_load() - use proper reads_from value
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | model: set reads_from "return value" in model-checker
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | nodestack: add stub 'get_next_read_from()' function
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | document some enumerated types
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | model: detect uninitialized atomic reads
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | nodestack: add print_may_read_from()
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | model: improve build_reads_from_past() comment
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | action: use constructor initializer list
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | action: support ATOMIC_INIT
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | threads: add per-thread "return" values for 'model...
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | nodestack: build 'may_read_from' out of constant ModelActions
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | nodestack: action_set_t: replace STL 'set' with 'list'
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | trivial changes
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | add more const qualifiers
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | model: make set_current_action() private
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | datarace: factor subtle clock-vector logic into a reusable...
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | datarace: remove EOL spaces
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | datarace/clockvector: switch 'clocks' to use 'unsigned...
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | clock: add modelclock_t typedef, use 'unsigned int'
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | Merge branch 'brian'
|
commit | commitdiff | tree |
| 2012-07-03 |
Subramanian Ganapathy | Adding relevant comments for fork based implementation.
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | Makefile: compile *.cc separately
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | nodestack: revert may_read_from to a normal member...
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | action: add {get,set}_value(), assign default value
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | add documentation
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | nodestack: only create may_read_from sets for read...
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | nodestack: re-associate ModelAction/Node relationship
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | nodestack: add Node::get_parent() function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: make print_list() into a static C function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: make comment more accurate
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | action: add const qualifier
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | clockvector: add const qualifiers
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | clockvector: add documentation
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | Merge branch 'sandbox' (remove finalize())
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | snapshot: switch back to mprotect-based snapshotting
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: build up 'may_read_from' set
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: add build_reads_from_past() function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | action: add happens_before() function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | clockvector: fix 'happens_before', change name to ...
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | action: add 'get_cv()' accessor function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | nodestack: add 'may_read_from' set
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | nodestack: don't perform linear search to check if...
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | action: add const qualifiers
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | action: replace condition check with ASSERT()
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | nodestack/model: refactor explore_action(), change...
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | nodestack: more documentation
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | cyclegraph: make this compile...
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | Doxyfile: exclude malloc.c
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | fixup some doc wording
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | add more documentation
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | Makefile: force `make docs' to depend on all source...
|
commit | commitdiff | tree |
| 2012-06-14 |
Brian Norris | snapshot: refactor the fork-based stack initialization
|
commit | commitdiff | tree |
| 2012-06-14 |
Brian Norris | snapshot: remove unused 'uc_link' context
|
commit | commitdiff | tree |
| 2012-06-14 |
Brian Norris | snapshotimp: reindent file
|
commit | commitdiff | tree |
| 2012-06-14 |
Brian Norris | snapshot: don't put entire if (...) on one line
|
commit | commitdiff | tree |
| 2012-06-14 |
Brian Norris | snapshot: define macros with type size_t
|
commit | commitdiff | tree |
| next |
projects / model-checker.git / search