| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 377 | logplain |
| -rw-r--r-- | Makefile.depend | 325 | logplain |
| -rw-r--r-- | manifest_lexer.l | 3364 | logplain |
| -rw-r--r-- | manifest_parser.y | 7349 | logplain |
| -rw-r--r-- | veriexec.8 | 5769 | logplain |
| -rw-r--r-- | veriexec.c | 7653 | logplain |
| -rw-r--r-- | veriexec.h | 1853 | logplain |
 |
index : freebsd-src.git | |
| FreeBSD sources | Gitolite user |
| summaryrefslogtreecommitdiff |