model: move model.c --> model.cc
[model-checker.git] / libatomic.c
2012-03-10 Brian Norrislibatomic: add stub atomic lib header/source