summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
alphubel-prodPass TestCurrencyOptimizationNao Pross12 months
impl_failSomething weird is going on hereNao Pross13 months
 
 
AgeCommit messageAuthorFilesLines
2023-10-17Something weird is going on hereimpl_failNao Pross3-11/+42
2023-10-10Sketch TestFiniteMapRepresentationNao Pross4-9/+70
2023-10-10Implement loading of set products in SolFiniteSetRepresentationNao Pross2-8/+28
2023-10-10Pass TestFiniteMakeSetProductNao Pross2-5/+75
2023-10-05Setup file to keep track of homeworks and create shorthand in makefileNao Pross2-1/+23
2023-10-04Pass TestFiniteSetPropertiesNao Pross1-1/+7
2023-10-04Pass TestFiniteSetRepresentationNao Pross1-3/+36
2023-10-04Pass TestSimpleIntroNao Pross1-1/+1
2023-10-04Change Makefile to not use fat VS Code docker imageNao Pross1-1/+2
2023-10-04add online IDE urlgithub-classroom[bot]1-0/+1
[...]
 
Clone
ssh://git@git.thearcway.org:2222/~/r/naopross/ethz/act4e
https://git.thearcway.org/naopross/ethz/act4e