 Alex Kost
|
82dbf78aa5
README: Add "Installation" section and some badges
|
6 years ago |
|
Alex Kost
|
8834f4617c
Add interface for Cuirass evaluations
|
6 years ago |
|
Alex Kost
|
71cb96ff71
README: Mention differences between Cuirass and Hydra
|
6 years ago |
|
Alex Kost
|
0e0168d75d
README: Fix org markup
|
6 years ago |
|
Alex Kost
|
325d515588
Add README
|
6 years ago |
