Remove cheri and mips specs -- they now have their own repository.

1 files changed, 0 insertions, 90 deletions

diff --git a/mips/mips_wrappers.sail b/mips/mips_wrappers.sail
deleted file mode 100644
index 43e759b9..00000000
--- a/mips/mips_wrappers.sail
+++ /dev/null
@@ -1,90 +0,0 @@
-/*========================================================================*/
-/*                                                                        */
-/*  Copyright (c) 2015-2017 Robert M. Norton                              */
-/*  Copyright (c) 2015-2017 Kathyrn Gray                                  */
-/*  All rights reserved.                                                  */
-/*                                                                        */
-/*  This software was developed by the University of Cambridge Computer   */
-/*  Laboratory as part of the Rigorous Engineering of Mainstream Systems  */
-/*  (REMS) project, funded by EPSRC grant EP/K008528/1.                   */
-/*                                                                        */
-/*  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 AUTHOR 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 AUTHOR 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.                                                          */
-/*========================================================================*/
-
-/* mips_wrappers.sail: wrappers functions and hooks for CHERI extensibility 
-   (mostly identity functions here) */
-
-val MEMw_wrapper : forall 'n, 1 <= 'n <= 8. (bits(64), atom('n), bits(8 * 'n)) -> unit effect {eamem, wmv, wreg}
-
-function MEMw_wrapper(addr, size, data) =
-    let ledata = reverse_endianness(data) in
-    if (addr == 0x000000007f000000) then
-      {
-        UART_WDATA   = ledata[7..0];
-        UART_WRITTEN = bitone;
-      } else {
-        MEMea(addr, size);
-        MEMval(addr, size, ledata);
-      }
-
-val MEMw_conditional_wrapper : forall 'n,  1 <= 'n <= 8. (bits(64), atom('n), bits(8 * 'n)) -> bool effect {eamem, wmv}
-
-function MEMw_conditional_wrapper(addr, size, data) =
-    {
-      MEMea_conditional(addr, size);
-      MEMval_conditional(addr, size, reverse_endianness(data))
-    }
-
-val addrWrapper : (bits(64), MemAccessType, WordType) -> bits(64)
-function addrWrapper(addr, accessType, width) =
-    addr
-
-val addrWrapperUnaligned : (bits(64), MemAccessType, WordTypeUnaligned) -> bits(64)
-function addrWrapperUnaligned(addr, accessType, width) =
-    addr
-
-$ifdef _MIPS_TLB_STUB
-val TranslatePC : bits(64) -> bits(64) effect {rreg, wreg, escape}
-$else
-val TranslatePC : bits(64) -> bits(64) effect {rreg, wreg, escape, undef}
-$endif
-
-function TranslatePC (vAddr) = {
-    incrementCP0Count();
-    if (vAddr[1..0] != 0b00) then /* bad PC alignment */
-      (SignalExceptionBadAddr(AdEL, vAddr))
-    else
-      TLBTranslate(vAddr, Instruction)
-}
-
-let have_cp2 = false
-
-function SignalException (ex) = SignalExceptionMIPS(ex, 0x0000000000000000)
-
-val ERETHook : unit -> unit
-function ERETHook() = ()
-
-function init_cp2_state () = skip_wreg()
-function cp2_next_pc()     = {skip_wreg(); skip_rreg()}
-function dump_cp2_state () = {skip_rreg(); skip_escape();}