delete history

JuliaReach · Jan 31, 2025 · b18ec40 · b18ec40
commit b18ec40
Show file tree

Hide file tree

Showing 1,720 changed files with 49,150 additions and 0 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.11.3","generation_timestamp":"2025-01-26T09:26:46","documenter_version":"1.8.0"}}
diff --git a/dev/about/index.html b/dev/about/index.html
diff --git a/dev/assets/aligned.css b/dev/assets/aligned.css
@@ -0,0 +1,3 @@
+p {
+  text-align: justify
+}
diff --git a/dev/assets/bouncing_ball.tex b/dev/assets/bouncing_ball.tex
@@ -0,0 +1,17 @@
+\begin{tikzpicture}
+	\node[draw,circle,rounded corners,thick] (loc) {
+		\begin{tabular}{@{} c @{}}
+		$x' = v$ \\[1mm]
+		$v' = -g$ \\[1mm]
+		\hline \\[-2mm]
+		$x \geq 0$
+		\end{tabular}};
+	%
+	\draw[->,>=stealth, loop right,looseness=3] (loc) to node[right] {
+		\begin{tabular}{@{} c @{}}
+		$x = 0$ \\[1mm]
+	    $v < 0$ \\[1mm]
+		\hline \\[-2mm]
+		$v' := -cv$
+		\end{tabular}} (loc);
+\end{tikzpicture}
diff --git a/dev/assets/bouncing_ball_annotations.png b/dev/assets/bouncing_ball_annotations.png
diff --git a/dev/assets/citations.css b/dev/assets/citations.css
@@ -0,0 +1,17 @@
+.citation dl {
+  display: grid;
+  grid-template-columns: max-content auto; }
+.citation dt {
+  grid-column-start: 1; }
+.citation dd {
+  grid-column-start: 2;
+  margin-bottom: 0.75em; }
+.citation ul {
+ padding: 0 0 2.25em 0;
+ margin: 0;
+ list-style: none !important;}
+.citation ul li {
+ text-indent: -2.25em;
+ margin: 0.33em 0.5em 0.5em 2.25em;}
+.citation ol li {
+ padding-left:0.75em;}
diff --git a/dev/assets/clocked_simple.tex b/dev/assets/clocked_simple.tex
@@ -0,0 +1,17 @@
+\begin{tikzpicture}
+	\node[draw, rectangle, rounded corners,thick] (loc) {
+		\begin{tabular}{@{} c @{}}
+		$x' = -x$ \\[1mm]
+		$T' = 1$ \\[1mm]
+		\hline \\[-2mm]
+		$T \leq \Tsample + \jitter$
+		\end{tabular}};
+	%
+	\draw[->,>=stealth, loop right,looseness=3] (loc) to node[right] {
+		\begin{tabular}{@{} c @{}}
+		$T \geq \Tsample - \jitter$ \\[1mm]
+		\hline \\[-2mm]
+		$x' := 2 x$ \\[1mm]
+		$T' := T - \Tsample$
+		\end{tabular}} (loc);
+\end{tikzpicture}
diff --git a/dev/assets/clocked_simple_annotations.png b/dev/assets/clocked_simple_annotations.png
diff --git a/dev/assets/clocked_timeline.png b/dev/assets/clocked_timeline.png
diff --git a/dev/assets/decomposition.png b/dev/assets/decomposition.png
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.11.3","generation_timestamp":"2025-01-26T09:26:46","documenter_version":"1.8.0"}}