delete history

JuliaReach · Jan 9, 2025 · d6ce597 · d6ce597
commit d6ce597
Show file tree

Hide file tree

Showing 1,374 changed files with 38,912 additions and 0 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2025-01-09T18:01:47","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/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.2","generation_timestamp":"2025-01-09T18:01:47","documenter_version":"1.8.0"}}