3 files changed, 43 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,
-}
diff --git a/etc/style.css b/etc/style.css
new file mode 100644
index 00000000..845a9998
--- /dev/null
+++ b/etc/style.css
@@ -0,0 +1,43 @@
+.keyword { font-weight : bold ; color : Red }
+.keywordsign { color : #C04600 }
+.comment { color : Green }
+.constructor { color : Blue }
+.type { color : #5C6585 }
+.string { color : Maroon }
+.warning { color : Red ; font-weight : bold }
+.info { margin-left : 3em; margin-right: 3em }
+.param_info { margin-top: 4px; margin-left : 3em; margin-right : 3em }
+.code { color : #465F91 ; }
+.typetable { border-style : hidden }
+.paramstable { border-style : hidden ; padding: 5pt 5pt}
+tr { background-color : White }
+td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
+div.sig_block {margin-left: 2em}
+*:target { background: yellow; }
+body {font: 13px sans-serif; color: black; text-align: left; padding: 5px; margin: 0; width: 70pc; margin-left: 5pc; font-size: large}
+h1 { font-size : 20pt ; text-align: center; }
+h2 { font-size : 20pt ; text-align: center; }
+h3 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ;padding: 2px; border-radius: 20px }
+h4 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90DDFF ;padding: 2px; border-radius: 20px }
+h5 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90EDFF ;padding: 2px; border-radius: 20px }
+h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90FDFF ;padding: 2px; border-radius: 20px }
+div.h7 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ; padding: 2px; border-radius: 20px }
+div.h8 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #E0FFFF ; padding: 2px; border-radius: 20px }
+div.h9 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #F0FFFF ; padding: 2px; border-radius: 20px }
+div.h10 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #FFFFFF ; padding: 2px; border-radius: 20px }
+a {color: #416DFF; text-decoration: none}
+a:hover {background-color: #ddd; text-decoration: underline}
+pre { margin-bottom: 4px; font-family: monospace; }
+pre.verbatim, pre.codepre { }
+.indextable {border: 1px #ddd solid; border-collapse: collapse}
+.indextable td, .indextable th {border: 1px #ddd solid; min-width: 80px}
+.indextable td.module {background-color: #eee ;  padding-left: 2px; padding-right: 2px}
+.indextable td.module a {color: #4E6272; text-decoration: none; display: block; width: 100%}
+.indextable td.module a:hover {text-decoration: underline; background-color: transparent}
+.deprecated {color: #888; font-style: italic}
+.indextable tr td div.info { margin-left: 2px; margin-right: 2px }
+ul.indexlist { margin-left: 0; padding-left: 0;}
+ul.indexlist li { list-style-type: none ; margin-left: 0; padding-left: 0; }
+ul.info-attributes {list-style: none; margin: 0; padding: 0; }
+div.info > p:first-child { margin-top:0; }
+div.info-desc > p:first-child { margin-top:0; margin-bottom:0; }
+\ No newline at end of file