-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathisla_lang.ml
55 lines (54 loc) · 3.98 KB
/
isla_lang.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
(****************************************************************************)
(* BSD 2-Clause License *)
(* *)
(* Copyright (c) 2020-2021 Alasdair Armstrong *)
(* Copyright (c) 2020-2021 Brian Campbell *)
(* Copyright (c) 2020-2021 Thibaut Pérami *)
(* Copyright (c) 2020-2021 Peter Sewell *)
(* Copyright (c) 2020-2021 Dhruv Makwana *)
(* Copyright (c) 2021 Michael Sammler *)
(* Copyright (c) 2021 Rodolphe Lepigre *)
(* *)
(* All rights reserved. *)
(* *)
(* This software was developed by the University of Cambridge Computer *)
(* Laboratory (Department of Computer Science and Technology) and *)
(* contributors, in part under DARPA/AFRL contract FA8650-18-C-7809 *)
(* ("CIFV"), in part funded by EPSRC Programme Grant EP/K008528/1 "REMS: *)
(* Rigorous Engineering for Mainstream Systems", in part funded from the *)
(* European Research Council (ERC) under the European Union’s Horizon *)
(* 2020 research and innovation programme (grant agreement No 789108, *)
(* "ELVER"), in part supported by the UK Government Industrial Strategy *)
(* Challenge Fund (ISCF) under the Digital Security by Design (DSbD) *)
(* Programme, to deliver a DSbDtech enabled digital platform (grant *)
(* 105694), and in part funded by Google. *)
(* *)
(* *)
(* Redistribution and use in source and binary forms, with or without *)
(* modification, are permitted provided that the following conditions are *)
(* met: *)
(* *)
(* 1. Redistributions of source code must retain the above copyright *)
(* notice, this list of conditions and the following disclaimer. *)
(* *)
(* 2. Redistributions in binary form must reproduce the above copyright *)
(* notice, this list of conditions and the following disclaimer in the *)
(* documentation and/or other materials provided with the distribution. *)
(* *)
(* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS *)
(* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT *)
(* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR *)
(* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT *)
(* HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, *)
(* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT *)
(* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, *)
(* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY *)
(* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT *)
(* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE *)
(* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. *)
(* *)
(****************************************************************************)
module AST = Isla_lang_ast
module Parser = Isla_lang_parser
module Lexer = Isla_lang_lexer
module PP = Isla_lang_parser_pp