Commit History

Autor SHA1 Mensaxe Data
  Alex Kost 82dbf78aa5 README: Add "Installation" section and some badges %!s(int64=6) %!d(string=hai) anos
  Alex Kost 8834f4617c Add interface for Cuirass evaluations %!s(int64=6) %!d(string=hai) anos
  Alex Kost 71cb96ff71 README: Mention differences between Cuirass and Hydra %!s(int64=6) %!d(string=hai) anos
  Alex Kost 0e0168d75d README: Fix org markup %!s(int64=6) %!d(string=hai) anos
  Alex Kost 325d515588 Add README %!s(int64=6) %!d(string=hai) anos