| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | *Finally* do proper location tracking | Thomas Voss | 2024-09-06 | 1 | -16/+19 |
| * | More accurate location tracking | Thomas Voss | 2024-09-06 | 1 | -13/+25 |
| * | Don’t use yylineno | Thomas Voss | 2024-09-05 | 1 | -3/+2 |
| * | Enable Flex warnings | Thomas Voss | 2024-09-05 | 1 | -1/+1 |
| * | Perform line continuation in non-interactive mode only | Thomas Voss | 2024-09-05 | 2 | -5/+24 |
| * | Use more accurate position information | Thomas Voss | 2024-09-05 | 2 | -2/+14 |
| * | Match the empty-line case | Thomas Voss | 2024-09-05 | 1 | -1/+1 |
| * | Specify nodefault | Thomas Voss | 2024-09-05 | 1 | -3/+2 |
| * | Formatting | Thomas Voss | 2024-09-05 | 1 | -5/+5 |
| * | Add a comment | Thomas Voss | 2024-09-05 | 1 | -1/+4 |
| * | Don’t parse if a lexing error occurs | Thomas Voss | 2024-09-05 | 1 | -0/+6 |
| * | Update README | Thomas Voss | 2024-09-05 | 1 | -0/+13 |
| * | Allow line continuation anywhere | Thomas Voss | 2024-09-05 | 2 | -19/+16 |
| * | Use yytoken_kind_t instead of int | Thomas Voss | 2024-09-05 | 1 | -2/+2 |
| * | Support line continuations | Thomas Voss | 2024-09-05 | 2 | -9/+18 |
| * | Enable Bison warnings | Thomas Voss | 2024-09-05 | 1 | -1/+1 |
| * | Use the correct symbol for XOR | Thomas Voss | 2024-09-05 | 1 | -1/+1 |
| * | Add a README | Thomas Voss | 2024-09-05 | 1 | -0/+85 |
| * | Fix some integer-type bugs | Thomas Voss | 2024-09-05 | 2 | -4/+5 |
| * | Add an install target | Thomas Voss | 2024-09-04 | 1 | -0/+7 |
| * | Add -s | Thomas Voss | 2024-09-04 | 1 | -3/+20 |
| * | Simplify Makefile | Thomas Voss | 2024-09-04 | 1 | -8/+9 |
| * | Support multiple eqns per table | Thomas Voss | 2024-09-04 | 7 | -68/+185 |
| * | Simplify | Thomas Voss | 2024-09-04 | 1 | -4/+4 |
| * | Use ⊕ as the XOR symbol | Thomas Voss | 2024-09-04 | 1 | -1/+1 |
| * | Change XOR from ‘XOR’ to ‘~’ | Thomas Voss | 2024-09-04 | 1 | -9/+10 |
| * | Simplify code | Thomas Voss | 2024-09-04 | 1 | -21/+22 |
| * | Formatting | Thomas Voss | 2024-09-04 | 1 | -6/+6 |
| * | Replace digits with binary | Thomas Voss | 2024-09-04 | 1 | -7/+7 |
| * | Remove --latex in favour of --table-style | Thomas Voss | 2024-09-04 | 3 | -17/+44 |
| * | Add a mailmap | Thomas Voss | 2024-09-04 | 1 | -0/+1 |
| * | Support T/F, 0/1, and ⊤/⊥ in output | Thomas Voss | 2024-09-04 | 1 | -17/+53 |
| * | Support LaTeX output | Thomas Voss | 2024-09-04 | 3 | -13/+81 |
| * | Formatting | Thomas Voss | 2024-09-04 | 1 | -9/+7 |
| * | Allow an EOF-terminated line | Thomas Voss | 2024-09-04 | 1 | -1/+3 |
| * | Formatting fix | Thomas Voss | 2024-09-04 | 1 | -1/+1 |
| * | Improve interactive usage | Thomas Voss | 2024-09-04 | 4 | -10/+61 |
| * | Use errx() | Thomas Voss | 2024-09-04 | 1 | -2/+1 |
| * | Genesis commit | Thomas Voss | 2024-09-04 | 7 | -0/+419 |
 |
index : pinocchio | |
| A truth table solver with LaTeX and UTF-8 output | Thomas Voss |
| aboutsummaryrefslogtreecommitdiff |