summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * fixAndrea Censi2021-10-162-3/+6
| |
| * Bump to version 7.1.2110152134Andrea Censi2021-10-151-1/+1
| |
| * templatesAndrea Censi2021-10-153-1/+66
| |
| * Bump to version 7.1.2110151556Andrea Censi2021-10-151-1/+1
| |
| * fixAndrea Censi2021-10-151-1/+1
| |
| * Bump to version 7.1.2109291210Andrea Censi2021-09-291-1/+1
| |
| * miscAndrea Censi2021-09-291-7/+2
| |
| * Bump to version 7.1.2104061654Andrea Censi2021-09-141-0/+18
| |
| * added .DS_Store to gitignoreJonathanLorand2021-04-061-0/+2
| |
| * fixAndrea Censi2021-03-041-6/+3
| |
| * fixAndrea Censi2021-02-211-3/+3
| |
| * FirstAndrea Censi2021-02-205-0/+48
|
* Fix bug when uptolevel is NoneNao Pross2023-11-161-2/+5
|
* Remove unused Morph and Obj, use equationsNao Pross2023-11-162-29/+43
|
* Pass TestSemiCategoryRepresentationNao Pross2023-11-161-94/+69
|
* Mostly pass TestSemiCategoryRepresentationNao Pross2023-11-151-0/+166
|
* Update Homeworks.mdNao Pross2023-11-051-4/+4
|
* Fix MyFiniteSetDisjointUnionNao Pross2023-11-051-3/+3
|
* Fix MyFiniteSetDisjointUnion and pass more testsNao Pross2023-11-053-15/+45
| | | | | TestFinitePosetRepresentation TestFinitePosetConstructionSum
* Pass TestFiniteMakeSetDisjointUnionNao Pross2023-11-051-2/+42
|
* Pass TestFinitePosetConstructionProductNao Pross2023-11-052-2/+6
|
* Pass TestFiniteMonotoneMapPropertiesNao Pross2023-11-053-5/+22
|
* Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentationNao Pross2023-11-051-18/+2
| | | | Bug was caused by YAML bugfix
* Fix MyFinitePosetNao Pross2023-11-044-17/+158
| | | | | | | | Partially pass: TestFinitePosetRepresentation TestFinitePosetRepresentation TestFinitePosetConstructionProduct
* Pass TestFinitePosetConstructionPowerNao Pross2023-10-294-8/+82
| | | | also fix name in sets_power
* Pass TestFiniteMakePowerSetNao Pross2023-10-293-5/+65
|
* Pass TestFiniteSemigroupMorphismsChecksNao Pross2023-10-223-14/+150
|
* Pass Semigroups and Groups representationsNao Pross2023-10-201-6/+108
| | | | TestFiniteSemigroupRepresentation TestFiniteSemigroupConstruct TestFiniteMonoidRepresentation TestFiniteGroupRepresentation
* Update Homeworks.mdNao Pross2023-10-171-5/+45
|
* Pass TestFiniteRelationOperationsNao Pross2023-10-171-2/+12
|
* Fix bug to pass TestFiniteMapRepresentationNao Pross2023-10-171-16/+20
|
* Pass TestFiniteRelationRepresentation, TestFiniteRelationCompose, ↵Nao Pross2023-10-172-8/+102
| | | | TestFiniteRelationProperties
* Pass TestFiniteMapRepresentation and TestFiniteMapOperationsNao Pross2023-10-172-16/+48
|
* Sketch TestFiniteMapRepresentationNao Pross2023-10-104-9/+70
|
* Implement loading of set products in SolFiniteSetRepresentationNao Pross2023-10-102-8/+28
|
* Pass TestFiniteMakeSetProductNao Pross2023-10-102-5/+75
|
* Setup file to keep track of homeworks and create shorthand in makefileNao Pross2023-10-052-1/+23
|
* Pass TestFiniteSetPropertiesNao Pross2023-10-041-1/+7
|
* Pass TestFiniteSetRepresentationNao Pross2023-10-041-3/+36
|
* Pass TestSimpleIntroNao Pross2023-10-041-1/+1
|
* Change Makefile to not use fat VS Code docker imageNao Pross2023-10-041-1/+2
|
* add online IDE urlgithub-classroom[bot]2023-10-041-0/+1
|
* Setting up GitHub Classroom Feedbackgithub-classroom[bot]2023-10-040-0/+0
|
* GitHub Classroom Feedbackgithub-classroom[bot]2023-10-041-0/+0
|
* GitHub Classroom Autograding Workflowgithub-classroom[bot]2023-10-041-0/+19
|
* GitHub Classroom Autogradinggithub-classroom[bot]2023-10-041-0/+14
|
* Initial commitgithub-classroom[bot]2023-10-0439-0/+689