aboutsummaryrefslogtreecommitdiff
path: root/src/main.c
Commit message (Expand)AuthorAgeFilesLines
* Use the correct symbol for XORThomas Voss 2024-09-051-1/+1
* Fix some integer-type bugsThomas Voss 2024-09-051-3/+3
* Add -sThomas Voss 2024-09-041-3/+20
* Support multiple eqns per tableThomas Voss 2024-09-041-41/+104
* Use ⊕ as the XOR symbolThomas Voss 2024-09-041-1/+1
* Replace digits with binaryThomas Voss 2024-09-041-7/+7
* Remove --latex in favour of --table-styleThomas Voss 2024-09-041-13/+42
* Support T/F, 0/1, and ⊤/⊥ in outputThomas Voss 2024-09-041-17/+53
* Support LaTeX outputThomas Voss 2024-09-041-11/+74
* FormattingThomas Voss 2024-09-041-9/+7
* Improve interactive usageThomas Voss 2024-09-041-5/+43
* Genesis commitThomas Voss 2024-09-041-0/+206