Commit History

Автор SHA1 Съобщение Дата
  Alex Kost 82dbf78aa5 README: Add "Installation" section and some badges преди 6 години
  Alex Kost 8834f4617c Add interface for Cuirass evaluations преди 6 години
  Alex Kost 71cb96ff71 README: Mention differences between Cuirass and Hydra преди 6 години
  Alex Kost 0e0168d75d README: Fix org markup преди 6 години
  Alex Kost 325d515588 Add README преди 6 години