| Mode | Name | Size | |
|---|---|---|---|
| d--------- | algol | 212 | logplain |
| d--------- | clp_fd | 366 | logplain |
| d--------- | clp_r | 332 | logplain |
| d--------- | dcg | 576 | logplain |
| d--------- | denotational_semantics | 269 | logplain |
| d--------- | family_relations | 545 | logplain |
| d--------- | license_plates | 300 | logplain |
| d--------- | lists | 454 | logplain |
| d--------- | lists_advanced | 462 | logplain |
| d--------- | old_exams | 138 | logplain |
| d--------- | other | 139 | logplain |
| d--------- | sets | 471 | logplain |
| d--------- | sorting | 330 | logplain |
| d--------- | trees | 430 | logplain |
| d--------- | world_data | 456 | logplain |
 |
index : codeq-problems.git | |
| CodeQ problem definitions | git repository hosting |
| summaryrefslogtreecommitdiff |