projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48653e7) | patch
Better support for building with mingw64; thanks to Nicolas Roche @ Altran for the...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 11 Apr 2014 19:30:31 +0000 (15:30 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 11 Apr 2014 19:30:31 +0000 (15:30 -0400)
commitd8e31379256a8fc0c6d7993e42fc94a9dc35f4ce
treed457038cdf38ab3a7ca02fd4693fa77c708dbbddtree
parent48653e7a5104479b91523afa449810a9cc2fd160commit | diff
Better support for building with mingw64; thanks to Nicolas Roche @ Altran for the fix.
src/lib/clock_gettime.h diff | blob | history