projects / model-checker.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker.git
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