projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: add resolve_release_sequences() function
2012-07-11 Brian Norrisaction: add 'reads_from' member variable
 commit | commitdiff | tree
2012-07-11 Brian Norrisaction: remove unused ModelAction::set_value()
 commit | commitdiff | tree
2012-07-11 Brian Norrismodel: release/acquire synchronization
 commit | commitdiff | tree
2012-07-11 Brian Norrisclockvector: add 'const', fix comments in ClockVector...
commit | commitdiff | tree
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
 commit | commitdiff | tree
2012-07-07 Brian NorrisMerge branch 'datarace'
 commit | commitdiff | tree
2012-07-07 Brian Norrisdatarace: fix build error
 commit | commitdiff | tree
2012-07-07 Brian Norrislibatomic: atomic_load() - use proper reads_from value
 commit | commitdiff | tree
2012-07-07 Brian Norrismodel: set reads_from "return value" in model-checker
 commit | commitdiff | tree
2012-07-07 Brian Norrisnodestack: add stub 'get_next_read_from()' function
 commit | commitdiff | tree
2012-07-07 Brian Norrisdocument some enumerated types
 commit | commitdiff | tree
2012-07-07 Brian Norrismodel: detect uninitialized atomic reads
 commit | commitdiff | tree
2012-07-07 Brian Norrisnodestack: add print_may_read_from()
 commit | commitdiff | tree
2012-07-07 Brian Norrismodel: improve build_reads_from_past() comment
 commit | commitdiff | tree
2012-07-07 Brian Norrisaction: use constructor initializer list
 commit | commitdiff | tree
2012-07-07 Brian Norrisaction: support ATOMIC_INIT
 commit | commitdiff | tree
2012-07-07 Brian Norristhreads: add per-thread "return" values for 'model...
commit | commitdiff | tree
2012-07-07 Brian Norrisnodestack: build 'may_read_from' out of constant ModelActions
 commit | commitdiff | tree
2012-07-06 Brian Norrisnodestack: action_set_t: replace STL 'set' with 'list'
 commit | commitdiff | tree
2012-07-06 Brian Norristrivial changes
 commit | commitdiff | tree
2012-07-06 Brian Norrisadd more const qualifiers
 commit | commitdiff | tree
2012-07-06 Brian Norrismodel: make set_current_action() private
 commit | commitdiff | tree
2012-07-06 Brian Norrisdatarace: factor subtle clock-vector logic into a reusable...
commit | commitdiff | tree
2012-07-06 Brian Norrisdatarace: remove EOL spaces
 commit | commitdiff | tree
2012-07-06 Brian Norrisdatarace/clockvector: switch 'clocks' to use 'unsigned...
commit | commitdiff | tree
2012-07-06 Brian Norrisclock: add modelclock_t typedef, use 'unsigned int'
 commit | commitdiff | tree
2012-07-03 Brian NorrisMerge branch 'brian'
 commit | commitdiff | tree
2012-07-03 Brian NorrisMakefile: compile *.cc separately
 commit | commitdiff | tree
2012-07-03 Brian Norrisnodestack: revert may_read_from to a normal member...
commit | commitdiff | tree
2012-07-03 Brian Norrisaction: add {get,set}_value(), assign default value
 commit | commitdiff | tree
2012-06-25 Brian Norrisadd documentation
 commit | commitdiff | tree
2012-06-25 Brian Norrisnodestack: only create may_read_from sets for read...
commit | commitdiff | tree
2012-06-25 Brian Norrisnodestack: re-associate ModelAction/Node relationship
 commit | commitdiff | tree
2012-06-25 Brian Norrisnodestack: add Node::get_parent() function
 commit | commitdiff | tree
2012-06-21 Brian Norrismodel: make print_list() into a static C function
 commit | commitdiff | tree
2012-06-21 Brian Norrismodel: make comment more accurate
 commit | commitdiff | tree
2012-06-21 Brian Norrisaction: add const qualifier
 commit | commitdiff | tree
2012-06-21 Brian Norrisclockvector: add const qualifiers
 commit | commitdiff | tree
2012-06-21 Brian Norrisclockvector: add documentation
 commit | commitdiff | tree
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
 commit | commitdiff | tree
2012-06-21 Brian Norrissnapshot: switch back to mprotect-based snapshotting
 commit | commitdiff | tree
2012-06-21 Brian Norrismodel: build up 'may_read_from' set
 commit | commitdiff | tree
2012-06-21 Brian Norrismodel: add build_reads_from_past() function
 commit | commitdiff | tree
2012-06-21 Brian Norrisaction: add happens_before() function
 commit | commitdiff | tree
2012-06-21 Brian Norrisclockvector: fix 'happens_before', change name to ...
commit | commitdiff | tree
2012-06-21 Brian Norrisaction: add 'get_cv()' accessor function
 commit | commitdiff | tree
