projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
impatomic.h: fixup spacing
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
2012-05-26 Brian Norrisaction: enhance print() message
 commit | commitdiff | tree
2012-05-26 Brian Norrisnodestack: create ModelAction clock vectors
 commit | commitdiff | tree
2012-05-26 Brian Norrisaction: add create_cv() and read_from()
 commit | commitdiff | tree
2012-05-26 Brian Norrisclockvector: bugfix - fixup vector initialization,...
commit | commitdiff | tree
2012-05-26 Brian Norrismodel: add get_num_threads()
 commit | commitdiff | tree
2012-05-26 Brian Norrisclockvector: fixup print message
 commit | commitdiff | tree
2012-05-26 Brian Norrisclockvector: add print() method
 commit | commitdiff | tree
2012-05-26 Brian Norrisaction: add clock vector field, destructor
 commit | commitdiff | tree
2012-05-26 Brian Norrisaction: use proper location comparison
 commit | commitdiff | tree
2012-05-26 Brian Norrisclockvector: add snapshotting new/delete operators
 commit | commitdiff | tree
2012-05-26 Brian Norrisrename snapshotStack -> SnapshotStack
 commit | commitdiff | tree
2012-05-26 Brian Norrissnapshot: remove #include, use snapshot_id typedef
 commit | commitdiff | tree
2012-05-26 Brian Norrissnapshot-interface: cleanup interface header
 commit | commitdiff | tree
2012-05-26 Brian Norrismodel: remove scheduler comment
 commit | commitdiff | tree
2012-05-26 Brian Norrismodel: don't clear thread_map (snapshot)
 commit | commitdiff | tree
2012-05-26 Brian Norrismodel: don't reset action_trace manually
 commit | commitdiff | tree
2012-05-26 Brian Norrismain: take/revert snapshots
 commit | commitdiff | tree
2012-05-26 Brian Norrismodel: make thread_map heap allocated
 commit | commitdiff | tree
2012-05-26 Brian Norrisaction: add all action_lists to snapshot...
 commit | commitdiff | tree
2012-05-26 Brian Norriscommon: remove unneeded macros/includes
 commit | commitdiff | tree
2012-05-26 Brian Norristhreads: fixup stack allocation (snapshotting...)
 commit | commitdiff | tree
2012-05-25 Brian Norrissnapshot: remove time information
 commit | commitdiff | tree
2012-05-25 Brian Norrissnapshot: fix indentation
 commit | commitdiff | tree
2012-05-25 Brian Norrissnapshot: use %p for printing pointers
 commit | commitdiff | tree
2012-05-25 Brian Norrismore allocation fixes (use snapshotting)
 commit | commitdiff | tree
2012-05-25 Brian Norrisnodestack: bugfix - fixup allocators for vectors
 commit | commitdiff | tree
2012-05-25 Brian Norrisadd more classes to snapshotting region
 commit | commitdiff | tree
2012-05-25 Brian Norrismymemory: use the right *&^% allocator!!
 commit | commitdiff | tree
2012-05-24 Brian Norrissnapshot: fix EOL spaces
 commit | commitdiff | tree
2012-05-24 Brian Norrissnapshot: use perror() on failed library calls
 commit | commitdiff | tree
2012-05-24 Brian Norrismymemory: define the "opposite" of MEMALLOC
 commit | commitdiff | tree
2012-05-24 Brian Norrismymemory: include some spacing
 commit | commitdiff | tree
2012-05-21 Brian Norrisfixup EOL whitespace
 commit | commitdiff | tree
2012-05-21 Brian Norrissnapshot: use 'SSDEBUG', not 'DEBUG'
 commit | commitdiff | tree
2012-05-21 Brian Norrismodel: remove incorrect #undef
 commit | commitdiff | tree
2012-05-21 Brian Norrisuserprog: use modulo
 commit | commitdiff | tree
2012-05-21 Brian Norrislibthreads: fix thrd_create() to use typedef'd start_routine
 commit | commitdiff | tree
2012-05-21 Brian Norrisfix indentation + spacing, esp. for MEMALLOC macro
 commit | commitdiff | tree
2012-05-21 Brian Norrismymemory: fix indentation, spacing
 commit | commitdiff | tree
2012-05-21 Brian Norrisnodestack: allocate from "mymemory" region
 commit | commitdiff | tree
2012-05-21 Brian NorrisMerge commit: branch 'work'
 commit | commitdiff | tree
2012-05-21 Brian Norrissnapshot: remove references to libmymemory.so
 commit | commitdiff | tree
2012-05-21 Brian Norrissnapshot: move local defines after #includes
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository