Historique des commits

Auteur SHA1 Message Date
  Alex Kost 82dbf78aa5 README: Add "Installation" section and some badges il y a 6 ans
  Alex Kost 8834f4617c Add interface for Cuirass evaluations il y a 6 ans
  Alex Kost 71cb96ff71 README: Mention differences between Cuirass and Hydra il y a 6 ans
  Alex Kost 0e0168d75d README: Fix org markup il y a 6 ans
  Alex Kost 325d515588 Add README il y a 6 ans