19 May
2007
19 May
'07
5:10 a.m.
Christian Maeder schrieb:
It seems our GMP.framework is only suited for Powerpc. I'll look after it. Thanks for your hints and sorry for the inconveniences. (Meanwhile you could try to get the GMP.framework for intel macs from elsewhere.)
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... is a working framework for Intel and Powerpc. C.