| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | lexer.l | 1158 | logplainblame |
| -rw-r--r-- | main.c | 9626 | logplainblame |
| -rw-r--r-- | parser.y | 2164 | logplainblame |
| -rw-r--r-- | pinocchio.h | 455 | logplainblame |
| -rw-r--r-- | wrapper.c | 356 | logplainblame |
| -rw-r--r-- | wrapper.h | 229 | logplainblame |
 |
index : pinocchio | |
| A truth table solver with LaTeX and UTF-8 output | Thomas Voss |
| aboutsummaryrefslogtreecommitdiff |