Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 11 | logplain |
-rw-r--r-- | .pre-commit-config.yaml | 518 | logplain |
-rw-r--r-- | Makefile | 2468 | logplain |
-rw-r--r-- | README.md | 793 | logplain |
d--------- | chapters | 1044 | logplain |
d--------- | figures | 200 | logplain |
d--------- | pseudocode | 70 | logplain |
d--------- | tools | 162 | logplain |
-rw-r--r-- | tosa.css | 29502 | logplain |
-rw-r--r-- | tosa.xml | 153317 | logplain |
-rw-r--r-- | tosa.xsd | 10928 | logplain |
-rw-r--r-- | tosa_spec.adoc | 826 | logplain |