projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa66b93) | patch
nodestack: don't use uint32_t
authorBrian Norris <banorris@uci.edu>
Wed, 22 Aug 2012 22:56:13 +0000 (15:56 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 23 Aug 2012 01:36:32 +0000 (18:36 -0700)
commit061b34a5d84d00df340550d75f664be5e174276c
tree984df6b3f437754250c18258c1c133a7cba3f046tree | snapshot
parentfa66b938f4e55cc23d84153614387bc4f76fdf2acommit | diff
nodestack: don't use uint32_t

uint32_t (and similar) should only be used when an exact field-size is needed
across platforms with different integer sizes. In this case, we only need an
unsigned type, so just use unsigned int.
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker