| Age | Commit message (Expand) | Author | 
|---|---|---|
| 2020-01-17 | doxygen fixes | Christian Grothoff | 
| 2019-10-31 | tighten formatting rules | Christian Grothoff | 
| 2019-08-25 | re-format code | Florian Dold | 
| 2019-04-07 | fix #includes | Christian Grothoff | 
| 2019-01-17 | Add playground test case. | Marcello Stanisci | 
