docs

epfl-lara · Nov 22, 2024 · ee8ba23 · ee8ba23
1 parent 7e285b0
commit ee8ba23
Show file tree

Hide file tree

Showing 329 changed files with 37,517 additions and 7,395 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
 target/
 project/target/
-example/target/
+example/target/
+.bsp
diff --git a/build.sbt b/build.sbt
@@ -2,7 +2,7 @@
 val commonSettings = Seq(
   version            := "0.6",
   scalaVersion       := "3.5.0",
-  crossScalaVersions := Seq("2.12.13", "2.13.4", "3.0.1", "3.2.0"),
+  crossScalaVersions := Seq("2.12.13", "2.13.4", "3.0.1", "3.2.0", "3.5.0"),
   organization       := "ch.epfl.lara",
 )
 
@@ -21,7 +21,6 @@ lazy val silex = project
     Compile / doc / scalacOptions ++= Seq(
       "-groups",
       "-sourcepath", baseDirectory.value.getAbsolutePath,
-      "-doc-source-url", "https://raw.githubusercontent.com/epfl-lara/silex/master€{FILE_PATH}.scala",
       "-doc-root-content", baseDirectory.value + "/project/root-doc.txt"
     ),
 

diff --git a/docs/fonts/FiraCode-Regular.ttf b/docs/fonts/FiraCode-Regular.ttf
diff --git a/docs/fonts/Inter-Bold.ttf b/docs/fonts/Inter-Bold.ttf
diff --git a/docs/fonts/Inter-Medium.ttf b/docs/fonts/Inter-Medium.ttf
diff --git a/docs/fonts/Inter-Regular.ttf b/docs/fonts/Inter-Regular.ttf
diff --git a/docs/fonts/Inter-SemiBold.ttf b/docs/fonts/Inter-SemiBold.ttf
diff --git a/docs/hljs/highlight.min.js b/docs/hljs/highlight.min.js
diff --git a/docs/hljs/highlight.pack.js b/docs/hljs/highlight.pack.js
diff --git a/docs/images/banner-icons/error.svg b/docs/images/banner-icons/error.svg
diff --git a/docs/images/banner-icons/info.svg b/docs/images/banner-icons/info.svg
diff --git a/docs/images/banner-icons/neutral.svg b/docs/images/banner-icons/neutral.svg
diff --git a/docs/images/banner-icons/success.svg b/docs/images/banner-icons/success.svg
diff --git a/docs/images/banner-icons/warning.svg b/docs/images/banner-icons/warning.svg
diff --git a/docs/images/bulb/dark/default.svg b/docs/images/bulb/dark/default.svg
diff --git a/docs/images/bulb/light/default.svg b/docs/images/bulb/light/default.svg
diff --git a/docs/images/class-big.svg b/docs/images/class-big.svg
diff --git a/docs/images/class-dark-big.svg b/docs/images/class-dark-big.svg
diff --git a/docs/images/class-dark.svg b/docs/images/class-dark.svg