feat: makes type a required field

c4dt · Jan 8, 2024 · 4fe4364 · 4fe4364
1 parent e041956
commit 4fe4364
Show file tree

Hide file tree

Showing 16 changed files with 57 additions and 12 deletions.
diff --git a/data.py b/data.py
@@ -36,6 +36,14 @@
         sy.Map({
             "name": sy.Str(),
             "description": sy.Str(),
+            "type": sy.CommaSeparated(sy.Enum([
+                "Application",  # Stand-alone code with useful functionality outside of the paper
+                "Library",      # Code to be included in other projects outside of the paper
+                "Framework",    # A set of concepts and best practices for a given task
+                "Toolset",      # Various stand-alone applications for a given task
+                "Simulation",   # Generic code that can be used to run simulations described in the paper
+                "Experiments",  # Code that produces figures and graphs of the paper
+            ])),
             "categories": sy.Seq(sy.Enum([
                "Privacy",
                "Blockchain",
@@ -75,14 +83,6 @@
 
             sy.Optional("layman_desc"): sy.Str(),
             sy.Optional("tech_desc"): sy.Str(),
-            sy.Optional("type"): sy.CommaSeparated(sy.Enum([
-                "Application", # Stand-alone code with useful functionality outside of the paper
-                "Library",     # Code to be included in other projects outside of the paper
-                "Framework",   # A set of concepts and best practices for a given task
-                "Toolset",     # Various stand-alone applications for a given task
-                "Simulation",  # Generic code that can be used to run simulations described in the paper
-                "Experiments", # Code that produces figures and graphs of the paper
-            ])),
             sy.Optional("notes"): sy.Str(),
             sy.Optional("url"): sy.Url(),
             sy.Optional("contacts"): sy.Seq(

diff --git a/data/IVRL/projects.yaml b/data/IVRL/projects.yaml
@@ -43,6 +43,7 @@ projects:
 
   adefan:
     name: ADEFAN
+    type: Application
     categories:
       - Other
     applications:
@@ -77,6 +78,7 @@ projects:
 
   fg-nic:
     name: FG-NIC
+    type: Application
     categories:
       - Learning
     applications:
@@ -111,6 +113,7 @@ projects:
 
   buifd:
     name: BUIFD
+    type: Application
     categories:
       - Learning
     applications:
@@ -144,6 +147,7 @@ projects:
 
   zero-learning-medical-fusion:
     name: Zero-Learning Fast Medical Image Fusion
+    type: Application
     categories:
       - Learning
     applications:
@@ -175,6 +179,7 @@ projects:
 
   lelsd:
     name: LELSD
+    type: Application
     categories:
       - Learning
     applications:
@@ -202,6 +207,7 @@ projects:
 
   dsr:
     name: DSR
+    type: Experiments, Simulation
     categories:
       - Learning
     applications:
@@ -233,6 +239,7 @@ projects:
 
   tempsal:
     name: TempSAL
+    type: Application, Experiments
     categories:
       - Learning
     applications:

diff --git a/data/LAMP/projects.yaml b/data/LAMP/projects.yaml
@@ -1,6 +1,7 @@
 projects:
   scala-js:
     name: Scala.js
+    type: Library, Toolset
     categories:
       - Other
     applications:
@@ -27,6 +28,7 @@ projects:
 
   scala-native:
     name: Scala Native
+    type: Library, Toolset
     categories:
       - Other
     applications:

diff --git a/data/LAP/projects.yaml b/data/LAP/projects.yaml
@@ -1,6 +1,7 @@
 projects:
   dynamatic:
-    name: Dynamatic
+    name: Application, Dynamatic
+    type: Toolset
     categories:
       - Other
     applications:
@@ -38,6 +39,7 @@ projects:
 
   dynaburst:
     name: DynaBurst
+    type: Application, Library
     categories:
       - Other
     applications:

diff --git a/data/LARA/projects.yaml b/data/LARA/projects.yaml
@@ -138,7 +138,7 @@ projects:
       - Verification
     applications:
       - Infra
-    description: Rust frontend for Stainless
+    description: Ru
     contacts:
       - name: Georg Stefan Schmid
         email: [email protected]
@@ -150,6 +150,7 @@ projects:
       date_last_commit: 2021-07-22
     maturity: 1
     language: Rust
+    type: Application
     license: Apache-2.0
     tags:
       - Static Analysis
@@ -172,6 +173,7 @@ projects:
       url: https://github.com/epfl-lara/lisa
       date_last_commit: 2023-02-24
     language: Scala
+    type: Framework, Application
     license: Apache-2.0
     tags:
       - Code Analysis
@@ -191,6 +193,7 @@ projects:
       url: https://github.com/epfl-lara/scallion
       date_last_commit: 2022-10-03
     language: Scala
+    type: Library
     license: Apache-2.0
     tags:
       - Development

diff --git a/data/LASEC/projects.yaml b/data/LASEC/projects.yaml
@@ -17,6 +17,7 @@ projects:
       url: https://github.com/marinthiercelin/offChainer
       date_last_commit: 2020-01-14
     language: JavaScript
+    type: Toolset
     tags:
       - Decentralized
       - Zero-Knowledge Proofs

diff --git a/data/LIA/projects.yaml b/data/LIA/projects.yaml
@@ -17,6 +17,7 @@ projects:
       url: https://github.com/AlekseiTriastcyn/bayesian-differential-privacy
       date_last_commit: 2020-08-12
     language: Python
+    type: Experiments
     license: Apache-2.0
     tags:
       - Anonymity
@@ -47,6 +48,7 @@ projects:
       url: https://github.com/DoubleMuL/ADER
       date_last_commit: 2021-10-27
     language: Python
+    type: Simulation
     license: MIT
     tags:
       - Decentralized

diff --git a/data/LIONS/projects.yaml b/data/LIONS/projects.yaml
@@ -13,6 +13,7 @@ projects:
       type: Lab Download
       url: https://www.epfl.ch/labs/lions/wp-content/uploads/2019/01/DECOPT-v1.0.zip
     language: MATLAB
+    type: Framework, Experiments
     tags:
       - Optimization
     information:
@@ -44,6 +45,7 @@ projects:
       type: Lab Download
       url: https://www.epfl.ch/labs/lions/wp-content/uploads/2019/01/LB-CSMRI.zip
     language: MATLAB
+    type: Framework, Simulation
     tags:
       - Optimization
       - Images
@@ -72,6 +74,7 @@ projects:
       url: https://github.com/LIONS-EPFL/storm-plus-code
       date_last_commit: 2022-05-14
     language: Python
+    type: Library
     tags:
       - PyTorch
     information:

diff --git a/data/MLO/projects.yaml b/data/MLO/projects.yaml
@@ -242,6 +242,7 @@ projects:
       url: https://github.com/epfml/relaysgd
       date_last_commit: 2021-10-27
     language: Python
+    type: Library, Experiments
     license: MIT
     tags:
       - Distributed Learning
@@ -357,6 +358,7 @@ projects:
       url: https://github.com/epfml/byzantine-robust-optimizer
       date_last_commit: 2021-06-11
     language: Python
+    type: Simulation
     license: MIT
     tags:
       - Distributed Learning
@@ -393,6 +395,7 @@ projects:
       url: https://github.com/epfml/quasi-global-momentum
       date_last_commit: 2022-12-23
     language: Python
+    type: Simulation
     license: Apache-2.0
     tags:
       - Decentralized
@@ -423,6 +426,7 @@ projects:
       type: Personal GitHub
       url: https://github.com/mvujas/HyperAggregate
       date_last_commit: 2021-07-03
+    type: Library, Experiments
     language: Python, JavaScript
     tags:
       - Decentralized
@@ -448,6 +452,7 @@ projects:
       url: https://github.com/epfml/phantomedicus
       date_last_commit: 2022-06-25
     language: Python
+    type: Framework
     tags:
       - Predictor
     date_added: 2022-07-06

diff --git a/data/RS3LAB/projects.yaml b/data/RS3LAB/projects.yaml
@@ -44,6 +44,7 @@ projects:
       type: Non-lab GitHub
       url: https://github.com/cosmoss-vt/pactree
       date_last_commit: 2021-11-08
+    type: Simulation
     language: C++
     license: Apache-2.0
     tags:
@@ -75,6 +76,7 @@ projects:
       url: https://github.com/vmware-labs/node-replicated-kernel
       date_last_commit: 2023-03-11
     language: Rust
+    type: Framework, Experiments
     license: Apache-2.0
     tags:
       - Concurrency
@@ -106,6 +108,7 @@ projects:
       url: https://github.com/rs3lab/SynCord
       date_last_commit: 2022-07-01
     language: Python, C
+    type: Framework, Experiments
     license: other
     tags:
       - Concurrency
@@ -131,6 +134,7 @@ projects:
       url: https://github.com/rs3lab/Odinfs
       date_last_commit: 2022-05-16
     language: C
+    type: Simulation, Experiments
     license: other
     tags:
       - Concurrency
@@ -154,6 +158,7 @@ projects:
       type: Lab GitHub
       url: https://github.com/sslab-gatech/hydra
       date_last_commit: 2022-08-08
+    type: Framework, Experiments
     information:
       - type: Paper
         title: Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework

diff --git a/data/SACS/projects.yaml b/data/SACS/projects.yaml
@@ -14,6 +14,7 @@ projects:
       url: https://github.com/technicolor-research/quick-adc
       date_last_commit: 2019-05-31
     language: C++
+    type: Library, Simulation
     license: BSD-3-Clause Clear
     tags:
       - Database
@@ -45,6 +46,7 @@ projects:
       url: https://github.com/nmldiegues/proteustm
       date_last_commit: 2016-03-19
     language: C, C++
+    type: Framework, Experiments
     tags:
       - Development
       - Concurrency

diff --git a/data/SPRING/projects.yaml b/data/SPRING/projects.yaml
@@ -448,6 +448,7 @@ projects:
       type: Lab GitHub
       url: https://github.com/spring-epfl/voteagain
       date_last_commit: 2022-03-22
+    type: Experiments
     language: Python
     license: MIT
     tags:
@@ -484,6 +485,7 @@ projects:
       type: Lab GitHub
       url: https://github.com/spring-epfl/datashare-network-crypto
       date_last_commit: 2022-09-21
+    type: Simulation
     language: Python
     license: BSD-3-Clause
     tags:
@@ -517,6 +519,7 @@ projects:
       type: Lab GitHub
       url: https://github.com/spring-epfl/tandem
       date_last_commit: 2020-06-14
+    type: Simulation
     language: C
     license: BSD-3-Clause
     tags:
@@ -552,6 +555,7 @@ projects:
       type: Lab GitHub
       url: https://github.com/spring-epfl/WebGraph
       date_last_commit: 2022-08-25
+    type: Application
     language: Python
     license: other
     tags:
@@ -587,6 +591,7 @@ projects:
       type: Lab GitHub
       url: https://github.com/spring-epfl/disparate-vulnerability
       date_last_commit: 2021-10-20
+    type: Simulation, Experiments
     language: Python
     license: MIT
     tags:
@@ -622,6 +627,7 @@ projects:
     c4dt_contact:
       name: Linus Gasser
       email: [email protected]
+    type: Simulation
     tags:
       - Anonymity
       - Protection

diff --git a/data/SalatheLab/projects.yaml b/data/SalatheLab/projects.yaml
@@ -20,6 +20,7 @@ projects:
       url: https://github.com/digitalepidemiologylab/foodrepo_api
       date_last_commit: 2020-08-24
     license: CC BY 4.0
+    type: Application
     tags:
       - Database
     language: JavaScript
@@ -72,6 +73,7 @@ projects:
       type: Lab GitHub
       url: https://github.com/digitalepidemiologylab/crowdbreaks
       date_last_commit: 2022-11-30
+    type: Application
     license: MIT
     information:
       - type: Paper

diff --git a/data/VLSC/projects.yaml b/data/VLSC/projects.yaml
@@ -19,6 +19,7 @@ projects:
       url: https://github.com/epfl-vlsc/memoro
       date_last_commit: 2021-01-14
     language: C++, JavaScript
+    type: Application
     license: MIT
     tags:
       - Low-Level
@@ -51,6 +52,7 @@ projects:
       url: https://github.com/s3team/Abacus
       date_last_commit: 2022-05-17
     language: C
+    type: Application
     license: MIT
     tags:
       - Development

diff --git a/requirements.txt b/requirements.txt
@@ -1,3 +1,3 @@
 strictyaml==1.6.2
-bottle==0.12.23
+bottle==0.12.25
 ruamel-yaml==0.17.21