Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Copyright headers and attribution

master
KC Sivaramakrishnan 2019-06-24 09:55:33 +05:30
parent c298390b5d
commit 316a5ff358
9 changed files with 43 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Changes
View File

@ -84,7 +84,7 @@ Working version
(Jacques-Henri Jourdan, review by Xavier Leroy)
- #8713: Introduce domain state to hold C global variables in the runtime.
(KC Sivaramakrishnan)
(KC Sivaramakrishnan and Stephen Dolan reviewed by David Allsopp)
### Tools:

7
runtime/caml/domain.h
View File

@ -2,10 +2,11 @@
/* */
/* OCaml */
/* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, Jane Street Europe */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* Copyright 2019 Indian Institute of Technology, Madras */
/* Copyright 2019 Jane Street Group LLC */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */

7
runtime/caml/domain_state.h
View File

@ -2,10 +2,11 @@
/* */
/* OCaml */
/* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, Jane Street Europe */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* Copyright 2019 Indian Institute of Technology, Madras */
/* Copyright 2019 Jane Street Group LLC */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */

7
runtime/caml/domain_state.tbl
View File

@ -2,10 +2,11 @@
/* */
/* OCaml */
/* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, Jane Street Europe */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* Copyright 2019 Indian Institute of Technology, Madras */
/* Copyright 2019 Jane Street Group LLC */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */

7
runtime/domain.c
View File

@ -2,10 +2,11 @@
/* */
/* OCaml */
/* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, Jane Street Europe */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* Copyright 2019 Indian Institute of Technology, Madras */
/* Copyright 2019 Jane Street Group LLC */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */

6
runtime/gen_domain_state32_inc.awk
View File

@ -2,10 +2,10 @@
#* *
#* OCaml *
#* *
#* Damien Doligez, projet Gallium, INRIA Rocquencourt *
#* KC Sivaramakrishnan, Indian Institute of Technology, Madras *
#* *
#* Copyright 2013 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* Copyright 2019 Indian Institute of Technology, Madras *
#* *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *

6
runtime/gen_domain_state64_inc.awk
View File

@ -2,10 +2,10 @@
#* *
#* OCaml *
#* *
#* Damien Doligez, projet Gallium, INRIA Rocquencourt *
#* KC Sivaramakrishnan, Indian Institute of Technology, Madras *
#* *
#* Copyright 2013 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* Copyright 2019 Indian Institute of Technology, Madras *
#* *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *

7
utils/domainstate.ml.c
View File

@ -2,10 +2,11 @@
/* */
/* OCaml */
/* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, Jane Street Europe */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* Copyright 2019 Indian Institute of Technology, Madras */
/* Copyright 2019 Jane Street Group LLC */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */

16
utils/domainstate.mli.c
View File

@ -1,3 +1,19 @@
/**************************************************************************/
/* */
/* OCaml */
/* */
/* KC Sivaramakrishnan, Indian Institute of Technology, Madras */
/* Stephen Dolan, Jane Street Europe */
/* */
/* Copyright 2019 Indian Institute of Technology, Madras */
/* Copyright 2019 Jane Street Group LLC */
/* */
/* 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. */
/* */
/**************************************************************************/
type t =
#define DOMAIN_STATE(type, name) | Domain_##name
#include "domain_state.tbl"