Replace Num with ZArith for Cilint (for OCaml 4.06.0).#41

Open

clegoues wants to merge 15 commits intocil-project:developfrom

squaresLab:ocaml-4.06

Commits on Feb 1, 2018

replace deprecated Array.create, String.set and String.uppercase with modern equivalents
clegoues
committed
Change improper usage of String.copy (deprecated; Strings are immutable) to use Bytes instead
clegoues
committed
start of effort to remove bigint and replace with zarith; does not currently build (can't find Z)
clegoues
committed
update one more secret use of String.set to Bytes
clegoues
committed
merge in last deprecation fix from main development branch
clegoues
committed
update tags and myocamlbuild to link zarith for building of cilint and use ocamlfind with ocamlbuild to find the library
clegoues
committed
straight replacement of Big_int with Z.t in cilint.mli
clegoues
committed
first pass of edits to convert cilint to Zarith.
clegoues
committed
update treatment of Strings to Bytes in errormsg module; should have same behavior with previous versions of OCaml, while fixing compilation failure on 4.06
clegoues
committed
merge in changes to errormsg.ml
clegoues
committed
update treatment of Strings to Bytes in Pretty; should have same behavior with previous versions of OCaml, while fixing compilation failure on 4.06
clegoues
committed
merge in changes to pretty from develop branch
clegoues
committed
minor _tags update to make zarith findable
clegoues
committed
update README to note zarith dependency
clegoues
committed
remove notes to self that no longer apply
clegoues
committed