Skip to content

Pull requests: NethermindEth/horus-checker

New pull request New
8 Open 176 Closed
8 Open 176 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

Update fourmolu to set column limit
#199 opened Mar 31, 2023 by langfield • Draft
Don't verify @external-generated wrapper functions
#198 opened Mar 31, 2023 by langfield Loading…
1
Add missing range check bound to assert_nn_le() spec
#195 opened Mar 29, 2023 by Julek Loading…
1
Remove explicit import lists for qualified imports
#194 opened Mar 28, 2023 by langfield Loading…
Flatten return tuples of storage variables
#191 opened Mar 26, 2023 by langfield Loading…
1
Refactor Module.hs DFS logic
#190 opened Mar 20, 2023 by langfield Loading…
3
implement comment injections
#183 opened Mar 1, 2023 by Ferinko Loading…
2
Test cases for @assert notation
#153 opened Feb 2, 2023 by langfield Loading…
1
ProTip! Follow long discussions with comments:>50.