Merge pull request #201 from c4dt/data/weekly-last-commit-date-update-17722716434

data: Automated Weekly last commit date update

Author: lanterno

data/COMPSEC/projects.yaml

@@ -32,7 +32,7 @@ projects:
     code:
       type: Project Github
       url: https://github.com/arkworks-rs
-      date_last_commit: 2025-09-04
+      date_last_commit: 2025-09-12
     language: Rust
     license: Apache-2.0
     information:

data/LAMP/projects.yaml

@@ -16,7 +16,7 @@ projects:
     code:
       type: Project GitHub
       url: https://github.com/scala-js/scala-js
-      date_last_commit: 2025-09-06
+      date_last_commit: 2025-09-08
     language: Scala
     license: Apache-2.0
     tags:
@@ -45,7 +45,7 @@ projects:
     code:
       type: Project GitHub
       url: https://github.com/scala-native/scala-native
-      date_last_commit: 2025-09-07
+      date_last_commit: 2025-09-14
     language: Scala, C
     license: Apache-2.0
     tags:
@@ -80,7 +80,7 @@ projects:
     code:
       type: Project Github
       url: https://github.com/scala/scala3
-      date_last_commit: 2025-09-07
+      date_last_commit: 2025-09-13
     language: Scala
     license: Apache-2.0
     date_added: 2024-04-12

data/LAP/projects.yaml

@@ -16,7 +16,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/EPFL-LAP/dynamatic
-      date_last_commit: 2025-09-04
+      date_last_commit: 2025-09-12
     language: C++
     license: MIT
     tags:

data/LARA/projects.yaml

@@ -15,7 +15,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/epfl-lara/stainless
-      date_last_commit: 2025-09-05
+      date_last_commit: 2025-09-11
     doc: https://epfl-lara.github.io/stainless/
     contacts:
       - name: Viktor Kunčak
@@ -116,7 +116,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/epfl-lara/inox
-      date_last_commit: 2025-09-04
+      date_last_commit: 2025-09-12
     contacts:
       - name: Viktor Kunčak
         email: viktor.kuncak@epfl.ch
@@ -174,7 +174,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/epfl-lara/lisa
-      date_last_commit: 2025-08-04
+      date_last_commit: 2025-09-09
     language: Scala
     type: Framework, Application
     license: Apache-2.0