infer_clone/sledge/cli/domain_itv.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.
 *)

(** Interval abstract domain *)

include Domain_intf.Dom
[sledge] Add APRON-backed Interval abstract domain Summary: Add a new interval abstract domain. This domain uses the APRON numerical analysis library to keep track of the range of values held by llair variables where possible. This works by translating LLAIR expressions into APRON tree expressions, so only handles the subset of the LLAIR expression language that can be embedded. Note also that function summarization is not yet implemented. Future commits will add summarization and improve coverage of LLAIR's expression language. Reviewed By: jberdine Differential Revision: D17763517 fbshipit-source-id: 826ce4cc5 5 years ago			`(*`
			`* 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.`
			`*)`

			`(** Interval abstract domain *)`
[ocamlformat] Upgrade ocamlformat version Reviewed By: jvillard Differential Revision: D18162727 fbshipit-source-id: ffb9f7541 5 years ago
[sledge] Rearrange into CLI binary and LLVM-independent library Summary: Move files, adjust build system, etc. This also separates out the ppx_trace conditional compilation debug tracing machinery into an independent package and library. Reviewed By: jvillard Differential Revision: D20322876 fbshipit-source-id: a50522462 5 years ago			`include Domain_intf.Dom`