projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cade2f) | patch
tree: remove tree_t, map thread ids via int, not thread_id_t
authorBrian Norris <banorris@uci.edu>
Tue, 1 May 2012 20:16:09 +0000 (13:16 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 1 May 2012 20:16:09 +0000 (13:16 -0700)
commit9f1c792a01ecbc86624f4c16d0a2bc763485a590
tree0eb252afa5e7c951e0801bd50c8f41a9585d369ctree | snapshot
parent3cade2fadc95d3dcbc37f5e6c4da4b8e9b559c23commit | diff
tree: remove tree_t, map thread ids via int, not thread_id_t

In the underlying structure of the TreeNode, use 'int' as a set and list key,
not 'thread_id_t'.
tree.cc diff | blob | history
tree.h diff | blob | history
C++11 memory model checker