README

Go to the documentation of this file.
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 */

Generated on Tue Jul 3 14:33:38 2007 for CVC3 by  doxygen 1.5.1