On 04/15/11 10:31, Nguyen Truong Khanh wrote:
I am writing to ask your team whether you support the PPL header file and DLL library for Visual C++.
Dear Nguyen, several years ago (perhaps 2004?) one of our users tried to use the PPL with Visual C++ and he concluded that Visual C++ did not support a large enough portion of the C++ standard. Quite likely the situation has changed now, but we do not currently use Visual C++ so I cannot know for sure. If some user (like you) would like to make an attempt, we will be glad to provide support. If Visual C++ can be supported by adding a limited amount of preprocessing machinery to the PPL header file, then we are definitely interested. Cheers, Roberto -- Prof. Roberto Bagnara CEO & CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, Italy I-43124 Parma, Italy http://www.cs.unipr.it/~bagnara/ http://bugseng.com/ mailto:bagnara@cs.unipr.it mailto:roberto.bagnara@bugseng.com