Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .clang-format | 913 | logplain |
-rw-r--r-- | .gitignore | 179 | logplain |
-rw-r--r-- | .gitmodules | 339 | logplain |
-rw-r--r-- | .pre-commit-config.yaml | 680 | logplain |
-rw-r--r-- | CMakeLists.txt | 303 | logplain |
-rw-r--r-- | LICENSE.txt | 11357 | logplain |
-rw-r--r-- | NOTICE | 11390 | logplain |
-rw-r--r-- | README.md | 17775 | logplain |
d--------- | examples | 254 | logplain |
-rw-r--r-- | pyproject.toml | 238 | logplain |
d--------- | reference_model | 72 | logplain |
d--------- | scripts | 236 | logplain |
-rw-r--r-- | setup.cfg | 2027 | logplain |
-rw-r--r-- | setup.py | 162 | logplain |
d--------- | thirdparty | 186 | logplain |
d--------- | verif | 210 | logplain |