Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .editorconfig | 244 | logplain |
-rw-r--r-- | .gitignore | 262 | logplain |
-rw-r--r-- | CMakeLists.txt | 5346 | logplain |
-rw-r--r-- | LICENSE | 2680 | logplain |
-rw-r--r-- | Makefile.old | 3880 | logplain |
-rw-r--r-- | README.md | 8628 | logplain |
-rw-r--r-- | alternative-html-blocks.txt | 3950 | logplain |
-rw-r--r-- | config.h.cmake | 3959 | logplain |
d--------- | data | 49 | logplain |
-rw-r--r-- | dingus.html | 5438 | logplain |
d--------- | js | 235 | logplain |
-rw-r--r-- | leakcheck.md | 10869 | logplain |
-rwxr-xr-x | make_site_index.sh | 993 | logplain |
d--------- | man | 147 | logplain |
-rw-r--r-- | mkcasefold.pl | 509 | logplain |
-rw-r--r-- | release_it.bat | 974 | logplain |
-rwxr-xr-x | release_it.sh | 1160 | logplain |
-rw-r--r-- | runtests.pl | 3927 | logplain |
-rw-r--r-- | spec.txt | 116680 | logplain |
-rwxr-xr-x | spec2js.js | 441 | logplain |
-rw-r--r-- | spec2md.pl | 1141 | logplain |
-rwxr-xr-x | specfilter.hs | 1439 | logplain |
d--------- | src | 702 | logplain |
-rw-r--r-- | template.html | 2901 | logplain |
-rw-r--r-- | template.tex | 6422 | logplain |