summaryrefslogtreecommitdiffstats
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-18Pass TestCurrencyOptimizationalphubel-prodNao Pross1-1/+19
2023-11-18Fix semicategory loadingNao Pross1-5/+7
2023-11-16Fix bug when uptolevel is NoneNao Pross1-2/+5
2023-11-16Remove unused Morph and Obj, use equationsNao Pross1-28/+42
2023-11-16Pass TestSemiCategoryRepresentationNao Pross1-94/+69
2023-11-15Mostly pass TestSemiCategoryRepresentationNao Pross1-0/+166
2023-11-05 Fix MyFiniteSetDisjointUnionNao Pross1-3/+3
2023-11-05Fix MyFiniteSetDisjointUnion and pass more testsNao Pross3-15/+45
2023-11-05Pass TestFiniteMakeSetDisjointUnionNao Pross1-2/+42
2023-11-05Pass TestFinitePosetConstructionProductNao Pross2-2/+6
2023-11-05Pass TestFiniteMonotoneMapPropertiesNao Pross2-3/+20
2023-11-05Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentationNao Pross1-18/+2
2023-11-04Fix MyFinitePosetNao Pross3-10/+151
2023-11-01miscAndrea Censi1-0/+12
2023-11-01miscAndrea Censi2-3/+44
2023-10-29Pass TestFinitePosetConstructionPowerNao Pross3-6/+80
2023-10-29Pass TestFiniteMakePowerSetNao Pross2-3/+63
2023-10-22Pass TestFiniteSemigroupMorphismsChecksNao Pross2-6/+142
2023-10-20Pass Semigroups and Groups representationsNao Pross1-6/+108
2023-10-18miscAndrea Censi1-0/+16
2023-10-17Pass TestFiniteRelationOperationsNao Pross1-2/+12
2023-10-17Fix bug to pass TestFiniteMapRepresentationNao Pross1-16/+20
2023-10-17Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, TestFiniteR...Nao Pross2-8/+102
2023-10-17Pass TestFiniteMapRepresentation and TestFiniteMapOperationsNao Pross2-16/+48
2023-10-10Sketch TestFiniteMapRepresentationNao Pross3-8/+69
2023-10-10Implement loading of set products in SolFiniteSetRepresentationNao Pross1-7/+27
2023-10-10Pass TestFiniteMakeSetProductNao Pross1-4/+74
2023-10-04Pass TestFiniteSetPropertiesNao Pross1-1/+7
2023-10-04Pass TestFiniteSetRepresentationNao Pross1-3/+36
2023-10-04Pass TestSimpleIntroNao Pross1-1/+1
2022-03-15added templateAndrea Censi1-0/+27
2022-02-26more exercisesAndrea Censi10-107/+21
2022-02-23more commentsAndrea Censi2-3/+3
2022-02-22more commentsAndrea Censi9-31/+33
2022-02-22updatesAndrea Censi7-9/+4
2022-02-21skeletonsAndrea Censi22-50/+42
2022-02-21skeletonsAndrea Censi24-0/+499
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-21 13:00:43 +0100