Michael Nebel 67ec7012fc Java: Update model validation to allow database kind for source models.

2023-05-08 10:57:04 +02:00

..

consistency-queries

Kotlin: Report CFG dead end consistency issues on ErrorExpr

2022-12-13 15:51:33 +01:00

examples

Remove all queries.xml files

2023-04-13 11:18:58 +02:00

integration-tests

Rename threat model kinds

2023-05-05 14:19:01 -07:00

lib

Java: Update model validation to allow database kind for source models.

2023-05-08 10:57:04 +02:00

src

Java: Delete some example code and fix test-case.

2023-05-02 12:45:15 +02:00

test

Rename threat model kinds

2023-05-05 14:19:01 -07:00