Separate UI code and business logic for the resolve and verify commands#4798
Merged
keyboardDrummer merged 239 commits intodafny-lang:masterfrom keyboardDrummer:mergedCLiAndServerJan 23, 2024
+1,797-1,396
Commits
Commits on Oct 30, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 31, 2023
- committed
- committed
- committed
Commits on Nov 1, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
Commits on Nov 2, 2023
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
Commits on Nov 3, 2023
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
Commits on Nov 6, 2023
- authored
- committed
- committed
- committed
- committed
Commits on Nov 7, 2023
- committed
Commits on Nov 8, 2023
- committed
Commits on Nov 9, 2023
Commits on Nov 10, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Nov 11, 2023
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 14, 2023
Commits on Nov 15, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 17, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 20, 2023
Commits on Nov 28, 2023
Commits on Nov 29, 2023
Commits on Dec 4, 2023
Commits on Dec 5, 2023
Commits on Dec 6, 2023
Commits on Dec 7, 2023
Commits on Dec 19, 2023
Commits on Dec 20, 2023
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
Commits on Dec 21, 2023
- committed
- committed
- committed
Commits on Dec 22, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 2, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 3, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Jan 5, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 9, 2024
- committed
Commits on Jan 10, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 16, 2024
- committed
Commits on Jan 17, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 18, 2024
- committed
- committed
- committed
