Merge pull request #95 from JuliaReach/schillic/spellcheck

Spell check

.github/workflows/SpellCheck.yml

@@ -0,0 +1,13 @@
+name: Spell Check
+
+on: [pull_request]
+
+jobs:
+  typos-check:
+    name: check spelling
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Actions Repository
+        uses: actions/checkout@v4
+      - name: Check spelling
+        uses: crate-ci/typos@master

.typos.toml

@@ -0,0 +1,3 @@
+[default.extend-words]
+# do not correct the following strings:
+fom = "fom"

docs/make.jl

@@ -25,7 +25,7 @@ makedocs(; sitename="ReachabilityModels",
                                      "Building" => "models/building.md",
                                      "CD Player" => "models/cdplayer.md",
                                      "Crane" => "models/crane.md",
-                                     "Elipse" => "models/elipse.md",
+                                     "Ellipse" => "models/ellipse.md",
                                      "Five Dim System" => "models/five_dim_sys.md",
                                      "Fom" => "models/fom.md",
                                      "Heat" => "models/heat.md",

src/models/elipse/elipse.jl → src/models/ellipse/ellipse.jl

@@ -1,8 +1,8 @@
-# # Elipse
+# # Ellipse
 
 # ## Model
 
-module elipse   #jl
+module ellipse   #jl
 
 using ReachabilityAnalysis
 

src/models/elipse/elipse_meta.jl → src/models/ellipse/ellipse_meta.jl

@@ -8,7 +8,7 @@ Z0 = α * X0₁ + (1 - α) * X0₂;
 
 Dict(["opts" => Dict(:T => 15.0, :alg => GLGM06(; δ=0.05)),
       "X0"   => Z0,
-      "info" => Dict("name" => "elipse",
+      "info" => Dict("name" => "ellipse",
       "dim" => 2,
       "linear" => true,
       "hybrid" => false)])