| Mode | Name | Size | |
|---|---|---|---|
| d--------- | .github / workflows | 36 | logplain |
| -rw-r--r-- | .gitignore | 570 | logplain |
| -rw-r--r-- | .gitmodules | 278 | logplain |
| -rw-r--r-- | Makefile | 2545 | logplain |
| -rw-r--r-- | README.md | 4892 | logplain |
| -rw-r--r-- | config.yml | 9147 | logplain |
| d--------- | config | 260 | logplain |
| d--------- | docs / rtems / ddf / sdd | 32 | logplain |
| d--------- | formal | 109 | logplain |
| -rwxr-xr-x | generate_membench.py | 26738 | logplain |
| d--------- | git-hooks | 43 | logplain |
| -rwxr-xr-x | hash_file.py | 1644 | logplain |
| -rwxr-xr-x | membench.py | 3655 | logplain |
| d--------- | modules | 102 | logplain |
| -rwxr-xr-x | qdp_workspace.py | 21946 | logplain |
| -rw-r--r-- | requirements.txt | 1225 | logplain |
| -rwxr-xr-x | rtems_spec_to_x.py | 3596 | logplain |
| d--------- | rtemsspec | 1315 | logplain |
| d--------- | spec-glossary / glossary | 35 | logplain |
| d--------- | spec-qdp | 61 | logplain |
| d--------- | spec-spec / spec | 31 | logplain |
| d--------- | spec | 662 | logplain |
| -rwxr-xr-x | spec2modules.py | 4170 | logplain |
| -rwxr-xr-x | specverify.py | 1801 | logplain |
| -rwxr-xr-x | specview.py | 14640 | logplain |
| d--------- | src | 52 | logplain |
| d--------- | templates | 36 | logplain |
| d--------- | test-logs | 70 | logplain |
| d--------- | workspace | 38 | logplain |
 |
index : rtems-qual.git | |
| RTEMS Specification Items and Qualification Tools (prototype) |
| summaryrefslogtreecommitdiff |