publis

_data/publications.yml

 - id: public
   name: Plug-ins distributed with Frama-C
+  short: Distributed plug-ins
   plugins:
   - id: eva
     name: Eva, an Evolved Value Analysis
+    short: Eva
   - id: wp
     name: WP
   - id: e-acsl
@@ -11,8 +13,10 @@
     name: Aoraï
   - id: slicing
     name: Security slicing
+    short: Slicing
 - id: internal
   name: Internal plug-ins at CEA
+  short: Internal plug-ins
   plugins:
   - id: cfp
     name: CFP