projects / model-checker.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
C++: cast result of malloc
[model-checker.git] / model.c
2012-03-13 Brian NorrisC++: cast result of malloc blob | commitdiff | raw
2012-03-13 Brian Norristerminology - use 'thread id' instead of 'thread index' blob | commitdiff | raw | diff to current
2012-03-13 Brian Norrismodel: add thread ID assignment function blob | commitdiff | raw | diff to current
2012-03-12 Brian Norrismodel: move 'main_thread' to model_checker struct blob | commitdiff | raw | diff to current
2012-03-12 Brian Norrismodel: add global model_checker initialization blob | commitdiff | raw | diff to current
2012-03-10 Brian Norrismodel: add stub model.[hc] files blob | commitdiff | raw | diff to current
C++11 memory model checker