projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe5598b) | patch
reformat some doxygen comments, remove newlines
authorBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 20:56:15 +0000 (13:56 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 22:25:38 +0000 (15:25 -0700)
commitdd0190cef49ef760f8d86a6e92dd6eeb07197854
tree5eda7692291e9945749cbbfdae3429d6fe552076tree | snapshot
parentfe5598b01eb1a72a708a67a1a004149b8bcbc83acommit | diff
reformat some doxygen comments, remove newlines

Avoiding newlines between a comment and its function header makes it more
obvious which function the comment belongs to.
clockvector.cc diff | blob | history
cyclegraph.cc diff | blob | history
datarace.cc diff | blob | history
main.cc diff | blob | history
mymemory.cc diff | blob | history
mymemory.h diff | blob | history
snapshot-interface.cc diff | blob | history
C++11 memory model checker