projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0b49d5) | patch
replacement implementation for clock_gettime() on mac os x, build portability (resolv...
authorMorgan Deters <mdeters@gmail.com>
Fri, 1 Oct 2010 21:35:31 +0000 (21:35 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 1 Oct 2010 21:35:31 +0000 (21:35 +0000)
commit96d1c3daff7efdd2d853864fb820bc7cf413624e
treeb995c98a2be18182d6cb52e81de5bf712b475f06tree
parentd0b49d588033ab8140bdf297c9cdf73b1088fe68commit | diff
replacement implementation for clock_gettime() on mac os x, build portability (resolving mac os x issues), code cleanup, fix compiler warnings
13 files changed:
config/cvc4.m4 diff | blob | history
configure.ac diff | blob | history
src/Makefile.am diff | blob | history
src/include/cvc4_public.h diff | blob | history
src/lib/Makefile.am [new file with mode: 0644] blob
src/lib/clock_gettime.c [new file with mode: 0644] blob
src/lib/clock_gettime.h [new file with mode: 0644] blob
src/lib/replacements.h [new file with mode: 0644] blob
src/main/Makefile.am diff | blob | history
src/main/util.cpp diff | blob | history
src/parser/Makefile.am diff | blob | history
src/util/stats.h diff | blob | history
test/unit/Makefile.am diff | blob | history