projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: refactor "infeasible" printing
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
2012-05-21 Brian Norrismain: clear out redundant comments
 commit | commitdiff | tree
2012-05-21 Brian Norriscommon: disable debugging
 commit | commitdiff | tree
2012-05-21 Brian Norrisrun.sh: provide gdb option
 commit | commitdiff | tree
2012-05-21 Brian NorrisMakefile: only build a single shared library
 commit | commitdiff | tree
2012-05-21 Brian NorrisMakefile: clean up Makefile
 commit | commitdiff | tree
2012-05-21 Brian NorrisMakfile: remove MEMCPPFLAGS, more uniform command format
 commit | commitdiff | tree
2012-05-21 Brian Norrismain: what are these variables for? (subramanian...)
 commit | commitdiff | tree
2012-05-21 Brian Norrisrun.sh: don't touch my run script subramanian
 commit | commitdiff | tree
2012-05-21 Brian NorrisMakfile: fix linking error + remove EOL whitespace
 commit | commitdiff | tree
2012-05-21 Brian Norris.gitignore: fixup bad merge step
 commit | commitdiff | tree
2012-05-15 Brian Norrisaction: neuter the "same_var" function for now...
 commit | commitdiff | tree
2012-05-15 Brian Norrismodel: remove free_action_list() function
 commit | commitdiff | tree
2012-05-15 Brian Norrismodel: remove class Backtrack
 commit | commitdiff | tree
2012-05-15 Brian Norristree: kill class TreeNode
 commit | commitdiff | tree
2012-05-15 Brian Norrismodel: replace TreeNode with NodeStack
 commit | commitdiff | tree
2012-05-15 Brian Norrisuserprog: tweak test program to use simple loads/stores
 commit | commitdiff | tree
2012-05-15 Brian Norrislibatomic: place the proper read-value in 'atomic_load...
commit | commitdiff | tree
2012-05-15 Brian Norrislibrace: actually compute the loads and stores
 commit | commitdiff | tree
2012-05-14 Brian Norrisaction: add get_node() accessor
 commit | commitdiff | tree
2012-05-14 Brian Norrisnodestack: remove unnecessary conditional
 commit | commitdiff | tree
2012-05-14 Brian Norrismodel: merge advance_backtracking_state() and get_next_repla...
commit | commitdiff | tree
2012-05-14 Brian Norrismodel: rename check_current_action() local variables
 commit | commitdiff | tree
2012-05-14 Brian Norrisaction: add comparison operator for ModelAction
 commit | commitdiff | tree
2012-05-14 Brian Norrisnodestack: add class NodeStack and class Node
 commit | commitdiff | tree
2012-05-14 Brian Norris.gitignore: add *~ files
 commit | commitdiff | tree
2012-05-14 Brian Norrismodel: change constructor assignments to initializer...
commit | commitdiff | tree
2012-05-09 Brian Norrisaction: rename 'node' members to 'treenode'
 commit | commitdiff | tree
2012-05-08 Brian Norrismodel: remove unnecessary "this->"
 commit | commitdiff | tree
2012-05-08 Brian Norrismain/threads: remove excess headers
 commit | commitdiff | tree
2012-05-08 Brian Norrisclockvector: add ClockVector class
 commit | commitdiff | tree
2012-05-08 Brian Norrisaction: split ModelAction off into action.cc
 commit | commitdiff | tree
2012-05-08 Brian Norrismodel: free final list
 commit | commitdiff | tree
2012-05-08 Brian Norrismodel: free threads, thread_map at destruction
 commit | commitdiff | tree
next
C11 Tester Tool Public Repository