| 2012-07-17 |
Brian Demsky | Make stack popping explicit. |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Norris | nodestack: re-insert falsely-declared "dead code" |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Norris | config: automatically determine BIT48 |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Demsky | remove dead code... loop entrance condition is i<backt... |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Norris | action: fix uint64_t printf warning |
commit | commitdiff | tree | snapshot |
| 2012-07-16 |
Brian Demsky | no need to store into the object field... this will... |
commit | commitdiff | tree | snapshot |
| 2012-07-16 |
Brian Demsky | really should be using a type that is big enough for... |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Demsky | the initialized logic appears to be wrong... release... |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | datarace: fixup, properly document BIT48 |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: remove unused #include |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | libthreads: thrd_join() always return 0 |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: add documentation |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: fixup "initialized" check in build_reads_from_past() |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: only include the most recent seq_cst write in... |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: add ModelChecker::get_last_seq_cst() |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: improve ModelChecker::get_last_conflict() search |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: add per-object action lists (obj_map) |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | reformat some doxygen comments, remove newlines |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: rearrange switch block, handle RMW |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | Merge branch 'master' into brian |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: bugfix - resize thrd_last_action when adding... |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: factor out 'tid' calculation |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | main: make function static |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | action / threads: add THREAD_START action at start... |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | threads: use constructor initializer list |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | action: add 'reads_from' member variable |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | action: remove unused ModelAction::set_value() |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | model: release/acquire synchronization |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | clockvector: add 'const', fix comments in ClockVector... |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Norris | remove EOL spaces, fix indentation |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Demsky | bug |
commit | commitdiff | tree | snapshot |
| 2012-07-11 |
Brian Demsky | documentation |
commit | commitdiff | tree | snapshot |
| 2012-07-10 |
Brian Demsky | fix bug |
commit | commitdiff | tree | snapshot |
| 2012-07-10 |
Brian Demsky | hook up the race detector... |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | Merge branch 'datarace' |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | datarace: fix build error |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Demsky | changes |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | libatomic: atomic_load() - use proper reads_from value |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | model: set reads_from "return value" in model-checker |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | nodestack: add stub 'get_next_read_from()' function |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | document some enumerated types |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | model: detect uninitialized atomic reads |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | nodestack: add print_may_read_from() |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | model: improve build_reads_from_past() comment |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | action: use constructor initializer list |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | action: support ATOMIC_INIT |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | threads: add per-thread "return" values for 'model... |
commit | commitdiff | tree | snapshot |
| 2012-07-07 |
Brian Norris | nodestack: build 'may_read_from' out of constant ModelA... |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | nodestack: action_set_t: replace STL 'set' with 'list' |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | trivial changes |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | add more const qualifiers |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | model: make set_current_action() private |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | datarace: factor subtle clock-vector logic into a reusa... |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | datarace: remove EOL spaces |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | datarace/clockvector: switch 'clocks' to use 'unsigned... |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Norris | clock: add modelclock_t typedef, use 'unsigned int' |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Demsky | add forgetten file |
commit | commitdiff | tree | snapshot |
| 2012-07-06 |
Brian Demsky | add support for datarace detection... |
commit | commitdiff | tree | snapshot |
| 2012-07-03 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2012-07-03 |
Brian Norris | Merge branch 'brian' |
commit | commitdiff | tree | snapshot |
| 2012-07-03 |
Subramanian... | Adding relevant comments for fork based implementation. |
commit | commitdiff | tree | snapshot |
| 2012-07-03 |
Brian Norris | Makefile: compile *.cc separately |
commit | commitdiff | tree | snapshot |
| 2012-07-03 |
Brian Norris | nodestack: revert may_read_from to a normal member... |
commit | commitdiff | tree | snapshot |
| 2012-07-03 |
Brian Norris | action: add {get,set}_value(), assign default value |
commit | commitdiff | tree | snapshot |
| 2012-06-25 |
Brian Norris | add documentation |
commit | commitdiff | tree | snapshot |
| 2012-06-25 |
Brian Norris | nodestack: only create may_read_from sets for read... |
commit | commitdiff | tree | snapshot |
| 2012-06-25 |
Brian Norris | nodestack: re-associate ModelAction/Node relationship |
commit | commitdiff | tree | snapshot |
| 2012-06-25 |
Brian Norris | nodestack: add Node::get_parent() function |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | model: make print_list() into a static C function |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Subramanian... | Adding relevant comments for fork based implementation. |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Subramanian... | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | model: make comment more accurate |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | action: add const qualifier |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | clockvector: add const qualifiers |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | clockvector: add documentation |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | Merge branch 'sandbox' (remove finalize()) |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | snapshot: switch back to mprotect-based snapshotting |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | model: build up 'may_read_from' set |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | model: add build_reads_from_past() function |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | action: add happens_before() function |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | clockvector: fix 'happens_before', change name to ... |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | action: add 'get_cv()' accessor function |
commit | commitdiff | tree | snapshot |
| 2012-06-21 |
Brian Norris | nodestack: add 'may_read_from' set |
commit | commitdiff | tree | snapshot |
| 2012-06-19 |
Brian Norris | nodestack: don't perform linear search to check if... |
commit | commitdiff | tree | snapshot |
| 2012-06-19 |
Brian Norris | action: add const qualifiers |
commit | commitdiff | tree | snapshot |
| 2012-06-19 |
Brian Norris | action: replace condition check with ASSERT() |
commit | commitdiff | tree | snapshot |
| 2012-06-19 |
Brian Norris | nodestack/model: refactor explore_action(), change... |
commit | commitdiff | tree | snapshot |
| 2012-06-19 |
Brian Norris | nodestack: more documentation |
commit | commitdiff | tree | snapshot |
| 2012-06-19 |
Brian Norris | cyclegraph: make this compile... |
commit | commitdiff | tree | snapshot |
| 2012-06-18 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2012-06-18 |
Brian Demsky | builds |
commit | commitdiff | tree | snapshot |
| 2012-06-17 |
Brian Demsky | add hashtable |
commit | commitdiff | tree | snapshot |
| 2012-06-15 |
Brian Norris | Doxyfile: exclude malloc.c |
commit | commitdiff | tree | snapshot |
| 2012-06-15 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2012-06-15 |
Brian Norris | fixup some doc wording |
commit | commitdiff | tree | snapshot |
| 2012-06-15 |
Brian Norris | add more documentation |
commit | commitdiff | tree | snapshot |
| 2012-06-15 |
Brian Demsky | subramanian lied when he said he fixed these... |
commit | commitdiff | tree | snapshot |
| 2012-06-15 |
Brian Norris | Makefile: force `make docs' to depend on all source... |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Subramanian... | (snapshot) removing mbFinalize and usage of finalize |
commit | commitdiff | tree | snapshot |
| next |
projects / c11tester.git / shortlog