projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32b48a0) | patch
Fixes for Win32 (closes bugs 488 and 489)
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 28 Jan 2013 20:21:52 +0000 (15:21 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 28 Jan 2013 20:23:18 +0000 (15:23 -0500)
commit4d19bda6b8ac42b4800a2ccd01541e10b0bbef54
tree0a6e209087ff1dfa584f93351d8e4fdd96d6e13btree
parent32b48a0265a416b577f83500a541c9673026e95ccommit | diff
Fixes for Win32 (closes bugs 488 and 489)

* timer statistics now supported (closes bug 488)
* use of --mmap doesn't crash anymore (closes bug 489)
src/lib/clock_gettime.c diff | blob | history
src/lib/clock_gettime.h diff | blob | history
src/parser/antlr_input.cpp diff | blob | history
src/util/statistics_registry.cpp diff | blob | history
src/util/statistics_registry.h diff | blob | history