librace: add load/store interface for checking data races
[c11tester.git] / Makefile
2012-04-25 Brian Norrislibrace: add load/store interface for checking data...
2012-04-24 Brian NorrisMakefile: build model checker as shared library (libmod...
2012-04-18 Brian Norristree: add class TreeNode
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h
2012-04-16 Brian Norrisrename binary: libthreads -> model
2012-04-16 Brian Norrislibthreads: split into libthreads and threads
2012-04-16 Brian NorrisMakefile: add debug compilation flag
2012-04-10 Brian Norristhreads_internal: add 'thread_switch_to_master()' inter...
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree()
2012-03-14 Brian Norrisrename other *.c to *.cc
2012-03-14 Brian Norrisschedule: move schedule.c -->
2012-03-14 Brian Norrismodel: move model.c -->
2012-03-14 Brian NorrisMakefile: switch to C++ builds
2012-03-10 Brian Norrismodel: add stub model.[hc] files
2012-03-10 Brian Norrisuserprog: separate test 'program' out to userprog.c
2012-03-10 Brian Norrislibatomic: add stub atomic lib header/source
2012-03-10 Brian NorrisMakefile: turn on all warnings
2012-03-10 Brian NorrisMakefile: use ${CC} instead of hardcoding gcc
2012-03-10 Brian Norriscommon.h: move common code (non-user) to header
2012-03-09 Brian Norrisschedule: add scheduler, thread_yield(), etc.
2012-03-09 Brian Norrisadd "make tags" (using `ctags`)
2012-03-08 Brian Norrislibthreads: create header file
2012-03-08 Brian Norrisinitial commit