infer_clone/sledge/cli/frontend.mli

(*
 * Copyright (c) Facebook, Inc. and its affiliates.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 *)

(** Translate LLVM to LLAIR *)

exception Invalid_llvm of string

val translate :
     models:bool
  -> fuzzer:bool
  -> internalize:bool
  -> string list
  -> Llair.program
(** Translate the compilation units in the named (llvm or bitcode) files to
    LLAIR. Attempts to raise [Invalid_llvm] when the input is invalid LLVM. *)
Change license to MIT Summary: Change the license of the source code from BSD + PATENTS to MIT. Change `checkCopyright` to reflect the new license and learn some new file types. Generated with: ``` git grep BSD \| xargs -n 1 ./scripts/checkCopyright -i ``` Reviewed By: jeremydubreil, mbouaziz, jberdine Differential Revision: D8071249 fbshipit-source-id: 97ca23a 7 years ago			`(*`
[copyright] Remove years Reviewed By: jvillard Differential Revision: D15771884 fbshipit-source-id: e2997e3a3 6 years ago			`* Copyright (c) Facebook, Inc. and its affiliates.`
Change license to MIT Summary: Change the license of the source code from BSD + PATENTS to MIT. Change `checkCopyright` to reflect the new license and learn some new file types. Generated with: ``` git grep BSD \| xargs -n 1 ./scripts/checkCopyright -i ``` Reviewed By: jeremydubreil, mbouaziz, jberdine Differential Revision: D8071249 fbshipit-source-id: 97ca23a 7 years ago			`*`
			`* This source code is licensed under the MIT license found in the`
			`* LICENSE file in the root directory of this source tree.`
			`*)`
Add initial version of LLAIR and LLVM to LLAIR translation Reviewed By: mbouaziz Differential Revision: D6892016 fbshipit-source-id: 3720749 7 years ago
			`(** Translate LLVM to LLAIR *)`

			`exception Invalid_llvm of string`

[sledge] Add a flag to disable internalization Summary: By default all functions except those specified as entry points in the config file are "internalized". Internal functions are removed if they are not called. It is sometimes necessary to disable internalization, e.g. to analyze the llvm tests. Reviewed By: bennostein Differential Revision: D17725614 fbshipit-source-id: 4b13501f5 5 years ago			`val translate :`
[sledge] Refactor: Move Llair.t to separate Program module Reviewed By: jvillard Differential Revision: D21720975 fbshipit-source-id: fb743b35f 5 years ago			`models:bool`
			`-> fuzzer:bool`
			`-> internalize:bool`
			`-> string list`
			`-> Llair.program`
[sledge] Rework command line interface Summary: Change command line interface to include buck and llvm integration as separate subcommands. Reviewed By: kren1 Differential Revision: D15614567 fbshipit-source-id: b7618571b 6 years ago			`(** Translate the compilation units in the named (llvm or bitcode) files to`
Add initial version of LLAIR and LLVM to LLAIR translation Reviewed By: mbouaziz Differential Revision: D6892016 fbshipit-source-id: 3720749 7 years ago			`LLAIR. Attempts to raise [Invalid_llvm] when the input is invalid LLVM. *)`