summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
alphubel-prodPass TestCurrencyOptimizationNao Pross5 months
impl_failSomething weird is going on hereNao Pross6 months
 
 
AgeCommit messageAuthorFilesLines
2023-11-18Pass TestCurrencyOptimizationalphubel-prodNao Pross2-3/+21
2023-11-18Fix semicategory loadingNao Pross1-5/+7
2023-11-16Merge remote-tracking branch 'template/alphubel-prod' into alphubel-prodNao Pross6-7/+24
2023-11-16Fix bug when uptolevel is NoneNao Pross1-2/+5
2023-11-16Remove unused Morph and Obj, use equationsNao Pross2-29/+43
2023-11-16Pass TestSemiCategoryRepresentationNao Pross1-94/+69
2023-11-15Mostly pass TestSemiCategoryRepresentationNao Pross1-0/+166
2023-11-05Update Homeworks.mdNao Pross1-4/+4
2023-11-05 Fix MyFiniteSetDisjointUnionNao Pross1-3/+3
2023-11-05Fix MyFiniteSetDisjointUnion and pass more testsNao Pross3-15/+45
[...]
 
Clone
ssh://git@git.thearcway.org:2222/~/r/naopross/ethz/act4e
https://git.thearcway.org/naopross/ethz/act4e
generated by cgit v1.2.1 (git 2.18.0) at 2024-05-01 10:05:34 +0200