Provide framework for generic lazily evaluated operation results#1350
Merged
joka921 merged 152 commits intoad-freiburg:masterfrom RobinTF:refactor-result-tableAug 22, 2024
+2,639-435
Commits
Commits on May 23, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 27, 2024
Commits on Jun 1, 2024
Commits on Jun 5, 2024
Commits on Jun 6, 2024
Commits on Jun 9, 2024
Commits on Jun 13, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Jun 14, 2024
Commits on Jun 15, 2024
- committed
Commits on Jun 28, 2024
Commits on Jun 29, 2024
- committed
- committed
- committed
Commits on Jun 30, 2024
Commits on Jul 5, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 6, 2024
- committed
- committed
- committed
- committed
Commits on Jul 7, 2024
Commits on Jul 11, 2024
Commits on Jul 23, 2024
Commits on Jul 24, 2024
Commits on Jul 31, 2024
Commits on Aug 1, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 2, 2024
Commits on Aug 7, 2024
Commits on Aug 13, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Aug 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 16, 2024
Commits on Aug 17, 2024
Commits on Aug 18, 2024
Commits on Aug 19, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Aug 20, 2024
- committed
- committed
- committed