projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5268506) | patch
Generalizing the implementation of lib/clock_gettime.c so that it can always be compiled.
authorTim King <taking@google.com>
Mon, 1 Feb 2016 19:28:33 +0000 (11:28 -0800)
committerTim King <taking@google.com>
Mon, 1 Feb 2016 19:28:33 +0000 (11:28 -0800)
commit5b9cbe12ca8a9c0058e7bdf993b74fc45f1300d2
treeb37ed200647a9af8f6b492fc9b83d83eaf25d04dtree
parent52685068705546798b0a4d8204b10b848213975acommit | diff
Generalizing the implementation of lib/clock_gettime.c so that it can always be compiled.
src/lib/clock_gettime.c diff | blob | history