| 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 | 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 |
| 2012-04-24 |
Brian Norris | tmp (model)
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | threads: cleanup inconsistencies in memory management
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | threads: set up Thread to be freed properly
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | schedule: reset scheduler when thread is removed
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | threads: don't make direct call into scheduler
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | threads: save id within class Thread
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | threads: initialized Thread member variables
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | unify style for returning pointers
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | model: print 'number of executions'
|
commit | commitdiff | tree |
| 2012-04-24 |
Brian Norris | threads: prepare system to loop over many executions
|
commit | commitdiff | tree |
| 2012-04-23 |
Brian Norris | improve scheduler debugging
|
commit | commitdiff | tree |
| 2012-04-23 |
Brian Norris | schedule: bugfix - set 'current' thread in all cases
|
commit | commitdiff | tree |
| 2012-04-23 |
Brian Norris | schedule: refactor next_thread() for better debug printing
|
commit | commitdiff | tree |
| 2012-04-23 |
Brian Norris | schedule: print debug info
|
commit | commitdiff | tree |
| 2012-04-20 |
Brian Norris | model: add simple comment
|
commit | commitdiff | tree |
| 2012-04-20 |
Brian Norris | model: move public functions to private
|
commit | commitdiff | tree |
| 2012-04-20 |
Brian Norris | model: implement get_next_replay() and advance_backtracking_...
|
commit | commitdiff | tree |
| 2012-04-20 |
Brian Norris | model: implement, use schedule_next_thread()
|
commit | commitdiff | tree |
| next |
projects / c11tester.git / search