Regenerate specification (#538)

* Regenerate specification * Update on v2.2 * GenSerializers description * Implement SBoolean.toByte * Regenerate specification with respect to SBoolean.toByte * Revert null in isProven info * fix generator name * Revert SBoolean.toByte * Fix propertycall generation in specgen * Update spec to release version * Regenerate spec
ergoplatform · Sep 13, 2019 · b317b08 · b317b08
1 parent e07c9c5
commit b317b08
Show file tree

Hide file tree

Showing 18 changed files with 119 additions and 630 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,3 @@
-*.pdf
 *.toc
 *.aux
 *.log

diff --git a/docs/sigmastate_protocols/sigmastate_protocols.pdf b/docs/sigmastate_protocols/sigmastate_protocols.pdf
diff --git a/docs/spec/generated/BigInt_methods.tex b/docs/spec/generated/BigInt_methods.tex
@@ -23,30 +23,6 @@ \subsubsection{\lst{BigInt.toByte} method (Code 106.1)}
 
 
 
-\subsubsection{\lst{BigInt.modQ} method (Code 6.1)}
-\label{sec:type:BigInt:modQ}
-\noindent
-\begin{tabularx}{\textwidth}{| l | X |}
-   \hline
-   \bf{Description} & Returns this \lst{mod} Q, i.e. remainder of division by Q, where Q is an order of the cryprographic group. \\
-
-  \hline
-  \bf{Parameters} &
-      \(\begin{array}{l l l}
-         
-      \end{array}\) \\
-
-  \hline
-  \bf{Result} & \lst{BigInt} \\
-  \hline
-
-  \bf{Serialized as} & \hyperref[sec:serialization:operation:ModQ]{\lst{ModQ}} \\
-  \hline
-
-\end{tabularx}
-
-
-
 \subsubsection{\lst{BigInt.toShort} method (Code 106.2)}
 \label{sec:type:BigInt:toShort}
 \noindent
@@ -71,30 +47,6 @@ \subsubsection{\lst{BigInt.toShort} method (Code 106.2)}
 
 
 
-\subsubsection{\lst{BigInt.plusModQ} method (Code 6.2)}
-\label{sec:type:BigInt:plusModQ}
-\noindent
-\begin{tabularx}{\textwidth}{| l | X |}
-   \hline
-   \bf{Description} & Adds this number with \lst{other} by module Q. \\
-
-  \hline
-  \bf{Parameters} &
-      \(\begin{array}{l l l}
-         \lst{other} & \lst{: BigInt} & \text{// Number to add to this.} \\
-      \end{array}\) \\
-
-  \hline
-  \bf{Result} & \lst{BigInt} \\
-  \hline
-
-  \bf{Serialized as} & \hyperref[sec:serialization:operation:PlusModQ]{\lst{PlusModQ}} \\
-  \hline
-
-\end{tabularx}
-
-
-
 \subsubsection{\lst{BigInt.toInt} method (Code 106.3)}
 \label{sec:type:BigInt:toInt}
 \noindent
@@ -119,30 +71,6 @@ \subsubsection{\lst{BigInt.toInt} method (Code 106.3)}
 
 
 
-\subsubsection{\lst{BigInt.minusModQ} method (Code 6.3)}
-\label{sec:type:BigInt:minusModQ}
-\noindent
-\begin{tabularx}{\textwidth}{| l | X |}
-   \hline
-   \bf{Description} & Subtracts \lst{other} number from this by module Q. \\
-
-  \hline
-  \bf{Parameters} &
-      \(\begin{array}{l l l}
-         \lst{other} & \lst{: BigInt} & \text{// Number to subtract from this.} \\
-      \end{array}\) \\
-
-  \hline
-  \bf{Result} & \lst{BigInt} \\
-  \hline
-
-  \bf{Serialized as} & \hyperref[sec:serialization:operation:MinusModQ]{\lst{MinusModQ}} \\
-  \hline
-
-\end{tabularx}
-
-
-
 \subsubsection{\lst{BigInt.toLong} method (Code 106.4)}
 \label{sec:type:BigInt:toLong}
 \noindent
@@ -167,30 +95,6 @@ \subsubsection{\lst{BigInt.toLong} method (Code 106.4)}
 
 
 
-\subsubsection{\lst{BigInt.multModQ} method (Code 6.4)}
-\label{sec:type:BigInt:multModQ}
-\noindent
-\begin{tabularx}{\textwidth}{| l | X |}
-   \hline
-   \bf{Description} & Multiply this number with \lst{other} by module Q. \\
-
-  \hline
-  \bf{Parameters} &
-      \(\begin{array}{l l l}
-         \lst{other} & \lst{: BigInt} & \text{// Number to multiply with this.} \\
-      \end{array}\) \\
-
-  \hline
-  \bf{Result} & \lst{BigInt} \\
-  \hline
-
-  \bf{Serialized as} & \hyperref[sec:serialization:operation:MethodCall]{\lst{MethodCall}} \\
-  \hline
-
-\end{tabularx}
-
-
-
 \subsubsection{\lst{BigInt.toBigInt} method (Code 106.5)}
 \label{sec:type:BigInt:toBigInt}
 \noindent

diff --git a/docs/spec/generated/Boolean_methods.tex b/docs/spec/generated/Boolean_methods.tex
@@ -1,22 +0,0 @@
-
-\subsubsection{\lst{Boolean.toByte} method (Code 1.1)}
-\label{sec:type:Boolean:toByte}
-\noindent
-\begin{tabularx}{\textwidth}{| l | X |}
-   \hline
-   \bf{Description} & Convert true to 1 and false to 0 \\
-
-  \hline
-  \bf{Parameters} &
-      \(\begin{array}{l l l}
-         
-      \end{array}\) \\
-
-  \hline
-  \bf{Result} & \lst{Byte} \\
-  \hline
-
-  \bf{Serialized as} & \hyperref[sec:serialization:operation:PropertyCall]{\lst{PropertyCall}} \\
-  \hline
-
-\end{tabularx}

diff --git a/docs/spec/generated/GroupElement_methods.tex b/docs/spec/generated/GroupElement_methods.tex
@@ -1,28 +1,4 @@
 
-\subsubsection{\lst{GroupElement.isIdentity} method (Code 7.1)}
-\label{sec:type:GroupElement:isIdentity}
-\noindent
-\begin{tabularx}{\textwidth}{| l | X |}
-   \hline
-   \bf{Description} & Checks if this value is identity element of the eliptic curve group. \\
-
-  \hline
-  \bf{Parameters} &
-      \(\begin{array}{l l l}
-         
-      \end{array}\) \\
-
-  \hline
-  \bf{Result} & \lst{Boolean} \\
-  \hline
-
-  \bf{Serialized as} & \hyperref[sec:serialization:operation:PropertyCall]{\lst{PropertyCall}} \\
-  \hline
-
-\end{tabularx}
-
-
-
 \subsubsection{\lst{GroupElement.getEncoded} method (Code 7.2)}
 \label{sec:type:GroupElement:getEncoded}
 \noindent