Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / homalg-project/fingsetsforcap issues and pull requests

#45 - Adjust to https://github.com/homalg-project/CAP_project/pull/1637

Pull Request - State: closed - Opened by zickgraf 6 months ago - 1 comment

#45 - Adjust to https://github.com/homalg-project/CAP_project/pull/1637

Pull Request - State: closed - Opened by zickgraf 6 months ago - 1 comment

#44 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 1 year ago

#44 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 1 year ago

#43 - Remove `Add*Representation` & `Objectify*`

Pull Request - State: closed - Opened by TKuh over 1 year ago - 1 comment

#43 - Remove `Add*Representation` & `Objectify*`

Pull Request - State: closed - Opened by TKuh over 1 year ago - 1 comment

#42 - Apply PackageJanitor and adjust to https://github.com/homalg-project/CAP_project/pull/1073

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#42 - Apply PackageJanitor and adjust to https://github.com/homalg-project/CAP_project/pull/1073

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#41 - comply with FinSetsForCAP v2022.05-01

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#41 - comply with FinSetsForCAP v2022.05-01

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#40 - Add HomomorphismStructure

Issue - State: open - Opened by mohamed-barakat over 2 years ago

#40 - Add HomomorphismStructure

Issue - State: open - Opened by mohamed-barakat over 2 years ago

#39 - prepare for transition to FinSetsForCAP v2022.05-01

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#39 - prepare for transition to FinSetsForCAP v2022.05-01

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#38 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf almost 3 years ago - 1 comment

#38 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf almost 3 years ago - 1 comment

#37 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf almost 3 years ago - 1 comment

#37 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf almost 3 years ago - 1 comment

#36 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf about 3 years ago - 1 comment

#36 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf about 3 years ago - 1 comment

#35 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#35 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#34 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#34 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#33 - Adjust to https://github.com/homalg-project/CAP_project/pull/665

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#33 - Adjust to https://github.com/homalg-project/CAP_project/pull/665

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#32 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#32 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf over 3 years ago - 1 comment

#31 - Do not use convenience methods for Terminal/InitialObject in tests

Pull Request - State: closed - Opened by zickgraf almost 4 years ago - 1 comment

#31 - Do not use convenience methods for Terminal/InitialObject in tests

Pull Request - State: closed - Opened by zickgraf almost 4 years ago - 1 comment

#30 - Adjust to https://github.com/homalg-project/CAP_project/pull/649

Pull Request - State: closed - Opened by zickgraf almost 4 years ago

#30 - Adjust to https://github.com/homalg-project/CAP_project/pull/649

Pull Request - State: closed - Opened by zickgraf almost 4 years ago

#29 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf almost 4 years ago - 1 comment

#29 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf almost 4 years ago - 1 comment

#28 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf about 4 years ago - 1 comment

#28 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf about 4 years ago - 1 comment

#27 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf about 4 years ago - 1 comment

#27 - Apply PackageJanitor

Pull Request - State: closed - Opened by zickgraf about 4 years ago - 1 comment

#26 - updated Mohamed's homepage

Pull Request - State: closed - Opened by mohamed-barakat over 4 years ago - 1 comment

#26 - updated Mohamed's homepage

Pull Request - State: closed - Opened by mohamed-barakat over 4 years ago - 1 comment

#25 - Added release scripts

Pull Request - State: closed - Opened by mohamed-barakat over 4 years ago - 1 comment

#25 - Added release scripts

Pull Request - State: closed - Opened by mohamed-barakat over 4 years ago - 1 comment

#24 - Add PositionAndConjugatorOfStabilizer

Pull Request - State: closed - Opened by zickgraf about 5 years ago - 2 comments

#24 - Add PositionAndConjugatorOfStabilizer

Pull Request - State: closed - Opened by zickgraf about 5 years ago - 2 comments

#23 - corrected error in representation of skeletal G-set

Pull Request - State: closed - Opened by mohamed-barakat about 5 years ago - 2 comments

#23 - corrected error in representation of skeletal G-set

Pull Request - State: closed - Opened by mohamed-barakat about 5 years ago - 2 comments

#22 - Use new objectifier

Pull Request - State: closed - Opened by zickgraf about 5 years ago

#22 - Use new objectifier

Pull Request - State: closed - Opened by zickgraf about 5 years ago

#21 - Use triple-quoted strings to make makedoc.g more readable

Pull Request - State: closed - Opened by fingolfin over 5 years ago - 1 comment

#21 - Use triple-quoted strings to make makedoc.g more readable

Pull Request - State: closed - Opened by fingolfin over 5 years ago - 1 comment

#20 - Use @InsertChunk instead of deprecated @InsertSystem

Pull Request - State: closed - Opened by fingolfin over 5 years ago - 1 comment

#20 - Use @InsertChunk instead of deprecated @InsertSystem

Pull Request - State: closed - Opened by fingolfin over 5 years ago - 1 comment

#19 - Update code since we now have a package Toposes

Pull Request - State: closed - Opened by mohamed-barakat over 6 years ago - 1 comment

#19 - Update code since we now have a package Toposes

Pull Request - State: closed - Opened by mohamed-barakat over 6 years ago - 1 comment

#18 - Add categorical properties

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#18 - Add categorical properties

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#17 - Improve code coverage

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#17 - Improve code coverage

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#16 - use CAP prepare functions

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#15 - add CircleCI and codecov.io

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#14 - Stale branches

Issue - State: closed - Opened by zickgraf over 6 years ago - 4 comments

#13 - Cleanup

Pull Request - State: closed - Opened by zickgraf over 6 years ago - 1 comment

#12 - fix coequalizer if range is the empty G-set

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#11 - Some small fixes and updates

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#10 - depend on CAP 2018.07.10

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#9 - Refactor coequalizer

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#8 - Some minor cleanups

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#7 - Add ColiftAlongEpimorphism

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#6 - Some minor cleanups

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#5 - Add LiftAlongMonomorphism

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#4 - Miscellaneous fixes

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#3 - Performance tweaks

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#2 - fix tests with GAP 4.9

Pull Request - State: closed - Opened by zickgraf over 6 years ago

#1 - small fixes

Pull Request - State: closed - Opened by zickgraf over 6 years ago