6 Commits

Author	SHA1	Message	Date
Anthony Scemama	7f76f8e2c6	Added Input_determinants.ml	2014-10-20 12:19:12 +02:00
Anthony Scemama	66abccfdfb	Bug in bitlist order corrected	2014-10-08 13:00:25 +02:00
Anthony Scemama	5ec739084a	Lazy evaluation of bit_kind_size	2014-09-17 12:34:31 +02:00
Anthony Scemama	9bce6b8a2e	Added default for n_int in ocaml	2014-09-17 11:49:00 +02:00
Anthony Scemama	a4688e7500	Bitmasks OK	2014-09-17 00:39:21 +02:00
Anthony Scemama	5deb211473	Renaming of ocaml modules with capital letters	2014-09-16 23:17:22 +02:00