projects
/
model-checker.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
snapshot: refactor the fork-based stack initialization
2012-06-14
Brian Norris
snapshot: refactor the fork-based stack initialization
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: remove unused 'uc_link' context
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshotimp: reindent file
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: don't put entire if (...) on one line
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: define macros with type size_t
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: use (void *) instead of (char *)
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: rearrange #if a little
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: remove extra blank lines
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: make other file-scope functions static
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: don't export page-aligning functions
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
rename struct Snapshot_t => struct Snapshot
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: don't declare sTheRecord in both #if and...
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: remove 'extern "C"' block
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot-interface: don't export SnapshotGlobalSegments()
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: replace DumpIntoLog() with lighter-weight...
commit
|
commitdiff
|
tree
2012-06-14
Brian Norris
snapshot: move comments to the right place
commit
|
commitdiff
|
tree
2012-06-07
Brian Norris
libatomic: perform write before context switch
commit
|
commitdiff
|
tree
2012-06-06
Brian Norris
.gitignore: ignore docs directory
commit
|
commitdiff
|
tree
2012-06-06
Brian Norris
action: fix some comments
commit
|
commitdiff
|
tree
2012-06-06
Brian Norris
Makefile: have `mrclean' depend on `clean'
commit
|
commitdiff
|
tree
2012-06-05
Brian Norris
snapshot: zero out entire siginfo_t
commit
|
commitdiff
|
tree
2012-05-31
Brian Norris
snapshot: remove duplicate definition of finalize()
commit
|
commitdiff
|
tree
2012-05-31
Brian Norris
use EXIT_SUCCESS and EXIT_FAILURE
commit
|
commitdiff
|
tree
2012-05-31
Brian Norris
userprog: use atomics allocated on "heap"
commit
|
commitdiff
|
tree
2012-05-30
Brian Norris
snapshot-interface: replace Subramanian's /proc/*/maps...
commit
|
commitdiff
|
tree
2012-05-30
Brian Norris
node: do not use static member variable
commit
|
commitdiff
|
tree
2012-05-30
Brian Norris
snapshot: move declarations to the right interface...
commit
|
commitdiff
|
tree
2012-05-30
Brian Norris
snapshot: rename MyFuncPtr to VoidFuncPtr
commit
|
commitdiff
|
tree
2012-05-30
Brian Norris
snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT
commit
|
commitdiff
|
tree
2012-05-29
Brian Norris
snapshot-interface: don't redefine PAGESIZE
commit
|
commitdiff
|
tree
2012-05-29
Brian Norris
snapshot-interface: bugfix - fixup array indeces
commit
|
commitdiff
|
tree
2012-05-29
Brian Norris
nodestack: push 'create_cv' functionality responsibility...
commit
|
commitdiff
|
tree
2012-05-29
Brian Norris
model: thread creation establishes synchronization
commit
|
commitdiff
|
tree
2012-05-29
Brian Norris
threads: add 'creation' information
commit
|
commitdiff
|
tree
2012-05-29
Brian Norris
libthreads: pass 'class Thread' object as ModelAction...
commit
|
commitdiff
|
tree
2012-05-28
Brian Norris
model: move bookkeeping to add_action_to_lists()
commit
|
commitdiff
|
tree
2012-05-28
Brian Norris
model: set 'last action in thread' as an action's parent
commit
|
commitdiff
|
tree
2012-05-28
Brian Norris
model: log the last action in each thread
commit
|
commitdiff
|
tree
2012-05-28
Brian Norris
nodestack: compute parent ModelAction externally
commit
|
commitdiff
|
tree
2012-05-28
Brian Norris
clockvector: fixup initialization
commit
|
commitdiff
|
tree
2012-05-28
Brian Norris
nodestack: construct Node with 'number of threads'...
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
model: add obj_thrd_map
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
Makefile: add 'make debug'
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
action: enhance print() message
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
nodestack: create ModelAction clock vectors
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
action: add create_cv() and read_from()
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
clockvector: bugfix - fixup vector initialization,...
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
model: add get_num_threads()
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
clockvector: fixup print message
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
clockvector: add print() method
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
action: add clock vector field, destructor
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
action: use proper location comparison
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
clockvector: add snapshotting new/delete operators
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
rename snapshotStack -> SnapshotStack
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
snapshot: remove #include, use snapshot_id typedef
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
snapshot-interface: cleanup interface header
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
model: remove scheduler comment
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
model: don't clear thread_map (snapshot)
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
model: don't reset action_trace manually
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
main: take/revert snapshots
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
model: make thread_map heap allocated
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
action: add all action_lists to snapshot...
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
common: remove unneeded macros/includes
commit
|
commitdiff
|
tree
2012-05-26
Brian Norris
threads: fixup stack allocation (snapshotting...)
commit
|
commitdiff
|
tree
2012-05-25
Brian Norris
snapshot: remove time information
commit
|
commitdiff
|
tree
2012-05-25
Brian Norris
snapshot: fix indentation
commit
|
commitdiff
|
tree
2012-05-25
Brian Norris
snapshot: use %p for printing pointers
commit
|
commitdiff
|
tree
2012-05-25
Brian Norris
more allocation fixes (use snapshotting)
commit
|
commitdiff
|
tree
2012-05-25
Brian Norris
nodestack: bugfix - fixup allocators for vectors
commit
|
commitdiff
|
tree
2012-05-25
Brian Norris
add more classes to snapshotting region
commit
|
commitdiff
|
tree
2012-05-25
Brian Norris
mymemory: use the right *&^% allocator!!
commit
|
commitdiff
|
tree
2012-05-24
Brian Norris
snapshot: fix EOL spaces
commit
|
commitdiff
|
tree
2012-05-24
Brian Norris
snapshot: use perror() on failed library calls
commit
|
commitdiff
|
tree
2012-05-24
Brian Norris
mymemory: define the "opposite" of MEMALLOC
commit
|
commitdiff
|
tree
2012-05-24
Brian Norris
mymemory: include some spacing
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
fixup EOL whitespace
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
snapshot: use 'SSDEBUG', not 'DEBUG'
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
model: remove incorrect #undef
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
userprog: use modulo
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
libthreads: fix thrd_create() to use typedef'd start_routine
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
fix indentation + spacing, esp. for MEMALLOC macro
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
mymemory: fix indentation, spacing
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
nodestack: allocate from "mymemory" region
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
Merge commit: branch 'work'
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
snapshot: remove references to libmymemory.so
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
snapshot: move local defines after #includes
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
main: clear out redundant comments
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
common: disable debugging
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
run.sh: provide gdb option
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
Makefile: only build a single shared library
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
Makefile: clean up Makefile
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
Makfile: remove MEMCPPFLAGS, more uniform command format
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
main: what are these variables for? (subramanian...)
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
run.sh: don't touch my run script subramanian
commit
|
commitdiff
|
tree
2012-05-21
Brian Norris
Makfile: 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 Norris
action: neuter the "same_var" function for now...
commit
|
commitdiff
|
tree
2012-05-15
Brian Norris
model: remove free_action_list() function
commit
|
commitdiff
|
tree
2012-05-15
Brian Norris
model: remove class Backtrack
commit
|
commitdiff
|
tree
2012-05-15
Brian Norris
tree: kill class TreeNode
commit
|
commitdiff
|
tree
next