| 2012-07-07 |
Brian Norris | action: support ATOMIC_INIT
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | threads: add per-thread "return" values for 'model...
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | nodestack: build 'may_read_from' out of constant ModelActions
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | nodestack: action_set_t: replace STL 'set' with 'list'
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | trivial changes
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | add more const qualifiers
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | model: make set_current_action() private
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | datarace: remove EOL spaces
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | datarace/clockvector: switch 'clocks' to use 'unsigned...
|
commit | commitdiff | tree |
| 2012-07-06 |
Brian Norris | clock: add modelclock_t typedef, use 'unsigned int'
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | Merge branch 'brian'
|
commit | commitdiff | tree |
| 2012-07-03 |
Subramanian Ganapathy | Adding relevant comments for fork based implementation.
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | Makefile: compile *.cc separately
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | nodestack: revert may_read_from to a normal member...
|
commit | commitdiff | tree |
| 2012-07-03 |
Brian Norris | action: add {get,set}_value(), assign default value
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | add documentation
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | nodestack: only create may_read_from sets for read...
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | nodestack: re-associate ModelAction/Node relationship
|
commit | commitdiff | tree |
| 2012-06-25 |
Brian Norris | nodestack: add Node::get_parent() function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: make print_list() into a static C function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: make comment more accurate
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | action: add const qualifier
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | clockvector: add const qualifiers
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | clockvector: add documentation
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | Merge branch 'sandbox' (remove finalize())
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | snapshot: switch back to mprotect-based snapshotting
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: build up 'may_read_from' set
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | model: add build_reads_from_past() function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | action: add happens_before() function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | clockvector: fix 'happens_before', change name to ...
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | action: add 'get_cv()' accessor function
|
commit | commitdiff | tree |
| 2012-06-21 |
Brian Norris | nodestack: add 'may_read_from' set
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | nodestack: don't perform linear search to check if...
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | action: add const qualifiers
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | action: replace condition check with ASSERT()
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | nodestack/model: refactor explore_action(), change...
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | nodestack: more documentation
|
commit | commitdiff | tree |
| 2012-06-19 |
Brian Norris | cyclegraph: make this compile...
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | Doxyfile: exclude malloc.c
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | fixup some doc wording
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | add more documentation
|
commit | commitdiff | tree |
| 2012-06-15 |
Brian Norris | Makefile: force `make docs' to depend on all source...
|
commit | commitdiff | tree |
| 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-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 |
| next |
projects / model-checker.git / search