Please run Scripts/init_happy_heart.py just after the cloning of HappyHeart repository.
Forked from
Why3 / why3
Source project has a limited visibility.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Data | ||
| Documentation | ||
| HappyHeart.xcodeproj | ||
| Scripts | ||
| Sources | ||
| ThirdPartyXCodeProjects | ||
| XCodeTemplates | ||
| .gitattributes | ||
| .gitignore | ||
| README | ||
| TAGS | ||