projects / model-checker.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
action: improve "unintialized load" bug print
[model-checker.git] / test / userprog.c
2012-12-19 Brian Norristest: don't relay on thrd_current() returning an int blob | commitdiff | raw
2012-10-29 Brian Norristests: use signed printf format blob | commitdiff | raw | diff to current
2012-10-09 Brian Norristests: use <stdatomic.h> blob | commitdiff | raw | diff to current
2012-10-09 Brian Norrismove libthreads.h -> include/threads.h blob | commitdiff | raw | diff to current
2012-10-09 Brian Norrisuser_main: pass remaining arguments to the user program blob | commitdiff | raw | diff to current
2012-08-02 Brian NorrisMerge branch 'brian' blob | commitdiff | raw | diff to current
2012-08-02 Brian Norrisuserprog: move to 'test/' directory blob | commitdiff | raw | diff to current
C++11 memory model checker