projects / model-checker.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
.gitignore: fixup bad merge step
2012-05-21 Brian Norris.gitignore: fixup bad merge step
 commit | commitdiff | tree
2012-05-15 Brian Norrisuserprog: tweak test program to use simple loads/stores
 commit | commitdiff | tree
2012-05-15 Brian Norrislibatomic: place the proper read-value in 'atomic_load...
commit | commitdiff | tree
2012-05-15 Brian Norrislibrace: actually compute the loads and stores
 commit | commitdiff | tree
2012-05-14 Brian Norrisaction: add get_node() accessor
 commit | commitdiff | tree
2012-05-14 Brian Norrisnodestack: remove unnecessary conditional
 commit | commitdiff | tree
2012-05-14 Brian Norrismodel: merge advance_backtracking_state() and get_next_repla...
commit | commitdiff | tree
2012-05-14 Brian Norrismodel: rename check_current_action() local variables
 commit | commitdiff | tree
2012-05-14 Brian Norrisaction: add comparison operator for ModelAction
 commit | commitdiff | tree
2012-05-14 Brian Norrisnodestack: add class NodeStack and class Node
 commit | commitdiff | tree
2012-05-14 Brian Norris.gitignore: add *~ files
 commit | commitdiff | tree
2012-05-14 Brian Norrismodel: change constructor assignments to initializer...
commit | commitdiff | tree
2012-05-09 Brian Norrisaction: rename 'node' members to 'treenode'
 commit | commitdiff | tree
2012-05-08 Brian Norrismodel: remove unnecessary "this->"
 commit | commitdiff | tree
2012-05-08 Brian Norrismain/threads: remove excess headers
 commit | commitdiff | tree
2012-05-08 Brian Norrisclockvector: add ClockVector class
 commit | commitdiff | tree
2012-05-08 Brian Norrisaction: split ModelAction off into action.cc
 commit | commitdiff | tree
2012-05-08 Brian Norrismodel: free final list
 commit | commitdiff | tree
2012-05-08 Brian Norrismodel: free threads, thread_map at destruction
 commit | commitdiff | tree
2012-05-08 Brian Norristree: include cstddef for NULL
 commit | commitdiff | tree
2012-05-08 Brian Norrismodel: change DEBUG() statement to ASSERT()
 commit | commitdiff | tree
2012-05-08 Brian Norrisbugfix - set backtrack events according to an *enabled...
commit | commitdiff | tree
2012-05-08 Brian Norristree: add is_enabled(Thread *)
 commit | commitdiff | tree
2012-05-08 Brian Norristree: revise arguments (use Thread, ModelAction)
 commit | commitdiff | tree
2012-05-08 Brian Norrismain: split main() (and related functions) into main.cc
 commit | commitdiff | tree
2012-05-04 Brian Norrisschedule: fix printf warning (size_t uses %zu)
 commit | commitdiff | tree
2012-05-03 Brian Norristhreads: add parent info + get_parent() method
 commit | commitdiff | tree
2012-05-03 Brian Norrismodel: bugfix - rearrange debug message
 commit | commitdiff | tree
2012-05-03 Brian Norrismodel: move class Backtrack to model.cc
 commit | commitdiff | tree
2012-05-03 Brian Norrisstraighten out header includes, comment on Forward...
commit | commitdiff | tree
2012-05-03 Brian Norrisreplace non-fatal error messages with ASSERT()'s
 commit | commitdiff | tree
2012-05-03 Brian Norrismodel: print replay/divergence information when starting...
commit | commitdiff | tree
2012-05-03 Brian Norrismodel: split printing into print_list() function
 commit | commitdiff | tree
2012-05-02 Brian Norristhreads: don't call the userprogram interface for initial...
commit | commitdiff | tree
2012-05-02 Brian Norriscommon: add ASSERT()
 commit | commitdiff | tree
2012-05-02 Brian Norrismodel: number threads from 0, not 1
 commit | commitdiff | tree
2012-05-02 Brian Norrisuserprog: print current thread ID
 commit | commitdiff | tree
2012-05-02 Brian Norrismodel: add sequence numbers to ModelAction
 commit | commitdiff | tree
2012-05-02 Brian Norrismodel: fixup ModelAction print message
 commit | commitdiff | tree
2012-05-01 Brian Norristhreads: move thread_id_t definition and redefine thrd_t...
commit | commitdiff | tree
2012-05-01 Brian Norrismodel: index thread_map by int, not thread_id_t
 commit | commitdiff | tree
2012-05-01 Brian Norrismodel: change type for ModelChecker::get_id()
 commit | commitdiff | tree
2012-05-01 Brian Norristree: remove tree_t, map thread ids via int, not thread_id_t
 commit | commitdiff | tree
2012-05-01 Brian Norristhreads: add id_to_int() and int_to_id() inline functions
 commit | commitdiff | tree
2012-04-30 Brian Norrismodel: remove braces
 commit | commitdiff | tree
2012-04-30 Brian Norrisclean up header #includes
 commit | commitdiff | tree
2012-04-30 Brian Norrissplit header out to action.h
 commit | commitdiff | tree
2012-04-30 Brian Norristree: fix header for potential multiple inclusions
 commit | commitdiff | tree
2012-04-29 Brian Norrismodel: add is_acquire() and is_release() helper functions
 commit | commitdiff | tree
