Source file `mopsa_utils.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
(*
 * This file is part of MOPSA, a Modular Open Platform for Static Analysis.
 *
 * SPDX-FileCopyrightText: 2017-2024 The Mopsa Authors
 *
 * SPDX-License-Identifier: LGPL-3.0-or-later
 *
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU Lesser General Public License as published by the Free
 * Software Foundation, either version 3 of the License, or (at your option) any
 * later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
 * details.
 *
 * You should have received a copy of the GNU Lesser General Public License along
 * with this program. If not, see <http://www.gnu.org/licenses/>.
 *)

open Utils_core
open Containers
module Bot = Bot
module Compare = Compare
module Location = Location
module Callstack = Callstack
module Debug = Debug
module Exceptions = Exceptions
module OptionExt = OptionExt
module Dnf = Dnf
module SetExtPoly = SetExtPoly
module SetExt = SetExt
module SetExtSig = SetExtSig
module SetP = SetP
module ListExt = ListExt
module MapExtPoly = MapExtPoly
module MapExt = MapExt
module MapExtSig = MapExtSig
module InvRelation = InvRelation
module InvRelationSig = InvRelationSig
module Equiv = Equiv
module MapP = MapP
module Relation = Relation
module RelationSig = RelationSig
module ValueSig = ValueSig
module Timing = Timing
module Top = Top
module Bot_top = Bot_top
module ItvUtils = ItvUtils
module CongUtils = CongUtils
module Bitfields = Bitfields
module GraphSig = GraphSig
module Graph = Graph
module ArgExt = ArgExt
module LineEdit = LineEdit
module TypeExt = TypeExt
module Eq = Eq
module Version = Version