| 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 |
| 2012-05-02 |
Brian Norris | model: fixup ModelAction print message
|
commit | commitdiff | tree |
| 2012-05-01 |
Brian Norris | threads: move thread_id_t definition and redefine thrd_t...
|
commit | commitdiff | tree |
| 2012-05-01 |
Brian Norris | model: index thread_map by int, not thread_id_t
|
commit | commitdiff | tree |
| 2012-05-01 |
Brian Norris | model: change type for ModelChecker::get_id()
|
commit | commitdiff | tree |
| 2012-05-01 |
Brian Norris | tree: remove tree_t, map thread ids via int, not thread_id_t
|
commit | commitdiff | tree |
| 2012-05-01 |
Brian Norris | threads: add id_to_int() and int_to_id() inline functions
|
commit | commitdiff | tree |
| 2012-04-30 |
Brian Norris | model: remove braces
|
commit | commitdiff | tree |
| 2012-04-30 |
Brian Norris | clean up header #includes
|
commit | commitdiff | tree |
| 2012-04-30 |
Brian Norris | split header out to action.h
|
commit | commitdiff | tree |
| 2012-04-30 |
Brian Norris | tree: fix header for potential multiple inclusions
|
commit | commitdiff | tree |
| 2012-04-29 |
Brian Norris | model: add is_acquire() and is_release() helper functions
|
commit | commitdiff | tree |
| 2012-04-29 |
Brian Norris | model: wrap some ModelAction helper functions
|
commit | commitdiff | tree |
| 2012-04-27 |
Brian Norris | malloc: add exception info to function header
|
commit | commitdiff | tree |
| 2012-04-27 |
Brian Norris | model: backtracking messages are only for debugging
|
commit | commitdiff | tree |
| 2012-04-27 |
Brian Norris | common: add simple DBG_ENABLED() macros
|
commit | commitdiff | tree |
| 2012-04-27 |
Brian Norris | thread: remove dead Thread code
|
commit | commitdiff | tree |
| 2012-04-27 |
Brian Norris | model: fixup thread ID selection
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | demote 'system_thread' to just 'system_context'
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | libatomic: add atomic_init()
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | userprog: print atomic load/store values
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | libatomic: use 'values' for atomic load/store
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | model: bugfix - detect conflicts properly
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | libatomic: add DBG() calls
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | model: bugfix - reset the "current_action" after it...
|
commit | commitdiff | tree |
| 2012-04-26 |
Brian Norris | librace: format DEBUG() prints properly
|
commit | commitdiff | tree |
| 2012-04-25 |
Brian Norris | librace: add load/store interface for checking data...
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | model: remove unused definition
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | threads: allocate Threads in via userMalloc()
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | common: introduce userMalloc() and userFree()
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | libthreads: remove unnecessary 'extern'
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | run.sh: add simple 'run' script
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | userprog: use typedef'd thrd_start_t
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | .gitignore: add *.so
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | Makefile: build model checker as shared library (libmodel.so)
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | lib*.h: wrap C headers in `extern "C"'
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | libthreads: don't create ModelAction for thrd_join()
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | model: rename print_trace() -> print_summary(), fixup...
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | schedule: only print when DEBUG is enabled
|
commit | commitdiff | tree |
| next |
projects / model-checker.git / search