2012-04-29 Brian Norrismodel: wrap some ModelAction helper functions
 commit | commitdiff | tree
2012-04-27 Brian Norrismalloc: add exception info to function header
 commit | commitdiff | tree
2012-04-27 Brian Norrismodel: backtracking messages are only for debugging
 commit | commitdiff | tree
2012-04-27 Brian Norriscommon: add simple DBG_ENABLED() macros
 commit | commitdiff | tree
2012-04-27 Brian Norristhread: remove dead Thread code
 commit | commitdiff | tree
2012-04-27 Brian Norrismodel: fixup thread ID selection
 commit | commitdiff | tree
2012-04-26 Brian Norrisdemote 'system_thread' to just 'system_context'
 commit | commitdiff | tree
2012-04-26 Brian Norrislibatomic: add atomic_init()
 commit | commitdiff | tree
2012-04-26 Brian Norrisuserprog: print atomic load/store values
 commit | commitdiff | tree
2012-04-26 Brian Norrislibatomic: use 'values' for atomic load/store
 commit | commitdiff | tree
2012-04-26 Brian Norrismodel: bugfix - detect conflicts properly
 commit | commitdiff | tree
2012-04-26 Brian Norrislibatomic: add DBG() calls
 commit | commitdiff | tree
2012-04-26 Brian Norrismodel: bugfix - reset the "current_action" after it...
commit | commitdiff | tree
2012-04-26 Brian Norrislibrace: format DEBUG() prints properly
 commit | commitdiff | tree
2012-04-25 Brian Norrislibrace: add load/store interface for checking data...
commit | commitdiff | tree
2012-04-24 Brian Norrismodel: remove unused definition
 commit | commitdiff | tree
2012-04-24 Brian Norristhreads: allocate Threads in via userMalloc()
 commit | commitdiff | tree
2012-04-24 Brian Norriscommon: introduce userMalloc() and userFree()
 commit | commitdiff | tree
2012-04-24 Brian Norrislibthreads: remove unnecessary 'extern'
 commit | commitdiff | tree
2012-04-24 Brian Norrisrun.sh: add simple 'run' script
 commit | commitdiff | tree
2012-04-24 Brian Norrisuserprog: use typedef'd thrd_start_t
 commit | commitdiff | tree
2012-04-24 Brian Norris.gitignore: add *.so
 commit | commitdiff | tree
2012-04-24 Brian NorrisMakefile: build model checker as shared library (libmodel.so)
 commit | commitdiff | tree
2012-04-24 Brian Norrislib*.h: wrap C headers in `extern "C"'
 commit | commitdiff | tree
2012-04-24 Brian Norrislibthreads: don't create ModelAction for thrd_join()
 commit | commitdiff | tree
2012-04-24 Brian Norrismodel: rename print_trace() -> print_summary(), fixup...
commit | commitdiff | tree
2012-04-24 Brian Norrisschedule: only print when DEBUG is enabled
 commit | commitdiff | tree
2012-04-24 Brian Norristmp (model)
 commit | commitdiff | tree
2012-04-24 Brian Norristhreads: cleanup inconsistencies in memory management
 commit | commitdiff | tree
2012-04-24 Brian Norristhreads: set up Thread to be freed properly
 commit | commitdiff | tree
2012-04-24 Brian Norrisschedule: reset scheduler when thread is removed
 commit | commitdiff | tree
2012-04-24 Brian Norristhreads: don't make direct call into scheduler
 commit | commitdiff | tree
2012-04-24 Brian Norristhreads: save id within class Thread
 commit | commitdiff | tree
2012-04-24 Brian Norristhreads: initialized Thread member variables
 commit | commitdiff | tree
2012-04-24 Brian Norrisunify style for returning pointers
 commit | commitdiff | tree
2012-04-24 Brian Norrismodel: print 'number of executions'
 commit | commitdiff | tree
2012-04-24 Brian Norristhreads: prepare system to loop over many executions
 commit | commitdiff | tree
2012-04-23 Brian Norrisimprove scheduler debugging
 commit | commitdiff | tree
2012-04-23 Brian Norrisschedule: bugfix - set 'current' thread in all cases
 commit | commitdiff | tree
2012-04-23 Brian Norrisschedule: refactor next_thread() for better debug printing
 commit | commitdiff | tree
2012-04-23 Brian Norrisschedule: print debug info
 commit | commitdiff | tree
2012-04-20 Brian Norrismodel: add simple comment
 commit | commitdiff | tree
2012-04-20 Brian Norrismodel: move public functions to private
 commit | commitdiff | tree
2012-04-20 Brian Norrismodel: implement get_next_replay() and advance_backtracking_...
commit | commitdiff | tree
2012-04-20 Brian Norrismodel: implement, use schedule_next_thread()
 commit | commitdiff | tree
2012-04-20 Brian Norrismodel: add prototypes to header
 commit | commitdiff | tree
2012-04-20 Brian Norrismodel: add iteration routines for class Backtrack
 commit | commitdiff | tree
2012-04-20 Brian Norrismodel: include <cstddef>
 commit | commitdiff | tree
2012-04-20 Brian Norrisschedule: replace queue with list
 commit | commitdiff | tree
2012-04-20 Brian Norristhreads: introduce THREAD_ID_T_NONE
 commit | commitdiff | tree
2012-04-20 Brian Norristhreads: remove leftover class 'prototype'
 commit | commitdiff | tree
next
C++11 memory model checker