pinocchio - A truth table solver with LaTeX and UTF-8 output

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove unused lexer rule	Thomas Voss	2024-09-12	1	-1/+0
\|
*	Fix errors in the README	Thomas Voss	2024-09-12	1	-2/+2
\|
*	Silence warnings outside of our control	Thomas Voss	2024-09-12	1	-0/+3
\|
*	Fix check for __builtin_popcountg()	Thomas Voss	2024-09-12	1	-1/+1
\|
*	Improve error messages a tiny bit	Thomas Voss	2024-09-06	2	-10/+24
\|
*	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