| 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 |
| 2012-05-14 |
Brian Norris | model: merge advance_backtracking_state() and get_next_repla...
|
commit | commitdiff | tree |
| 2012-05-14 |
Brian Norris | model: rename check_current_action() local variables
|
commit | commitdiff | tree |
| 2012-05-14 |
Brian Norris | action: add comparison operator for ModelAction
|
commit | commitdiff | tree |
| 2012-05-14 |
Brian Norris | nodestack: add class NodeStack and class Node
|
commit | commitdiff | tree |
| 2012-05-14 |
Brian Norris | .gitignore: add *~ files
|
commit | commitdiff | tree |
| 2012-05-14 |
Brian Norris | model: change constructor assignments to initializer...
|
commit | commitdiff | tree |
| 2012-05-09 |
Brian Norris | action: rename 'node' members to 'treenode'
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | model: remove unnecessary "this->"
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | main/threads: remove excess headers
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | clockvector: add ClockVector class
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | action: split ModelAction off into action.cc
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | model: free final list
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | model: free threads, thread_map at destruction
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | tree: include cstddef for NULL
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | model: change DEBUG() statement to ASSERT()
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | bugfix - set backtrack events according to an *enabled...
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | tree: add is_enabled(Thread *)
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | tree: revise arguments (use Thread, ModelAction)
|
commit | commitdiff | tree |
| 2012-05-08 |
Brian Norris | main: split main() (and related functions) into main.cc
|
commit | commitdiff | tree |
| 2012-05-04 |
Brian Norris | schedule: fix printf warning (size_t uses %zu)
|
commit | commitdiff | tree |
| 2012-05-03 |
Brian Norris | threads: add parent info + get_parent() method
|
commit | commitdiff | tree |
| 2012-05-03 |
Brian Norris | model: bugfix - rearrange debug message
|
commit | commitdiff | tree |
| 2012-05-03 |
Brian Norris | model: move class Backtrack to model.cc
|
commit | commitdiff | tree |
| 2012-05-03 |
Brian Norris | straighten out header includes, comment on Forward...
|
commit | commitdiff | tree |
| 2012-05-03 |
Brian Norris | replace non-fatal error messages with ASSERT()'s
|
commit | commitdiff | tree |
| 2012-05-03 |
Brian Norris | model: print replay/divergence information when starting...
|
commit | commitdiff | tree |
| 2012-05-03 |
Brian Norris | model: split printing into print_list() function
|
commit | commitdiff | tree |
| 2012-05-02 |
Brian Norris | threads: don't call the userprogram interface for initial...
|
commit | commitdiff | tree |
| 2012-05-02 |
Brian Norris | common: add ASSERT()
|
commit | commitdiff | tree |
| 2012-05-02 |
Brian Norris | model: number threads from 0, not 1
|
commit | commitdiff | tree |
| 2012-05-02 |
Brian Norris | userprog: print current thread ID
|
commit | commitdiff | tree |
| 2012-05-02 |
Brian Norris | model: add sequence numbers to ModelAction
|
commit | commitdiff | tree |
| next |
projects / model-checker.git / search