2012-06-21 Brian Norrisnodestack: add 'may_read_from' set
 commit | commitdiff | tree
2012-06-19 Brian Norrisnodestack: don't perform linear search to check if...
commit | commitdiff | tree
2012-06-19 Brian Norrisaction: add const qualifiers
 commit | commitdiff | tree
2012-06-19 Brian Norrisaction: replace condition check with ASSERT()
 commit | commitdiff | tree
2012-06-19 Brian Norrisnodestack/model: refactor explore_action(), change...
commit | commitdiff | tree
2012-06-19 Brian Norrisnodestack: more documentation
 commit | commitdiff | tree
2012-06-19 Brian Norriscyclegraph: make this compile...
 commit | commitdiff | tree
2012-06-15 Brian NorrisDoxyfile: exclude malloc.c
 commit | commitdiff | tree
2012-06-15 Brian Norrisfixup some doc wording
 commit | commitdiff | tree
2012-06-15 Brian Norrisadd more documentation
 commit | commitdiff | tree
2012-06-15 Brian NorrisMakefile: force `make docs' to depend on all source...
commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: refactor the fork-based stack initialization
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: remove unused 'uc_link' context
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshotimp: reindent file
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: don't put entire if (...) on one line
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: define macros with type size_t
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: use (void *) instead of (char *)
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: rearrange #if a little
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: remove extra blank lines
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: make other file-scope functions static
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: don't export page-aligning functions
 commit | commitdiff | tree
2012-06-14 Brian Norrisrename struct Snapshot_t => struct Snapshot
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: don't declare sTheRecord in both #if and...
commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: remove 'extern "C"' block
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot-interface: don't export SnapshotGlobalSegments()
 commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: replace DumpIntoLog() with lighter-weight...
commit | commitdiff | tree
2012-06-14 Brian Norrissnapshot: move comments to the right place
 commit | commitdiff | tree
2012-06-07 Brian Norrislibatomic: perform write before context switch
 commit | commitdiff | tree
2012-06-06 Brian Norris.gitignore: ignore docs directory
 commit | commitdiff | tree
2012-06-06 Brian Norrisaction: fix some comments
 commit | commitdiff | tree
2012-06-06 Brian NorrisMakefile: have `mrclean' depend on `clean'
 commit | commitdiff | tree
2012-06-05 Brian Norrissnapshot: zero out entire siginfo_t
 commit | commitdiff | tree
2012-05-31 Brian Norrissnapshot: remove duplicate definition of finalize()
 commit | commitdiff | tree
2012-05-31 Brian Norrisuse EXIT_SUCCESS and EXIT_FAILURE
 commit | commitdiff | tree
2012-05-31 Brian Norrisuserprog: use atomics allocated on "heap"
 commit | commitdiff | tree
2012-05-30 Brian Norrissnapshot-interface: replace Subramanian's /proc/*/maps...
commit | commitdiff | tree
2012-05-30 Brian Norrisnode: do not use static member variable
 commit | commitdiff | tree
2012-05-30 Brian Norrissnapshot: move declarations to the right interface...
commit | commitdiff | tree
2012-05-30 Brian Norrissnapshot: rename MyFuncPtr to VoidFuncPtr
 commit | commitdiff | tree
2012-05-30 Brian Norrissnapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT
 commit | commitdiff | tree
2012-05-29 Brian Norrissnapshot-interface: don't redefine PAGESIZE
 commit | commitdiff | tree
2012-05-29 Brian Norrissnapshot-interface: bugfix - fixup array indeces
 commit | commitdiff | tree
2012-05-29 Brian Norrisnodestack: push 'create_cv' functionality responsibility...
commit | commitdiff | tree
2012-05-29 Brian Norrismodel: thread creation establishes synchronization
 commit | commitdiff | tree
2012-05-29 Brian Norristhreads: add 'creation' information
 commit | commitdiff | tree
2012-05-29 Brian Norrislibthreads: pass 'class Thread' object as ModelAction...
commit | commitdiff | tree
2012-05-28 Brian Norrismodel: move bookkeeping to add_action_to_lists()
 commit | commitdiff | tree
2012-05-28 Brian Norrismodel: set 'last action in thread' as an action's parent
 commit | commitdiff | tree
2012-05-28 Brian Norrismodel: log the last action in each thread
 commit | commitdiff | tree
2012-05-28 Brian Norrisnodestack: compute parent ModelAction externally
 commit | commitdiff | tree
2012-05-28 Brian Norrisclockvector: fixup initialization
 commit | commitdiff | tree
2012-05-28 Brian Norrisnodestack: construct Node with 'number of threads'...
commit | commitdiff | tree
2012-05-26 Brian Norrismodel: add obj_thrd_map
 commit | commitdiff | tree
2012-05-26 Brian NorrisMakefile: add 'make debug'
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository