diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-28 16:49:16 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-28 16:49:16 +0100 |
commit | 34f51d44c96416d1c398e4780753f4b012c4a956 (patch) | |
tree | 7c294ee7875fc00e6602d49f034592a996d5503b /utils/domainstate.mli.c | |
parent | 33dd0597f92908475b782cd65dc5c8e9e4422b61 (diff) | |
parent | 5ad64306d36755b600f2556805effb73627508c8 (diff) | |
download | ocaml-34f51d44c96416d1c398e4780753f4b012c4a956.tar.gz |
Merge commit '5ad64306d36755b600f2556805effb73627508c8' into parallel_minor_gc_4_10
Diffstat (limited to 'utils/domainstate.mli.c')
-rw-r--r-- | utils/domainstate.mli.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/utils/domainstate.mli.c b/utils/domainstate.mli.c index 8ee6dfdd94..c5b5d17a83 100644 --- a/utils/domainstate.mli.c +++ b/utils/domainstate.mli.c @@ -1,3 +1,19 @@ +/**************************************************************************/ +/* */ +/* OCaml */ +/* */ +/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */ +/* Stephen Dolan, University of Cambridge */ +/* */ +/* Copyright 2019 Indian Institute of Technology, Madras */ +/* Copyright 2019 University of Cambridge */ +/* */ +/* All rights reserved. This file is distributed under the terms of */ +/* the GNU Lesser General Public License version 2.1, with the */ +/* special exception on linking described in the file LICENSE. */ +/* */ +/**************************************************************************/ + val minor_heap_sel_bits : int val minor_heap_align_bits : int val stack_ctx_words : int |