| 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-14 |
Subramanian Ganapathy | Removing comment asking to fix fork(), has been fixed now
|
commit | commitdiff | tree |
| 2012-06-14 |
Subramanian Ganapathy | fixing calloc(), fix Makefile
|
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-31 |
Subramanian Ganapathy | Adding fixes for the fork based implementation, also...
|
commit | commitdiff | tree |
| 2012-05-30 |
Brian Demsky | check in message
|
commit | commitdiff | tree |
| 2012-05-30 |
Brian Norris | snapshot-interface: replace Subramanian's /proc/*/maps...
|
commit | commitdiff | tree |
| 2012-05-30 |
Brian Demsky | fix bug...this is another evil one...
|
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 |
| 2012-05-15 |
Brian Norris | model: replace TreeNode with NodeStack
|
commit | commitdiff | tree |
| 2012-05-15 |
Brian Norris | userprog: tweak test program to use simple loads/stores
|
commit | commitdiff | tree |
| 2012-05-15 |
Brian Norris | libatomic: place the proper read-value in 'atomic_load...
|
commit | commitdiff | tree |
| 2012-05-15 |
Brian Norris | librace: actually compute the loads and stores
|
commit | commitdiff | tree |
| 2012-05-14 |
Brian Norris | action: add get_node() accessor
|
commit | commitdiff | tree |
| 2012-05-14 |
Brian Norris | nodestack: remove unnecessary conditional
|
commit | commitdiff | tree |
| next |
projects / model-checker.git / search