Fix handling of OCAML_PKG_* macros for new OCaml autoconf.
[ocaml-bitstring.git] / cil-tools /
2010-01-08 Richard W.M. JonesCIL example: <linux/fs.h> is now required for <linux...
2010-01-08 Richard W.M. JonesCIL: Include dynlink for OCaml 3.11.
2008-08-26 Richard W.M. Jones'make clean' rules remove more generated files.
2008-08-26 Richard W.M. JonesUse ocaml-bisect to compute coverage of tests.
2008-07-17 Richard W.M. JonesRenaming bitmatch -> bitstring.
2008-07-17 Richard W.M. JonesRename files and libraries from bitmatch* to bitstring*
2008-07-11 Richard W.M. JonesClarify licensing for Debian.
2008-07-01 Richard W.M. JonesAllow bitmatch-import-prefix.h to be installed centrally.
2008-07-01 Richard W.M. JonesSome fixes for building bmpp file.
2008-07-01 Richard W.M. JonesCIL examples.
2008-07-01 Richard W.M. JonesJust warn about unimplemented types - they can be safel...
2008-06-17 Richard W.M. JonesMap 8-bit int element arrays to strings
2008-06-16 Richard W.M. JonesChange cil tools to use computed offsets.
2008-06-13 Richard W.M. JonesPersistent patterns, save and load to a file.
2008-06-11 Richard W.M. JonesCommitting NON-WORKING cil tools directory. This code...
2008-06-10 Richard W.M. JonesStarted to copy the import tool from libunbin.