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