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 | -2/+4 |
* | Update 2017 copyright notices. | gjoranv | 2021-10-07 | 1 | -1/+1 |
* | Carry weight | Jon Bratseth | 2021-03-26 | 1 | -0/+1 |
* | Cleanup: No functional changes | Jon Bratseth | 2021-03-26 | 1 | -10/+10 |
* | 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/+79 |