projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 118a914) | patch
snapshot: combine public interfaces
authorBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 02:31:38 +0000 (18:31 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 3 Jan 2013 03:12:03 +0000 (19:12 -0800)
commit3b08bb3248c8f63fc1c54da23da471cab0fe7239
tree6dd2c0b87cb4303e963e2d4a59f1e9ee82eff4e4tree | snapshot
parent118a914b24362a958656f3c23016266b4bf20bf0commit | diff
snapshot: combine public interfaces

Implement the public "API" interfaces once, with separate calls made out
to "fork_*" and "mprotect_*" versions. This should make things a little
clearer, and potentially remove the #if's eventually.
snapshot.cc diff | blob | history
C++11 memory model checker