| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Remove unused TVal | Tom Smeding | 5 years | |
| Age | Commit message | Author | ||
| 2020-12-26 | Remove unused TValHEADmaster | Tom Smeding | ||
| 2020-12-26 | Initial | Tom Smeding | ||
 |
index : first-order-exprs | |
| Attempt at a faster first-order expression simplifier | git daemon user |
| summaryrefslogtreecommitdiff |