projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
2012-07-06 Brian Demskyadd forgetten file commit | commitdiff | tree | snapshot
2012-07-06 Brian Demskyadd support for datarace detection... commit | commitdiff | tree | snapshot
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-07-03 Brian NorrisMerge 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 NorrisMakefile: compile *.cc separately commit | commitdiff | tree | snapshot
2012-07-03 Brian Norrisnodestack: revert may_read_from to a normal member... commit | commitdiff | tree | snapshot
2012-07-03 Brian Norrisaction: add {get,set}_value(), assign default value commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisadd documentation commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisnodestack: only create may_read_from sets for read... commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisnodestack: re-associate ModelAction/Node relationship commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisnodestack: add Node::get_parent() function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrismodel: 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 Norrismodel: make comment more accurate commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisaction: add const qualifier commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisclockvector: add const qualifiers commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisclockvector: add documentation commit | commitdiff | tree | snapshot
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize()) commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrissnapshot: switch back to mprotect-based snapshotting commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrismodel: build up 'may_read_from' set commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrismodel: add build_reads_from_past() function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisaction: add happens_before() function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisclockvector: fix 'happens_before', change name to ... commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisaction: add 'get_cv()' accessor function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisnodestack: add 'may_read_from' set commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisnodestack: don't perform linear search to check if... commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisaction: add const qualifiers commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisaction: replace condition check with ASSERT() commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisnodestack/model: refactor explore_action(), change... commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisnodestack: more documentation commit | commitdiff | tree | snapshot
2012-06-19 Brian Norriscyclegraph: make this compile... commit | commitdiff | tree | snapshot
2012-06-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-06-18 Brian Demskybuilds commit | commitdiff | tree | snapshot
2012-06-17 Brian Demskyadd hashtable commit | commitdiff | tree | snapshot
2012-06-15 Brian NorrisDoxyfile: exclude malloc.c commit | commitdiff | tree | snapshot
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-06-15 Brian Norrisfixup some doc wording commit | commitdiff | tree | snapshot
2012-06-15 Brian Norrisadd more documentation commit | commitdiff | tree | snapshot
2012-06-15 Brian Demskysubramanian lied when he said he fixed these... commit | commitdiff | tree | snapshot
2012-06-15 Brian NorrisMakefile: 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
2012-06-14 Brian Norrissnapshot: refactor the fork-based stack initialization commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: remove unused 'uc_link' context commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshotimp: reindent file commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: don't put entire if (...) on one line commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: define macros with type size_t commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: use (void *) instead of (char *) commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: rearrange #if a little commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: remove extra blank lines commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: make other file-scope functions static commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: don't export page-aligning functions commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrisrename struct Snapshot_t => struct Snapshot commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: don't declare sTheRecord in both #if and... commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: remove 'extern "C"' block commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot-interface: don't export SnapshotGlobalSegments() commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: replace DumpIntoLog() with lighter-weight... commit | commitdiff | tree | snapshot
2012-06-14 Brian Norrissnapshot: move comments to the right place commit | commitdiff | tree | snapshot
2012-06-14 Subramanian... Removing comment asking to fix fork(), has been fixed now commit | commitdiff | tree | snapshot
2012-06-14 Subramanian... fixing calloc(), fix Makefile commit | commitdiff | tree | snapshot
2012-06-07 Brian Norrislibatomic: perform write before context switch commit | commitdiff | tree | snapshot
2012-06-06 Brian Norris.gitignore: ignore docs directory commit | commitdiff | tree | snapshot
2012-06-06 Brian Norrisaction: fix some comments commit | commitdiff | tree | snapshot
2012-06-06 Brian NorrisMakefile: have `mrclean' depend on `clean' commit | commitdiff | tree | snapshot
2012-06-06 Brian Demskymore comments commit | commitdiff | tree | snapshot
2012-06-06 Brian Demskymore doc changes commit | commitdiff | tree | snapshot
2012-06-06 Brian Demskymore documentation commit | commitdiff | tree | snapshot
2012-06-06 Brian Demsky1) Add more comments. commit | commitdiff | tree | snapshot
2012-06-06 Brian Demskymore documentation commit | commitdiff | tree | snapshot
2012-06-06 Brian Demskymore docs commit | commitdiff | tree | snapshot
2012-06-06 Brian Demskyadd support for docs commit | commitdiff | tree | snapshot
2012-06-05 Brian Norrissnapshot: zero out entire siginfo_t commit | commitdiff | tree | snapshot
2012-06-04 Brian DemskyChanges needed to run on OS X... Example runs on my... commit | commitdiff | tree | snapshot
2012-06-04 Brian Demskyhack some stuff towards running on mac... unrelated... commit | commitdiff | tree | snapshot
2012-05-31 Brian Norrissnapshot: remove duplicate definition of finalize() commit | commitdiff | tree | snapshot
2012-05-31 Brian Norrisuse EXIT_SUCCESS and EXIT_FAILURE commit | commitdiff | tree | snapshot
2012-05-31 Brian Norrisuserprog: use atomics allocated on "heap" commit | commitdiff | tree | snapshot
2012-05-31 Subramanian... Adding fixes for the fork based implementation, also... commit | commitdiff | tree | snapshot
2012-05-30 Subramanian... Merge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-05-30 Brian Demskycheck in message commit | commitdiff | tree | snapshot
2012-05-30 Brian Norrissnapshot-interface: replace Subramanian's /proc/*/maps... commit | commitdiff | tree | snapshot
2012-05-30 Brian Demskyfix bug...this is another evil one... commit | commitdiff | tree | snapshot
2012-05-30 Brian Norrisnode: do not use static member variable commit | commitdiff | tree | snapshot
2012-05-30 Brian Norrissnapshot: move declarations to the right interface... commit | commitdiff | tree | snapshot
2012-05-30 Brian Norrissnapshot: rename MyFuncPtr to VoidFuncPtr commit | commitdiff | tree | snapshot
2012-05-30 Brian Norrissnapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT commit | commitdiff | tree | snapshot
2012-05-29 Brian Norrissnapshot-interface: don't redefine PAGESIZE commit | commitdiff | tree | snapshot
2012-05-29 Brian Norrissnapshot-interface: bugfix - fixup array indeces commit | commitdiff | tree | snapshot
2012-05-29 Brian Norrisnodestack: push 'create_cv' functionality responsibilit... commit | commitdiff | tree | snapshot
2012-05-29 Brian Norrismodel: thread creation establishes synchronization commit | commitdiff | tree | snapshot
2012-05-29 Brian Norristhreads: add 'creation' information commit | commitdiff | tree | snapshot
2012-05-29 Brian Norrislibthreads: pass 'class Thread' object as ModelAction... commit | commitdiff | tree | snapshot
2012-05-28 Brian Norrismodel: move bookkeeping to add_action_to_lists() commit | commitdiff | tree | snapshot
2012-05-28 Brian Norrismodel: set 'last action in thread' as an action's parent commit | commitdiff | tree | snapshot
2012-05-28 Brian Norrismodel: log the last action in each thread commit | commitdiff | tree | snapshot
2012-05-28 Brian Norrisnodestack: compute parent ModelAction externally commit | commitdiff | tree | snapshot
2012-05-28 Brian Norrisclockvector: fixup initialization commit | commitdiff | tree | snapshot
2012-05-28 Brian Norrisnodestack: construct Node with 'number of threads'... commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrismodel: add obj_thrd_map commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository