https://github.com/sebastianpos/CAP_project
Tip revision: 9808db36a82f670e2e96a452cb1efe3874256025 authored by Fabian Zickgraf on 19 February 2022, 08:40:22 UTC
Merge pull request #845 from zickgraf/ci
Merge pull request #845 from zickgraf/ci
Tip revision: 9808db3
| File | Mode | Size |
|---|---|---|
| .circleci | ||
| .github | ||
| ActionsForCAP | ||
| AttributeCategoryForCAP | ||
| CAP | ||
| CompilerForCAP | ||
| ComplexesAndFilteredObjectsForCAP | ||
| DeductiveSystemForCAP | ||
| FreydCategoriesForCAP | ||
| GeneralizedMorphismsForCAP | ||
| GradedModulePresentationsForCAP | ||
| GroupRepresentationsForCAP | ||
| HomologicalAlgebraForCAP | ||
| InternalExteriorAlgebraForCAP | ||
| LinearAlgebraForCAP | ||
| Manual | ||
| ModulePresentationsForCAP | ||
| ModulesOverLocalRingsForCAP | ||
| MonoidalCategories | ||
| ToricSheaves | ||
| .codecov.yml | -rw-r--r-- | 111 bytes |
| .gitignore | -rw-r--r-- | 688 bytes |
| .gitmodules | -rw-r--r-- | 0 bytes |
| README.md | -rw-r--r-- | 13.4 KB |
| ci_gaprc | -rw-r--r-- | 526 bytes |
| delete_old_releases.py | -rw-r--r-- | 547 bytes |
| load_cap_sheaves.g | -rw-r--r-- | 77 bytes |
| load_sheaves_cap.g | -rw-r--r-- | 78 bytes |
| make_dist.sh | -rwxr-xr-x | 627 bytes |
| makefile | -rw-r--r-- | 3.6 KB |
| process_coverage_ignored_lines.py | -rwxr-xr-x | 3.7 KB |
| release-gap-package | -rwxr-xr-x | 20.5 KB |
| upload_codecov.sh | -rwxr-xr-x | 834 bytes |
