projects / model-checker.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: bugfix - reset the "current_action" after it has been processed
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
2012-04-19 Brian Norrismodel: stash each backtrack event in ModelChecker:...
commit | commitdiff | tree
2012-04-19 Brian Norrismodel: add class Backtrack
 commit | commitdiff | tree
2012-04-19 Brian Norrismodel: create 'action_list_t' typedef
 commit | commitdiff | tree
2012-04-19 Brian Norrismodel: convert 'action_trace' to pointer
 commit | commitdiff | tree
2012-04-19 Brian Norrismodel: add TreeNode debugging information to print_trace()
 commit | commitdiff | tree
2012-04-19 Brian Norrismodel: implement get_last_conflict()
 commit | commitdiff | tree
2012-04-19 Brian Norrismodel: flesh out set_backtracking()
 commit | commitdiff | tree
2012-04-19 Brian Norrismodel: flesh out check_current_action()
 commit | commitdiff | tree
2012-04-19 Brian Norrismodel: add accessors for ModelAction variables
 commit | commitdiff | tree
2012-04-19 Brian Norristree: bugfix - fix backtrack status
 commit | commitdiff | tree
2012-04-19 Brian Norristree: don't use 'NULL' for a thread ID
 commit | commitdiff | tree
2012-04-18 Brian Norrislibthreads: only record 'final' even for thrd_join
 commit | commitdiff | tree
2012-04-18 Brian Norrismodel: use TreeNode()
 commit | commitdiff | tree
2012-04-18 Brian Norristree: fix invalid free
 commit | commitdiff | tree
2012-04-18 Brian Norristree: add class TreeNode
 commit | commitdiff | tree
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h
 commit | commitdiff | tree
2012-04-17 Brian Norristhreads/model: move switch_to_master from class Thread...
commit | commitdiff | tree
2012-04-16 Brian Norrisrename binary: libthreads -> model
 commit | commitdiff | tree
2012-04-16 Brian Norrislibthreads: split into libthreads and threads
 commit | commitdiff | tree
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal...
commit | commitdiff | tree
2012-04-16 Brian NorrisMakefile: add debug compilation flag
 commit | commitdiff | tree
2012-04-10 Brian Norrisscheduler: kill 'replaceable' scheduler
 commit | commitdiff | tree
2012-04-10 Brian Norrislibthreads: print out trace at end of execution
 commit | commitdiff | tree
2012-04-10 Brian Norrismodel: add print_trace() function
 commit | commitdiff | tree
2012-04-10 Brian Norrislibthreads: perform 'model checking' when moving to...
commit | commitdiff | tree
2012-04-10 Brian Norrisuserprog: use both atomic loads and stores
 commit | commitdiff | tree
2012-04-10 Brian Norrismodel: add check_current_action() function
 commit | commitdiff | tree
2012-04-10 Brian Norrislibthreads: thread_join: return 'int' as status
 commit | commitdiff | tree
2012-04-10 Brian Norristhreads_internal: pass the current 'action' to the...
commit | commitdiff | tree
2012-04-10 Brian Norrismodel: add class ModelAction
 commit | commitdiff | tree
2012-04-10 Brian Norristhreads_internal: add 'thread_switch_to_master()' internally
 commit | commitdiff | tree
2012-04-05 Brian Norrislibthreads: make typedef for 'thread_id_t'
 commit | commitdiff | tree
2012-04-05 Brian Norrisuse my{Malloc,Free} in model-checking code
 commit | commitdiff | tree
2012-04-05 Brian Norrismalloc: override 'new' and 'delete' globally
 commit | commitdiff | tree
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree()
 commit | commitdiff | tree
2012-04-05 Brian Norriscommon: rename "CONFIG" to "COMMON"
 commit | commitdiff | tree
2012-03-15 Brian Norrisschedule: use STL 'queue' instead of 'list'
 commit | commitdiff | tree
2012-03-15 Brian Norrisremove unnecessary #includes
 commit | commitdiff | tree
2012-03-15 Brian Norrisschedule: make 'current' a private member of the scheduler
 commit | commitdiff | tree
2012-03-15 Brian Norrisschedule: use STL list class instead of custom queue
 commit | commitdiff | tree
2012-03-14 Brian Norrisrename other *.c to *.cc
 commit | commitdiff | tree
2012-03-14 Brian Norrisschedule: move schedule.c --> schedule.cc
 commit | commitdiff | tree
2012-03-14 Brian Norrisschedule: create 'class Scheduler' with implementation...
commit | commitdiff | tree
2012-03-14 Brian Norrislibthreads: delete allocated object
 commit | commitdiff | tree
2012-03-14 Brian Norrismodel: use 'this' uniformly
 commit | commitdiff | tree
2012-03-14 Brian Norrismodel: move model.c --> model.cc
 commit | commitdiff | tree
2012-03-14 Brian Norrismodel: change 'struct model_checker' to 'class ModelChecker'
 commit | commitdiff | tree
2012-03-14 Brian NorrisMakefile: switch to C++ builds
 commit | commitdiff | tree
2012-03-13 Brian Norrisstricter typing of function pointers for makecontext()
 commit | commitdiff | tree
2012-03-13 Brian NorrisC++: don't use C++ keywords as names (this, new, etc.)
 commit | commitdiff | tree
2012-03-13 Brian NorrisC++: cast result of malloc
 commit | commitdiff | tree
2012-03-13 Brian Norristerminology - use 'thread id' instead of 'thread index'
 commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: use model-checker's thread ID assignment
 commit | commitdiff | tree
2012-03-13 Brian Norrismodel: add thread ID assignment function
 commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: separate private functions from user interface
 commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: perform all scheduling/model-checking from...
commit | commitdiff | tree
2012-03-13 Brian Norrislibthreads: add THREAD_* states
 commit | commitdiff | tree
2012-03-12 Brian Norrisschedule: exit if we run out of linked-list nodes
 commit | commitdiff | tree
2012-03-12 Brian Norrismodel: move 'main_thread' to model_checker struct
 commit | commitdiff | tree
2012-03-12 Brian Norrismove 'current thread' details
 commit | commitdiff | tree
2012-03-12 Brian Norrislibthreads: utilize new model_checker framework
 commit | commitdiff | tree
next
C++11 memory model checker