Skip to content

Tags: homalg-project/CAP_project

Tags

CAP-2026.06-04

Toggle CAP-2026.06-04's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1855 from kamalsaleh/opposite

CAP: Few adjustments in opposite categories for Julia

LinearClosuresForCAP-2026.06-01

Toggle LinearClosuresForCAP-2026.06-01's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1851 from kamalsaleh/master

Make linear closure constructor accept filters

FreydCategoriesForCAP-2026.06-02

Toggle FreydCategoriesForCAP-2026.06-02's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1854 from kamalsaleh/comment_for_julia

FreydCategoriesForCAP: comment out LaTeXOutput for Julia

FreydCategoriesForCAP-2026.06-01

Toggle FreydCategoriesForCAP-2026.06-01's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1853 from kamalsaleh/display_strings

Add DisplayString for rows, cols and (Co)Freyd

CartesianCategories-2026.06-02

Toggle CartesianCategories-2026.06-02's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1852 from kamalsaleh/initial_category

Add FinalizeCategory option to InitialCategory

AdditiveClosuresForCAP-2026.06-02

Toggle AdditiveClosuresForCAP-2026.06-02's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1853 from kamalsaleh/display_strings

Add DisplayString for rows, cols and (Co)Freyd

CompilerForCAP-2026.06-05

Toggle CompilerForCAP-2026.06-05's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1850 from mohamed-barakat/IteratedListOfActions

d&i IteratedListOfActions

CAP-2026.06-03

Toggle CAP-2026.06-03's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1850 from mohamed-barakat/IteratedListOfActions

d&i IteratedListOfActions

CompilerForCAP-2026.06-04

Toggle CompilerForCAP-2026.06-04's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1849 from mohamed-barakat/Iterated

Revert "Generalized the type of the 3- and 4-argument version of Iterated

CAP-2026.06-02

Toggle CAP-2026.06-02's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1849 from mohamed-barakat/Iterated

Revert "Generalized the type of the 3- and 4-argument version of Iterated