We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated 0 Testing with CTest (markdown)
Updated Testing with CTest (markdown)
Easier wiki page for user source builds
explain the Cosmopolitan thing
Updated Sample‐Based Testing (markdown)
Updated Light Relief and Oddities (markdown)
oops, extraneous escapes
summarise Martin's setup as generically as possible
break out TFN for consistency
Updated Trophies (markdown)
add SMT-COMP bit
add CASC table
add trophy photos
leftover words
linebreak
bringing us up to date
add more pictures
add Riazanov picture
add images
import Andrei's history
add Alexandre and Kryštof
Updated Home (markdown)
invite people to add themselves to team page
add past team
add current team page
add coverage flag