https://github.com/smirarab/ASTRAL
Tip revision: 05a85064da2ace5236dba94907bb3c45f45f9597 authored by Siavash Mirarab on 11 March 2021, 00:20:58 UTC
Merge branch 'master' of github.com:smirarab/ASTRAL
Merge branch 'master' of github.com:smirarab/ASTRAL
Tip revision: 05a8506
| File | Mode | Size |
|---|---|---|
| .github | ||
| .settings | ||
| lib | ||
| main | ||
| .classpath | -rw-r--r-- | 585 bytes |
| .gitignore | -rw-r--r-- | 52 bytes |
| .project | -rw-r--r-- | 369 bytes |
| Astral.5.7.7.zip | -rw-r--r-- | 8.3 MB |
| CHANGELOG.md | -rw-r--r-- | 14.2 KB |
| CONTRIBUTING.md | -rw-r--r-- | 217 bytes |
| LICENSE | -rw-r--r-- | 11.1 KB |
| README.md | -rw-r--r-- | 13.6 KB |
| README.template.md | -rw-r--r-- | 13.5 KB |
| astral-tutorial-template.md | -rw-r--r-- | 37.9 KB |
| astral-tutorial.md | -rw-r--r-- | 38.0 KB |
| developer-guide.md | -rw-r--r-- | 8.1 KB |
| in-action.md | -rw-r--r-- | 3.9 KB |
| make.sh | -rwxr-xr-x | 1.5 KB |
| manifest.text | -rw-r--r-- | 99 bytes |
| runningtime.png | -rw-r--r-- | 5.3 KB |
| thesis-astral.pdf | -rw-r--r-- | 1.5 MB |
