Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Cleanup | Jon Bratseth | 2022-01-20 | 1 | -36/+23 |
* | Support producing all clauses in a referenced condition | Jon Bratseth | 2022-01-19 | 1 | -51/+94 |
* | Update 2017 copyright notices. | gjoranv | 2021-10-07 | 1 | -1/+1 |
* | Handle repeated EQUIV production | Jon Bratseth | 2021-04-05 | 1 | -9/+32 |
* | Cleanup: No functional changes | Jon Bratseth | 2021-03-26 | 1 | -30/+29 |
* | Support equiv | Jon Bratseth | 2021-03-11 | 1 | -17/+7 |
* | Non-functional changes only | Jon Bratseth | 2019-12-10 | 1 | -51/+51 |
* | Non-functional changes only | Jon Bratseth | 2019-03-22 | 1 | -2/+1 |
* | Revert "Revert "Gjoranv/java9 prep 05"" | gjoranv | 2018-05-02 | 1 | -2/+2 |
* | Revert "Gjoranv/java9 prep 05" | gjoranv | 2018-05-02 | 1 | -2/+2 |
* | Java 9: Replace 'new Integer' with 'Integer.valueOf' | gjoranv | 2018-04-30 | 1 | -2/+2 |
* | 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/+453 |