Dear all, CIL 1.5.1 is available from
http://sourceforge.net/projects/cil/files/cil/cil-1.5.1.tar.gz http://sourceforge.net/projects/cil/files/cil/cil-1.5.1.tar.gz.asc This release adds support for native versions of OCaml tools and fixes a bug in the merger. It also fixes the regression tests. To run the full CIL test suite: cd test && ./testcil -r --regrtest Do not hesitate to report failing tests (I only tested on Linux). For more information about CIL, please see: http://kerneis.github.com/cil/ Best regards, -- Gabriel July 14, 2012: Released version 1.5.1. New features: Native versions of OCaml tool (thanks to Oliver Schwahn). Bug fixes: Fixed bug in which pointer difference operations were incorrectly typed (#3538514, thanks to Jim Grundy). Merger: fix integer overflow in pragma. Fix various regression tests and doc generation.
signature.asc
Description: Digital signature
------------------------------------------------------------------------------ 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
