00001 /*!\page WINDOWS_README README 00002 00003 00004 This document contains information about the Windows port of CVC3. 00005 It explains decisions and lists problems that occurred during the port, and how they have been addressed. 00006 00007 Note that you can use cygwin to built CVC3 as explained in \ref ..\INSTALL, 00008 this port is concerned with the Microsoft C++ Compiler. 00009 00010 * Configuration 00011 00012 - Stack Limit 00013 as explained in \ref ..\INSTALL the default stack limit does often not suffice. 00014 To address this Linker/System/Stack Reserve Size is increased in the cvc3lib 00015 project settings 00016 00017 - Preprocessor Defines 00018 to address builds on different platforms with different compilers the following 00019 definitions are used: 00020 - DEBUG : if defined then debugging assertions in CVC3 are enabled 00021 - _MSC_VER: if defined then an MS C compiler is used 00022 - _MANAGED: if defined then CLI is targeted 00023 00024 http://www.mobydisk.com/softdev/techinfo/cpptips.html 00025 00026 - Disabled Warnings 00027 00028 A number of warnings has been disabled in the project settings. 00029 00030 00031 * Limitations: 00032 00033 gmp is not supported on Windows. Therefore only finite precision arithmetic 00034 is supported, which often leads to overflow failures and termination. 00035 00036 00037 * Potential Problems 00038 00039 While no unsoundness problems are known, the Windows version did not pass 00040 a complete test run over the smtlib without unexpected terminations, 00041 i.e. unexplained crashes. 00042 00043 00044 * Deployment 00045 00046 Basically untested. Created two setup projects, cvc3 and cvc3cli, 00047 which should created installers for the C++ and the CLI version. 00048 00049 00050 00051 00052 00053 <pre> 00054 http://www.cs.nyu.edu/acsys/cvc3 00055 </pre> 00056 00057 */