On Mon, Jul 02, 2012 at 03:36:02PM +0200, Oliver Schwahn wrote: > I just tried to use the merger (together with cilly) but i noticed > that it fails with error message: > Unimplemented: something.c:1: Int constant too large: 1341229737
Thanks for the report and detailed analysis. > A quick workaround is to set the system clock to a time before 2004. Or to use a 64-bit architecture (yielding max_int = 2^63-1). > I think this issue can be fixed either by not using OCaml's native > int for representing merger pragma constants or by changing cilly to > use smaller numbers than the actual unix timestamp. I'm not sure > which solution would be preferable or if there are better ones. I think the former is preferable, but not sure either. I never use the merger and I am not very familiar with this part of CIL. I'll think about it. In the meantime, do not hesitate to send feedback on the list (or even a patch) if you happen to use the merger regularly. Best, -- Gabriel ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
