| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 36 | logplain |
| -rw-r--r-- | Makefile | 356 | logplain |
| -rw-r--r-- | README.md | 202 | logplain |
| -rw-r--r-- | grammar.cc | 181 | logplain |
| -rw-r--r-- | grammar.hh | 305 | logplain |
| -rw-r--r-- | grammar.o | 2872 | logplain |
| -rw-r--r-- | hypergraph.cc | 2659 | logplain |
| -rw-r--r-- | hypergraph.hh | 1794 | logplain |
| -rw-r--r-- | main.cc | 5378 | logplain |
| -rw-r--r-- | semiring.hh | 469 | logplain |
 |
index : odenwald | |
| Mirror of https://github.com/pks/odenwald.git |
| summaryrefslogtreecommitdiff |