| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| alphubel-prod | Pass TestCurrencyOptimization | Nao Pross | 13 months | |
| impl_fail | Something weird is going on here | Nao Pross | 14 months | |
| Age | Commit message | Author | Files | Lines |
| 2023-11-18 | Pass TestCurrencyOptimizationalphubel-prod | Nao Pross | 2 | -3/+21 |
| 2023-11-18 | Fix semicategory loading | Nao Pross | 1 | -5/+7 |
| 2023-11-16 | Merge remote-tracking branch 'template/alphubel-prod' into alphubel-prod | Nao Pross | 6 | -7/+24 |
| 2023-11-16 | Fix bug when uptolevel is None | Nao Pross | 1 | -2/+5 |
| 2023-11-16 | Remove unused Morph and Obj, use equations | Nao Pross | 2 | -29/+43 |
| 2023-11-16 | Pass TestSemiCategoryRepresentation | Nao Pross | 1 | -94/+69 |
| 2023-11-15 | Mostly pass TestSemiCategoryRepresentation | Nao Pross | 1 | -0/+166 |
| 2023-11-05 | Update Homeworks.md | Nao Pross | 1 | -4/+4 |
| 2023-11-05 | Fix MyFiniteSetDisjointUnion | Nao Pross | 1 | -3/+3 |
| 2023-11-05 | Fix MyFiniteSetDisjointUnion and pass more tests | Nao Pross | 3 | -15/+45 |
| [...] | ||||
| Clone | ||||
| ssh://git@git.thearcway.org:2222/~/r/naopross/ethz/act4e | ||||
| https://git.thearcway.org/naopross/ethz/act4e | ||||
 |
index : ethz/act4e | |
| Applied Category Theory for Engineering 1 Maker Track @ ETHZ | Linux User |
| summaryrefslogtreecommitdiffstats |