Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Synonym expansions | Jon Bratseth | 2023-09-08 | 1 | -2/+2 |
* | Stack => Deque and gc unused ConfigFileFormat | Henning Baldersheim | 2023-01-25 | 1 | -19/+20 |
* | Support producing all clauses in a referenced condition | Jon Bratseth | 2022-01-19 | 1 | -7/+8 |
* | Update 2017 copyright notices. | gjoranv | 2021-10-07 | 1 | -1/+1 |
* | Cleanup | Jon Bratseth | 2021-04-05 | 1 | -47/+46 |
* | Non-functional changes only | Jon Bratseth | 2019-12-10 | 1 | -24/+24 |
* | Update copyright headers | Jon Bratseth | 2017-06-14 | 1 | -1/+1 |
* | Revert "Update copyright headers" | Jon Bratseth | 2017-06-14 | 1 | -1/+1 |
* | Update copyright headers | Jon Bratseth | 2017-06-14 | 1 | -1/+1 |
* | Revert "Copyright header" | Jon Bratseth | 2017-06-13 | 1 | -1/+1 |
* | Copyright header | Jon Bratseth | 2017-06-13 | 1 | -1/+1 |
* | Use github name in @author | Jon Bratseth | 2016-06-16 | 1 | -1/+1 |
* | Publish | Jon Bratseth | 2016-06-15 | 1 | -0/+346 |