| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove unused Morph and Obj, use equations | Nao Pross | 2023-11-16 | 1 | -28/+42 |
| | | |||||
| * | Pass TestSemiCategoryRepresentation | Nao Pross | 2023-11-16 | 1 | -94/+69 |
| | | |||||
| * | Mostly pass TestSemiCategoryRepresentation | Nao Pross | 2023-11-15 | 1 | -0/+166 |
| | | |||||
| * | Fix MyFiniteSetDisjointUnion | Nao Pross | 2023-11-05 | 1 | -3/+3 |
| | | |||||
| * | Fix MyFiniteSetDisjointUnion and pass more tests | Nao Pross | 2023-11-05 | 3 | -15/+45 |
| | | | | | | TestFinitePosetRepresentation TestFinitePosetConstructionSum | ||||
| * | Pass TestFiniteMakeSetDisjointUnion | Nao Pross | 2023-11-05 | 1 | -2/+42 |
| | | |||||
| * | Pass TestFinitePosetConstructionProduct | Nao Pross | 2023-11-05 | 2 | -2/+6 |
| | | |||||
| * | Pass TestFiniteMonotoneMapProperties | Nao Pross | 2023-11-05 | 2 | -3/+20 |
| | | |||||
| * | Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentation | Nao Pross | 2023-11-05 | 1 | -18/+2 |
| | | | | | Bug was caused by YAML bugfix | ||||
| * | Fix MyFinitePoset | Nao Pross | 2023-11-04 | 3 | -10/+151 |
| | | | | | | | | | Partially pass: TestFinitePosetRepresentation TestFinitePosetRepresentation TestFinitePosetConstructionProduct | ||||
| * | Pass TestFinitePosetConstructionPower | Nao Pross | 2023-10-29 | 3 | -6/+80 |
| | | | | | also fix name in sets_power | ||||
| * | Pass TestFiniteMakePowerSet | Nao Pross | 2023-10-29 | 2 | -3/+63 |
| | | |||||
| * | Pass TestFiniteSemigroupMorphismsChecks | Nao Pross | 2023-10-22 | 2 | -6/+142 |
| | | |||||
| * | Pass Semigroups and Groups representations | Nao Pross | 2023-10-20 | 1 | -6/+108 |
| | | | | | TestFiniteSemigroupRepresentation TestFiniteSemigroupConstruct TestFiniteMonoidRepresentation TestFiniteGroupRepresentation | ||||
| * | Pass TestFiniteRelationOperations | Nao Pross | 2023-10-17 | 1 | -2/+12 |
| | | |||||
| * | Fix bug to pass TestFiniteMapRepresentation | Nao Pross | 2023-10-17 | 1 | -16/+20 |
| | | |||||
| * | Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, ↵ | Nao Pross | 2023-10-17 | 2 | -8/+102 |
| | | | | | TestFiniteRelationProperties | ||||
| * | Pass TestFiniteMapRepresentation and TestFiniteMapOperations | Nao Pross | 2023-10-17 | 2 | -16/+48 |
| | | |||||
| * | Sketch TestFiniteMapRepresentation | Nao Pross | 2023-10-10 | 3 | -8/+69 |
| | | |||||
| * | Implement loading of set products in SolFiniteSetRepresentation | Nao Pross | 2023-10-10 | 1 | -7/+27 |
| | | |||||
| * | Pass TestFiniteMakeSetProduct | Nao Pross | 2023-10-10 | 1 | -4/+74 |
| | | |||||
| * | Pass TestFiniteSetProperties | Nao Pross | 2023-10-04 | 1 | -1/+7 |
| | | |||||
| * | Pass TestFiniteSetRepresentation | Nao Pross | 2023-10-04 | 1 | -3/+36 |
| | | |||||
| * | Pass TestSimpleIntro | Nao Pross | 2023-10-04 | 1 | -1/+1 |
| | | |||||
| * | Initial commit | github-classroom[bot] | 2023-10-04 | 26 | -0/+428 |
 |
index : ethz/act4e | |
| Applied Category Theory for Engineering 1 Maker Track @ ETHZ | Linux User |
| summaryrefslogtreecommitdiffstats |