Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-11-17 | -minor cleanups | Christian Grothoff | |
2023-10-10 | -fix stupid crash bug | Christian Grothoff | |
2023-06-05 | work on cleaning up benchmark logicv0.9.3-dev.2 | Christian Grothoff | |
2020-03-31 | typosCodeBlau-NGI-2019 | Christian Grothoff | |
2016-04-10 | fixing #4386: use more sane configuration and data file structure | Christian Grothoff | |