Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | fix | Andrea Censi | 2021-10-16 | 2 | -3/+6 | |
| | | ||||||
| * | Bump to version 7.1.2110152134 | Andrea Censi | 2021-10-15 | 1 | -1/+1 | |
| | | ||||||
| * | templates | Andrea Censi | 2021-10-15 | 3 | -1/+66 | |
| | | ||||||
| * | Bump to version 7.1.2110151556 | Andrea Censi | 2021-10-15 | 1 | -1/+1 | |
| | | ||||||
| * | fix | Andrea Censi | 2021-10-15 | 1 | -1/+1 | |
| | | ||||||
| * | Bump to version 7.1.2109291210 | Andrea Censi | 2021-09-29 | 1 | -1/+1 | |
| | | ||||||
| * | misc | Andrea Censi | 2021-09-29 | 1 | -7/+2 | |
| | | ||||||
| * | Bump to version 7.1.2104061654 | Andrea Censi | 2021-09-14 | 1 | -0/+18 | |
| | | ||||||
| * | added .DS_Store to gitignore | JonathanLorand | 2021-04-06 | 1 | -0/+2 | |
| | | ||||||
| * | fix | Andrea Censi | 2021-03-04 | 1 | -6/+3 | |
| | | ||||||
| * | fix | Andrea Censi | 2021-02-21 | 1 | -3/+3 | |
| | | ||||||
| * | First | Andrea Censi | 2021-02-20 | 5 | -0/+48 | |
| | ||||||
* | Fix bug when uptolevel is None | Nao Pross | 2023-11-16 | 1 | -2/+5 | |
| | ||||||
* | Remove unused Morph and Obj, use equations | Nao Pross | 2023-11-16 | 2 | -29/+43 | |
| | ||||||
* | Pass TestSemiCategoryRepresentation | Nao Pross | 2023-11-16 | 1 | -94/+69 | |
| | ||||||
* | Mostly pass TestSemiCategoryRepresentation | Nao Pross | 2023-11-15 | 1 | -0/+166 | |
| | ||||||
* | Update Homeworks.md | Nao Pross | 2023-11-05 | 1 | -4/+4 | |
| | ||||||
* | 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 | 3 | -5/+22 | |
| | ||||||
* | 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 | 4 | -17/+158 | |
| | | | | | | | | Partially pass: TestFinitePosetRepresentation TestFinitePosetRepresentation TestFinitePosetConstructionProduct | |||||
* | Pass TestFinitePosetConstructionPower | Nao Pross | 2023-10-29 | 4 | -8/+82 | |
| | | | | also fix name in sets_power | |||||
* | Pass TestFiniteMakePowerSet | Nao Pross | 2023-10-29 | 3 | -5/+65 | |
| | ||||||
* | Pass TestFiniteSemigroupMorphismsChecks | Nao Pross | 2023-10-22 | 3 | -14/+150 | |
| | ||||||
* | Pass Semigroups and Groups representations | Nao Pross | 2023-10-20 | 1 | -6/+108 | |
| | | | | TestFiniteSemigroupRepresentation TestFiniteSemigroupConstruct TestFiniteMonoidRepresentation TestFiniteGroupRepresentation | |||||
* | Update Homeworks.md | Nao Pross | 2023-10-17 | 1 | -5/+45 | |
| | ||||||
* | 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 | 4 | -9/+70 | |
| | ||||||
* | Implement loading of set products in SolFiniteSetRepresentation | Nao Pross | 2023-10-10 | 2 | -8/+28 | |
| | ||||||
* | Pass TestFiniteMakeSetProduct | Nao Pross | 2023-10-10 | 2 | -5/+75 | |
| | ||||||
* | Setup file to keep track of homeworks and create shorthand in makefile | Nao Pross | 2023-10-05 | 2 | -1/+23 | |
| | ||||||
* | 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 | |
| | ||||||
* | Change Makefile to not use fat VS Code docker image | Nao Pross | 2023-10-04 | 1 | -1/+2 | |
| | ||||||
* | add online IDE url | github-classroom[bot] | 2023-10-04 | 1 | -0/+1 | |
| | ||||||
* | Setting up GitHub Classroom Feedback | github-classroom[bot] | 2023-10-04 | 0 | -0/+0 | |
| | ||||||
* | GitHub Classroom Feedback | github-classroom[bot] | 2023-10-04 | 1 | -0/+0 | |
| | ||||||
* | GitHub Classroom Autograding Workflow | github-classroom[bot] | 2023-10-04 | 1 | -0/+19 | |
| | ||||||
* | GitHub Classroom Autograding | github-classroom[bot] | 2023-10-04 | 1 | -0/+14 | |
| | ||||||
* | Initial commit | github-classroom[bot] | 2023-10-04 | 39 | -0/+689 | |