populate repository with rmem files

.gitignore

@@ -0,0 +1,25 @@
+
+# /
+/_build
+/build_concurrency_model
+/build_isabelle_concurrency_model
+/build_isa_models
+/build_lem_library
+/build_linksem
+/build_sail_interp
+/build_sail_shallow_embedding
+/build_sail2_shallow_embedding
+/*.defs
+/rmem
+/main.d.byte
+/main.byte
+/main.native
+/webppc.d.byte
+/webppc.byte
+/marshal_defs.native
+/pp2ml.native
+/version.ml
+/lem_version.ml
+/linksem_version.ml
+/sail_version.ml
+/sail2_version.ml

.merlin

@@ -0,0 +1,15 @@
+S ./*
+S build_isa_models/**
+S src_marshal_defs/**
+S src_top/**
+S build_sail_interp/**
+S model/generated/**
+
+B _build/**
+
+PKG lem lem_num
+PKG linksem linksem_num
+PKG uint zarith
+PKG lambda-term zed lwt react
+PKG js_of_ocaml js_of_ocaml.ppx
+PKG base64

DIYFILES.mk

@@ -0,0 +1,61 @@
+DIY_FILES=\
+  $(DIY)/lib/location.ml \
+  $(DIY)/lib/simpleDumper.ml \
+  $(DIY)/lib/mySet.ml \
+  $(DIY)/lib/mySet.mli \
+  $(DIY)/lib/myMap.ml \
+  $(DIY)/lib/splitter.mli \
+  $(DIY)/lib/splitter.mll \
+  $(DIY)/lib/misc.ml \
+  $(DIY)/lib/misc.mli \
+  $(DIY)/lib/constrGen.ml \
+  $(DIY)/lib/constrGen.mli \
+  $(DIY)/lib/constant.mli \
+  $(DIY)/lib/symbConstant.mli \
+  $(DIY)/lib/symbConstant.ml \
+  $(DIY)/lib/archBase.mli \
+  $(DIY)/lib/PPMode.mli \
+  $(DIY)/lib/label.ml \
+  $(DIY)/lib/label.mli \
+  $(DIY)/lib/pseudo.ml \
+  $(DIY)/lib/CType.ml \
+  $(DIY)/lib/CType.mli \
+  $(DIY)/lib/StringSet.ml \
+  $(DIY)/lib/StringSet.mli \
+  $(DIY)/lib/warn.ml \
+  $(DIY)/lib/warn.mli \
+  $(DIY)/lib/miscParser.ml \
+  $(DIY)/lib/miscParser.mli \
+  $(DIY)/lib/CAst.mli \
+  $(DIY)/lib/name.mli \
+  $(DIY)/lib/pos.ml \
+  $(DIY)/lib/pos.mli \
+  $(DIY)/lib/lexUtils.mli \
+  $(DIY)/lib/lexUtils.mll \
+  $(DIY)/lib/genParser.ml \
+  $(DIY)/lib/genParser.mli \
+  $(DIY)/lib/runTypeUtils.mli \
+  $(DIY)/lib/runTypeUtils.mll \
+  $(DIY)/lib/lexMisc.ml \
+  $(DIY)/lib/lexMisc.mli \
+  $(DIY)/lib/stateLexer.mli \
+  $(DIY)/lib/stateLexer.mll \
+  $(DIY)/lib/stateParser.mly \
+  $(DIY)/lib/testHash.ml \
+  $(DIY)/lib/testHash.mli \
+  $(DIY)/lib/stringMap.ml \
+  $(DIY)/lib/stringMap.mli \
+  $(DIY)/lib/symbReg.ml \
+  $(DIY)/lib/symbReg.mli \
+  $(DIY)/lib/BellInfo.ml \
+  $(DIY)/lib/BellInfo.mli \
+  $(DIY)/litmus/archs.mli \
+  $(DIY)/litmus/archs.ml \
+  $(DIY)/litmus/arch.mli \
+  $(DIY)/litmus/archExtra.ml \
+  $(DIY)/litmus/template.ml \
+  $(DIY)/litmus/memory.ml \
+  $(DIY)/litmus/memory.mli \
+  $(DIY)/litmus/outUtils.ml \
+  $(DIY)/litmus/target.mli \
+  $(DIY)/litmus/constr.ml

LICENCE.txt

@@ -0,0 +1,108 @@
+NOTE:
+
+This licence applies to all files of the rmem tool distribution,
+except the files listed under EXCEPTIONS.
+
+
+LICENCE
+-------
+
+The rmem tool is licensed under the 2-Clause BSD Licence, also called
+the "Simplified BSD License" or the "FreeBSD Licence".
+
+Copyright Peter Sewell, University of Cambridge                                            2011-2018 
+Copyright Shaked Flur, University of Cambridge                                             2014-2018 
+Copyright Christopher Pulte, University of Cambridge                                       2014-2018 
+Copyright Jon French, University of Cambridge                                              2015-2018 
+Copyright Kathy Gray, University of Cambridge (when this work was done)                    2014-2017 
+Copyright Luc Maranget, INRIA Paris-Rocquencourt                                2011-2012, 2014-2018 
+Copyright Susmit Sarkar, University of St Andrews                                          2011-2016 
+Copyright Robert Norton-Wright, University of Cambridge                                    2016-2017 
+Copyright Pankaj Pawan, IIT Kanpur and INRIA (when this work was done)                     2011-2012 
+Copyright Stephen Kell, University of Cambridge (when this work was done)                  2014-2016 
+Copyright Ohad Kammar, University of Cambridge (when this work was done)                   2013-2014 
+Copyright Sela Mador-Haim, University of Pennsylvania (when this work was done)            2011-2012 
+Copyright Linden Ralph, University of Cambridge (when this work was done)                  2017-2017 
+Copyright Francesco Zappa Nardelli, INRIA Paris                                            2011-2011 
+Copyright Gabriel Kerneis, University of Cambridge (when this work was done)               2014-2014 
+Copyright Jean Pichon-Pharabod, University of Cambridge                                    2013-2015 
+Copyright Kyndylan Nienhuis, University of Cambridge                                       2016-2016 
+Copyright Ali Sezgin, University of Cambridge (when this work was done)                    2015-2016 
+Copyright Dominic Mulligan, University of Cambridge (when this work was done)              2013-2014 
+Copyright Victor Gomes, University of Cambridge                                            2018-2018 
+Copyright Mark Batty, University of Cambridge (when this work was done)                    2015-2016 
+Copyright Richard Bornat, Middlesex University                                             2012-2012 
+Copyright Kayvan Memarian, University of Cambridge                                         2012-2012 
+Copyright Anthony Fox, University of Cambridge (when this work was done)                   2017-2017 
+Copyright Alasdair Armstrong, University of Cambridge                                      2017-2017 
+
+
+======================================================================
+
+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.
+
+======================================================================
+
+
+EXCEPTIONS
+----------
+
+The files contained in src_top/herd_based are licensed under the
+CeCILL-B licence in src_top/herd_based/LICENCE.txt.
+
+The above licence also does not apply to the files contained in
+src_web_interface/web_assets/lib. These files are in particular:
+
+- clipboard.js, under an MIT licence. For copyright and licence
+  information see
+  https://github.com/lgarron/clipboard-polyfill/blob/0beca5ecccd7432b8fc7e25fec9c0dce0ac28abc/LICENSE.md
+
+- CodeMirror (the files codemirror*), under an MIT licence. For
+  copyright and licence information see codemirror* files.
+
+- es5-shim.min.js and es6-shim.min.js, under an MIT licence. For
+  copyright and licence information see these files.
+
+- The Liberation Sans Font, under the SIL Open Font Licence. For
+  copyright and licence information see fonts/liberation/SIL Open Font
+  License.txt.
+
+- jquery (the files jquery*), under an MIT licence. For copyright and
+  licence information see jquery* files.
+
+- The Knockout JavaScript library (knockout-3.4.2.js and
+  knockout-3.4.2.debug.js), under an MIT licence. For copyright and
+  licence information see these files.
+
+- Split.js. For copyright and licence information see
+  https://github.com/nathancahill/split/blob/master/packages/splitjs/LICENSE.txt
+
+- string-format.js, under an MIT licence. For copyright and licence
+  information see
+  https://github.com/davidchambers/string-format/blob/master/MIT-LICENSE
+
+- viz.js, under an MIT licence. For copyright and licence information
+  see this file.
+
+