Ecosyste.ms: Issues

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

GitHub / homalg-project/finsetsforcap issues and pull requests

#266 - simplify compiled code of CartesianLambdaIntroduction

Pull Request - State: closed - Opened by mohamed-barakat 25 days ago - 1 comment

#265 - Revert "deactivate test-gap_to_julia"

Pull Request - State: closed - Opened by mohamed-barakat 3 months ago - 1 comment

#264 - deactivate test-gap_to_julia

Pull Request - State: closed - Opened by mohamed-barakat 3 months ago - 1 comment

#263 - Remove CircleCI

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

#262 - Adjust to CompilerForCAP 2024.10-06

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

#261 - Adjust to https://github.com/homalg-project/CAP_project/pull/1691

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

#260 - Add "overhead" argument to SkeletalCategoryOfFiniteSets

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

#259 - Switch Julia packages to CAP_project.jl

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

#258 - Adjust to https://github.com/homalg-project/CAP_project/pull/1634

Pull Request - State: closed - Opened by zickgraf 7 months ago - 3 comments

#257 - Fix data type of an empty list

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

#256 - Improve readability of long names

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

#255 - Do not create ~/.julia/dev

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

#253 - precompiled SingletonMorphismWithGivenPowerObject to optimal code 🎉

Pull Request - State: closed - Opened by mohamed-barakat 11 months ago - 1 comment

#252 - improved AddDirectProductToExponentialRightAdjunctMorphismWithGivenExponential

Pull Request - State: closed - Opened by mohamed-barakat 11 months ago - 2 comments

#251 - Only install primitive operations if `no_precompiled_code` is set

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

#250 - Stop testing Toposes

Issue - State: open - Opened by mohamed-barakat 12 months ago - 2 comments

#249 - Comment Iterator for Julia

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

#248 - Use FunctionWithNamedArguments

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

#247 - added missing mathematical properties: SetIsStrictC(oc)artesianCategory

Pull Request - State: closed - Opened by mohamed-barakat 12 months ago - 5 comments

#246 - Optimize Preimage

Pull Request - State: closed - Opened by zickgraf 12 months ago - 2 comments

#245 - comply with CartesianCategories v2024.02-02

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#244 - precompile ProjectionInFactorOfBinaryDirectProduct for two objects

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#243 - compile CartesianRightCoevaluationMorphismWithGivenRange

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#242 - added the right product-exponential adjunction

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#241 - AddCartesianRight(Co)EvaluationMorphism

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#240 - refactored AddCartesianLeftEvaluationMorphismWithGivenSource

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#239 - d&i RemIntWithDomain, QuoIntWithDomain, and DivIntWithGivenQuotient

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#238 - d&i DigitInPositionalNotation

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#237 - deleted AddCartesianBraidingInverseWithGivenDirectProducts

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#236 - comply with CartesianCategories v2024.01-07

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#235 - fixed test-doc

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 5 comments

#234 - comply with CartesianCategories v2024.01-05

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#233 - better testing for the evaluation/coevaluation through the adjunction

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 1 comment

#232 - Adjust to CAP commit af2ea351d37afa90e9775773b689530d4047f123

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

#231 - Adjust to CAP commit c4ff9952143a87c262556f82b55dd1471fa30e87

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

#230 - Adjust to CompilerForCAP commit 389bfebf83b5bd43b29b445cedefbb2eee4596a7

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

#229 - SetIsCategoryWithDecidableLifts/Colifts to true

Pull Request - State: closed - Opened by mohamed-barakat about 1 year ago - 4 comments

#228 - a first attempt for a functional coequalizer

Pull Request - State: open - Opened by mohamed-barakat over 1 year ago - 2 comments

#227 - fixed IsColiftable

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

#226 - Fix corner case in IsColiftable

Issue - State: closed - Opened by mohamed-barakat over 1 year ago

#225 - AddAstrictionToCoimage

Pull Request - State: closed - Opened by mohamed-barakat over 1 year ago - 5 comments

#224 - comply with CAP v2023.09-11 and Toposes v2023.10-01

