Merge pull request #349 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,2 @@
+[files]
+extend-exclude = ["*.onnx"]

src/nnops.jl

@@ -330,7 +330,7 @@ function forward(nnet::FeedforwardNetwork, X0::LazySet;
     # initial states
     xᴾ₀ = _decompose_1D(X0)
     xᴾ₀ = array(xᴾ₀)  # see https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/254
-    xᴾ₀ = [x.dat for x in xᴾ₀] # use concrete inteval matrix-vector operations
+    xᴾ₀ = [x.dat for x in xᴾ₀]  # use concrete interval matrix-vector operations
 
     for layer in nnet.layers  # loop over layers
         W = layer.weights

src/setops.jl

@@ -54,7 +54,7 @@ end
 
 function _reconstruct(method::TaylorModelReconstructor, P₀::LazySet, U₀::Vector{<:LazySet},
                       R::TaylorModelReachSet{N}, ti) where {N}
-    @assert length(U₀) == 1 "expected the length of U₀ to be 1, got $(lenght(U₀))"
+    @assert length(U₀) == 1 "expected the length of U₀ to be 1, got $(length(U₀))"
     return _reconstruct(method, P₀, first(U₀), R, ti)
 end