Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update copyright | Jon Bratseth | 2023-10-09 | 1 | -1/+1 |
* | Support producing all clauses in a referenced condition | Jon Bratseth | 2022-01-19 | 1 | -1/+11 |
* | Update 2017 copyright notices. | gjoranv | 2021-10-07 | 1 | -1/+1 |
* | Carry weight | Jon Bratseth | 2021-03-26 | 1 | -1/+3 |
* | Cleanup: No functional changes | Jon Bratseth | 2021-03-26 | 1 | -14/+16 |
* | Non-functional changes only | Jon Bratseth | 2019-12-10 | 1 | -7/+7 |
* | 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/+80 |