Skip to content

Pull requests: Certora/tutorials-code

New pull request New
12 Open 11 Closed
12 Open 11 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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