Skip to content

Docs: remove challenge end dates and fix README/challenge inconsistencies - #629

Open
feliperodri wants to merge 5 commits into
model-checking:mainfrom
feliperodri:remove-challenge-end-dates
Open

Docs: remove challenge end dates and fix README/challenge inconsistencies#629
feliperodri wants to merge 5 commits into
model-checking:mainfrom
feliperodri:remove-challenge-end-dates

Add KMIR to accepted tools list and license section

f0d409d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view