Pull Request - State: closed - Opened by mohamed-barakat over 1 year ago - 2 comments

#223 - Adjust to changes in CAP 2023.09-07

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

#222 - Remove typed_lambda_calculus_and_category_theory.ipynb

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

#221 - Apply PackageJanitor

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

#220 - comply with CAP v2023.08-16

Pull Request - State: closed - Opened by mohamed-barakat over 1 year ago - 4 comments

#219 - Test ZXCalculusForCAP.jl

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

#218 - Use CapJitDataTypeOfListOf

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

#217 - Avoid using a morphism as a function in UniversalMorphismFromCoequalizer...

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

#216 - Adjust to https://github.com/homalg-project/CAP_project/pull/1352

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

#215 - Adjust to https://github.com/homalg-project/CAP_project/pull/1347

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

#214 - Adjust to https://github.com/homalg-project/CAP_project/pull/1346

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

#213 - Add more logic templates for PushoutComplement

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

#212 - Precompile TruthMorphismOfImplies and merge two logic templates

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

#211 - outsourced a derivation of IsHomSetInhabited from Toposes to FinSetsForCAP

Pull Request - State: closed - Opened by mohamed-barakat over 1 year ago - 4 comments

#209 - use ObjectConstructor/MorphismConstructor

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

#208 - Adjust to https://github.com/homalg-project/CAP_project/pull/1338

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

#207 - made AddObjectConstructor/AddMorphismConstructor the primitive operations

Pull Request - State: closed - Opened by mohamed-barakat over 1 year ago - 3 comments

#206 - Second preparation for the "functional" refactoring

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

#205 - First preparation for the "functional" refactoring

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

#204 - Functional

Pull Request - State: open - Opened by mohamed-barakat over 1 year ago - 2 comments

#203 - Adjust to https://github.com/homalg-project/CategoricalTowers/pull/217

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

#202 - converted logic templates into logic functions to retain type signatures

Pull Request - State: closed - Opened by mohamed-barakat over 1 year ago - 2 comments

#201 - Adjust to https://github.com/homalg-project/CAP_project/pull/1320

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

#200 - installed ExactCoverWithGlobalElements primitively

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

#199 - AddCartesianLambdaIntroduction/AddCartesianLambdaElimination

Pull Request - State: closed - Opened by mohamed-barakat over 1 year ago - 2 comments

#198 - Some improvements for Julia

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

#197 - Only make documentation of Toposes if it exists as a standalone package

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

#196 - Fix CI

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

#195 - Fix whitespace in tests

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

#194 - Adjust to CAP commit 6d671833a309f919ea47bd72305cfd1fcd3a177e

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

#193 - Distinguish between (small) integers and big intergers for Julia

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

#192 - Use notebooks.gesis.org instead of gesis.mybinder.org

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

#191 - Fix whitespace and make line continuation explicit

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

#190 - Use Toposes.jl

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

#189 - Miscellaneous changes for Julia

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

#188 - Improvements for the GAP to Julia conversion

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

#187 - Explicitly display lists in tests

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

#186 - Some simplifications for Julia

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

#185 - Apply PackageJanitor

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

#184 - Adjust to https://github.com/homalg-project/CAP_project/pull/1275

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

#183 - Adjust to https://github.com/homalg-project/CAP_project/pull/1273

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

#182 - installed PrintString for IsSkeletalFiniteSetMap

Pull Request - State: closed - Opened by mohamed-barakat almost 2 years ago - 4 comments

#181 - Drop obsolete compiler hints

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

#180 - Use correct date in released PackageInfo.g

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

#179 - Bump version for new release

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

#178 - Fix some issues with manuals uploaded for releases

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

#177 - bumped version

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

#176 - Apply PackageJanitor

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

#175 - comply with CartesianCategories v2023.02-04

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

#174 - Apply PackageJanitor

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

#173 - Simulate release in PR

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

#172 - Exit early if jupyter nbconvert did not produce an output

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

#171 - Recompile Julia packages to avoid timeouts

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

#170 - Add missing semicolon

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

#169 - Bump version

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

#168 - Include release-gap-package again temporarily

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

#149 - functional

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