---
# System prepended metadata

title: Viper docgen BSc project

---

# Viper docgen BSc project

https://www.pm.inf.ethz.ch/education/student-projects/viper-viperdoc-bsc.html

Project presentation: Wednesday, January 31 at 13:30, CAB H52

## Documentation generator

### Implementation
- possible approach: modify existing Viper parser to include comments in attributes/annotations of the AST
- see implementation of the ADT plugin

## Documenting built-in types