Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .clang-format | 913 | logplain |
-rw-r--r-- | .gitmodules | 241 | logplain |
-rw-r--r-- | CMakeLists.txt | 303 | logplain |
-rw-r--r-- | NOTICE | 11390 | logplain |
-rw-r--r-- | README.md | 7831 | logplain |
d--------- | examples | 201 | logplain |
d--------- | reference_model | 72 | logplain |
d--------- | scripts / xunit | 32 | logplain |
d--------- | thirdparty | 120 | logplain |
d--------- | verif | 282 | logplain |