Repository navigation

All pull requests

Labels (10)Milestones (0)New pull request

docs: fix spelling issues
#34nnsW3 opened Sep 24, 2024
Refactored Tutorial Lesson 2
#27remedcu opened Nov 24, 20234 tasks done
Constructor doesn't change state
#22Czar102 opened Sep 28, 2023
Constructor ghost corruption
#20Czar102 opened Sep 28, 2023
Missing spec
#18zapaz opened Sep 28, 2023
Forbid view function reverts
#16Czar102 opened Sep 28, 2023
Solution to borda
#15peritoflores opened Sep 28, 2023
Winner manipulation spec
#12Czar102 opened Sep 28, 2023
Missing Spec for BordaNewBug
#9D4r3-D3v1L opened Sep 27, 2023
Bug coverage
#81nc0gn170 opened Sep 27, 2023
Modify winner update check.
#6imsrybr0 opened Sep 27, 2023
Exemplary ERC4626 specs
#3johspaeth opened Sep 22, 2023