Age | Commit message (Expand) | 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 |