4 Mar
2017
4 Mar
'17
4:42 p.m.
David,
I?ve just pulled the latest source. I am experimenting with how to build ProofPower if the installed Poly/ML has fixed magnitude integers. I get a bus error when I do:
PolyML.loadModule "modules/IntAsIntInf/IntAsIntInf?;
(By the way, why is the configure option called ?enable-intinf-as-int but it?s the other way round in the module name?)
Regards,
Rob.