2 files changed, 0 insertions, 192 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail
deleted file mode 100644
index de842c5c..00000000
--- a/etc/regfp.sail
+++ /dev/null
@@ -1,95 +0,0 @@
-(* iR : input registers,
- * oR : output registers,
- * aR : registers feeding into the memory address *)
-
-(* branch instructions currently are not writing to NIA *)
-
-typedef regfp = const union {
-   (string) RFull;
-   (string,nat,nat) RSlice;
-   (string,nat) RSliceBit;
-   (string,string) RField;
-}
-
-typedef regfps = list <regfp>
-
-typedef niafp = const union {
-  NIAFP_successor;
-  (bit[64]) NIAFP_concrete_address;
-  NIAFP_indirect_address;
-}
-
-typedef niafps = list <niafp>
-
-(* only for MIPS *)
-typedef diafp = const union {
-  DIAFP_none;
-  (bit[64]) DIAFP_concrete;
-  (regfp) DIAFP_reg;
-}
-
-typedef read_kind = enumerate {
-  Read_plain;
-  Read_reserve;
-  Read_acquire;
-  Read_exclusive;
-  Read_exclusive_acquire;
-  Read_stream;
-  Read_RISCV_acquire;
-  Read_RISCV_strong_acquire;
-  Read_RISCV_reserved;
-  Read_RISCV_reserved_acquire;
-  Read_RISCV_reserved_strong_acquire;
-  Read_X86_locked;
-}
-
-typedef write_kind = enumerate {
-  Write_plain;
-  Write_conditional;
-  Write_release;
-  Write_exclusive;
-  Write_exclusive_release;
-  Write_RISCV_release;
-  Write_RISCV_strong_release;
-  Write_RISCV_conditional;
-  Write_RISCV_conditional_release;
-  Write_RISCV_conditional_strong_release;
-  Write_X86_locked;
-}
-
-typedef barrier_kind = enumerate {
-  Barrier_Sync;
-  Barrier_LwSync;
-  Barrier_Eieio;
-  Barrier_Isync;
-  Barrier_DMB;
-  Barrier_DMB_ST;
-  Barrier_DMB_LD;
-  Barrier_DSB;
-  Barrier_DSB_ST;
-  Barrier_DSB_LD;
-  Barrier_ISB;
-  Barrier_MIPS_SYNC;
-  Barrier_RISCV_rw_rw;
-  Barrier_RISCV_r_rw;
-  Barrier_RISCV_r_r;
-  Barrier_RISCV_rw_w;
-  Barrier_RISCV_w_w;
-  Barrier_RISCV_tso;
-  Barrier_RISCV_i;
-  Barrier_x86_MFENCE;
-}
-
-typedef trans_kind = enumerate {
-  Transaction_start; Transaction_commit; Transaction_abort;
-}
-
-typedef instruction_kind = const union {
-  (barrier_kind) IK_barrier;
-  (read_kind) IK_mem_read;
-  (write_kind) IK_mem_write;
-  (read_kind, write_kind) IK_mem_rmw;
-  IK_branch;
-  (trans_kind) IK_trans;
-  IK_simple
-}
diff --git a/etc/regfp2.sail b/etc/regfp2.sail
deleted file mode 100644
index 85141853..00000000
--- a/etc/regfp2.sail
+++ /dev/null
@@ -1,97 +0,0 @@
-/* iR : input registers,
- * oR : output registers,
- * aR : registers feeding into the memory address */
-
-/* branch instructions currently are not writing to NIA */
-
-union regfp = {
-   RFull : string,
-   RSlice : (string,nat,nat),
-   RSliceBit : (string,nat),
-   RField : (string,string),
-}
-
-type regfps = list(regfp)
-
-union niafp = {
-  NIAFP_successor : unit,
-  NIAFP_concrete_address : bits(64),
-  NIAFP_indirect_address : unit,
-}
-
-type niafps = list(niafp)
-
-/* only for MIPS */
-union diafp = {
-  DIAFP_none : unit,
-  DIAFP_concrete : bits(64),
-  DIAFP_reg : regfp,
-}
-
-enum read_kind = {
-  Read_plain,
-  Read_reserve,
-  Read_acquire,
-  Read_exclusive,
-  Read_exclusive_acquire,
-  Read_stream,
-  Read_RISCV_acquire,
-  Read_RISCV_strong_acquire,
-  Read_RISCV_reserved,
-  Read_RISCV_reserved_acquire,
-  Read_RISCV_reserved_strong_acquire,
-  Read_X86_locked
-}
-
-enum write_kind = {
-  Write_plain,
-  Write_conditional,
-  Write_release,
-  Write_exclusive,
-  Write_exclusive_release,
-  Write_RISCV_release,
-  Write_RISCV_strong_release,
-  Write_RISCV_conditional,
-  Write_RISCV_conditional_release,
-  Write_RISCV_conditional_strong_release,
-  Write_X86_locked
-}
-
-enum barrier_kind = {
-  Barrier_Sync,
-  Barrier_LwSync,
-  Barrier_Eieio,
-  Barrier_Isync,
-  Barrier_DMB,
-  Barrier_DMB_ST,
-  Barrier_DMB_LD,
-  Barrier_DSB,
-  Barrier_DSB_ST,
-  Barrier_DSB_LD,
-  Barrier_ISB,
-  Barrier_MIPS_SYNC,
-  Barrier_RISCV_rw_rw,
-  Barrier_RISCV_r_rw,
-  Barrier_RISCV_r_r,
-  Barrier_RISCV_rw_w,
-  Barrier_RISCV_w_w,
-  Barrier_RISCV_tso,
-  Barrier_RISCV_i,
-  Barrier_x86_MFENCE
-}
-
-enum trans_kind = {
-  Transaction_start, 
-  Transaction_commit, 
-  Transaction_abort
-}
-
-union instruction_kind = {
-  IK_barrier : barrier_kind,
-  IK_mem_read : read_kind,
-  IK_mem_write : write_kind,
-  IK_mem_rmw : (read_kind, write_kind),
-  IK_branch : unit,
-  IK_trans : trans_kind,
-  IK_simple : unit,
-}