projects / model-checker.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker.git
2012-04-20 Brian Norrismodel: move public functions to private commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: implement get_next_replay() and advance_backtrac... commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: implement, use schedule_next_thread() commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: add prototypes to header commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: add iteration routines for class Backtrack commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: include <cstddef> commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrisschedule: replace queue with list commit | commitdiff | tree | snapshot
2012-04-20 Brian Norristhreads: introduce THREAD_ID_T_NONE commit | commitdiff | tree | snapshot
2012-04-20 Brian Norristhreads: remove leftover class 'prototype' commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: stash each backtrack event in ModelChecker:... commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: add class Backtrack commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: create 'action_list_t' typedef commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: convert 'action_trace' to pointer commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: add TreeNode debugging information to print_trace() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: implement get_last_conflict() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: flesh out set_backtracking() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: flesh out check_current_action() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: add accessors for ModelAction variables commit | commitdiff | tree | snapshot
2012-04-19 Brian Norristree: bugfix - fix backtrack status commit | commitdiff | tree | snapshot
2012-04-19 Brian Norristree: don't use 'NULL' for a thread ID commit | commitdiff | tree | snapshot
2012-04-18 Brian Norrislibthreads: only record 'final' even for thrd_join commit | commitdiff | tree | snapshot
2012-04-18 Brian Norrismodel: use TreeNode() commit | commitdiff | tree | snapshot
2012-04-18 Brian Norristree: fix invalid free commit | commitdiff | tree | snapshot
2012-04-18 Brian Norristree: add class TreeNode commit | commitdiff | tree | snapshot
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h commit | commitdiff | tree | snapshot
2012-04-17 Brian Norristhreads/model: move switch_to_master from class Thread... commit | commitdiff | tree | snapshot
2012-04-16 Brian Norrisrename binary: libthreads -> model commit | commitdiff | tree | snapshot
2012-04-16 Brian Norrislibthreads: split into libthreads and threads commit | commitdiff | tree | snapshot
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal... commit | commitdiff | tree | snapshot
2012-04-16 Brian NorrisMakefile: add debug compilation flag commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrisscheduler: kill 'replaceable' scheduler commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrislibthreads: print out trace at end of execution commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrismodel: add print_trace() function commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrislibthreads: perform 'model checking' when moving to... commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrisuserprog: use both atomic loads and stores commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrismodel: add check_current_action() function commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrislibthreads: thread_join: return 'int' as status commit | commitdiff | tree | snapshot
2012-04-10 Brian Norristhreads_internal: pass the current 'action' to the... commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrismodel: add class ModelAction commit | commitdiff | tree | snapshot
2012-04-10 Brian Norristhreads_internal: add 'thread_switch_to_master()' inter... commit | commitdiff | tree | snapshot
2012-04-05 Brian Norrislibthreads: make typedef for 'thread_id_t' commit | commitdiff | tree | snapshot
2012-04-05 Brian Norrisuse my{Malloc,Free} in model-checking code commit | commitdiff | tree | snapshot
2012-04-05 Brian Norrismalloc: override 'new' and 'delete' globally commit | commitdiff | tree | snapshot
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree() commit | commitdiff | tree | snapshot
2012-04-05 Brian Norriscommon: rename "CONFIG" to "COMMON" commit | commitdiff | tree | snapshot
2012-03-15 Brian Norrisschedule: use STL 'queue' instead of 'list' commit | commitdiff | tree | snapshot
2012-03-15 Brian Norrisremove unnecessary #includes commit | commitdiff | tree | snapshot
2012-03-15 Brian Norrisschedule: make 'current' a private member of the scheduler commit | commitdiff | tree | snapshot
2012-03-15 Brian Norrisschedule: use STL list class instead of custom queue commit | commitdiff | tree | snapshot
2012-03-14 Brian Norrisrename other *.c to *.cc commit | commitdiff | tree | snapshot
2012-03-14 Brian Norrisschedule: move schedule.c --> schedule.cc commit | commitdiff | tree | snapshot
2012-03-14 Brian Norrisschedule: create 'class Scheduler' with implementation... commit | commitdiff | tree | snapshot
2012-03-14 Brian Norrislibthreads: delete allocated object commit | commitdiff | tree | snapshot
2012-03-14 Brian Norrismodel: use 'this' uniformly commit | commitdiff | tree | snapshot
2012-03-14 Brian Norrismodel: move model.c --> model.cc commit | commitdiff | tree | snapshot
2012-03-14 Brian Norrismodel: change 'struct model_checker' to 'class ModelChe... commit | commitdiff | tree | snapshot
2012-03-14 Brian NorrisMakefile: switch to C++ builds commit | commitdiff | tree | snapshot
2012-03-13 Brian Norrisstricter typing of function pointers for makecontext() commit | commitdiff | tree | snapshot
2012-03-13 Brian NorrisC++: don't use C++ keywords as names (this, new, etc.) commit | commitdiff | tree | snapshot
2012-03-13 Brian NorrisC++: cast result of malloc commit | commitdiff | tree | snapshot
2012-03-13 Brian Norristerminology - use 'thread id' instead of 'thread index' commit | commitdiff | tree | snapshot
2012-03-13 Brian Norrislibthreads: use model-checker's thread ID assignment commit | commitdiff | tree | snapshot
2012-03-13 Brian Norrismodel: add thread ID assignment function commit | commitdiff | tree | snapshot
2012-03-13 Brian Norrislibthreads: separate private functions from user interface commit | commitdiff | tree | snapshot
2012-03-13 Brian Norrislibthreads: perform all scheduling/model-checking from... commit | commitdiff | tree | snapshot
2012-03-13 Brian Norrislibthreads: add THREAD_* states commit | commitdiff | tree | snapshot
2012-03-12 Brian Norrisschedule: exit if we run out of linked-list nodes commit | commitdiff | tree | snapshot
2012-03-12 Brian Norrismodel: move 'main_thread' to model_checker struct commit | commitdiff | tree | snapshot
2012-03-12 Brian Norrismove 'current thread' details commit | commitdiff | tree | snapshot
2012-03-12 Brian Norrislibthreads: utilize new model_checker framework commit | commitdiff | tree | snapshot
2012-03-12 Brian Norrismodel: add global model_checker initialization commit | commitdiff | tree | snapshot
2012-03-12 Brian Norrisschedule: add replaceable scheduler struct commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrismodel: add stub model.[hc] files commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrisuserprog: separate test 'program' out to userprog.c commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrislibatomic: add stub atomic lib header/source commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrislibthreads: use 'void' in argument list commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrislibthreads: export thread_yield() commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrisschedule: return next thread pointer directly commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrisschedule: include libthreads.h commit | commitdiff | tree | snapshot
2012-03-10 Brian NorrisMakefile: turn on all warnings commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrislibthreads: include schedule.h (previous mistake...) commit | commitdiff | tree | snapshot
2012-03-10 Brian NorrisMakefile: use ${CC} instead of hardcoding gcc commit | commitdiff | tree | snapshot
2012-03-10 Brian Norriscommon.h: move common code (non-user) to header commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrislibthreads: add thread_current() function commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrislibthreads: remove unused codepath commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrislibthreads: cleanup startup/exit functions commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrismodify "user program" commit | commitdiff | tree | snapshot
2012-03-10 Brian Norrisschedule: set thread to NULL when there is no next... commit | commitdiff | tree | snapshot
2012-03-09 Brian Norrisreformat DEBUG messages commit | commitdiff | tree | snapshot
2012-03-09 Brian Norrislibthreads: export thread_join() in header commit | commitdiff | tree | snapshot
2012-03-09 Brian Norrislibthreads: merge thread_create() and thread_start() commit | commitdiff | tree | snapshot
2012-03-09 Brian Norrisschedule: add scheduler, thread_yield(), etc. commit | commitdiff | tree | snapshot
2012-03-09 Brian Norrislibthreads: fixups commit | commitdiff | tree | snapshot
2012-03-09 Brian Norrislibthreads: cleanup main thread initialization commit | commitdiff | tree | snapshot
2012-03-09 Brian Norrisadd "make tags" (using `ctags`) commit | commitdiff | tree | snapshot
2012-03-08 Brian Norrislibthreads: create header file commit | commitdiff | tree | snapshot
2012-03-08 Brian Norrislibthreads: remove superfluous code commit | commitdiff | tree | snapshot
2012-03-08 Brian Norrisadd .gitignore commit | commitdiff | tree | snapshot
2012-03-08 Brian Norrisinitial commit commit | commitdiff | tree | snapshot
C++11 memory model checker